Pages that link to "Item:Q4931283"
From MaRDI portal
The following pages link to Composing Reachability Analyses of Hybrid Systems for Safety and Stability (Q4931283):
Displaying 6 items.
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Composing Stability Proofs for Hybrid Systems (Q3172858) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Local lipschitzness of reachability maps for hybrid systems with applications to safety (Q5146387) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)