Pages that link to "Item:Q2945598"
From MaRDI portal
The following pages link to Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598):
Displaying 6 items.
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)