Pages that link to "Item:Q4909026"
From MaRDI portal
The following pages link to Hybrid automata: an insight into the discrete abstraction of discontinuous systems (Q4909026):
Displayed 6 items.
- High-order sliding mode observers for nonlinear autonomous switched systems with unknown inputs (Q1935112) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)