Pages that link to "Item:Q2926638"
From MaRDI portal
The following pages link to Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638):
Displaying 4 items.
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Stability analysis of planar probabilistic piecewise constant derivative systems (Q6160779) (← links)