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):
Displaying 8 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)
- The Discrete Time Behaviour of Restricted Linear Hybrid Automata (Q4907866) (← 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)
- Hybrid Systems: Computation and Control (Q5898977) (← links)