Pages that link to "Item:Q3587253"
From MaRDI portal
The following pages link to Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253):
Displaying 8 items.
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Q5226554) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)