Pages that link to "Item:Q2986959"
From MaRDI portal
The following pages link to Component based design of hybrid systems (Q2986959):
Displaying 4 items.
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- An Abstract Model for Proving Safety of Autonomous Urban Traffic (Q3179406) (← links)
