Pages that link to "Item:Q1026401"
From MaRDI portal
The following pages link to Tightened reachability constraints for the verification of linear hybrid systems (Q1026401):
Displaying 7 items.
- Rigorous constraint satisfaction for sampled linear systems (Q328250) (← links)
- Span-reachability and observability of bilinear hybrid systems (Q987608) (← links)
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Discovering polynomial Lyapunov functions for continuous dynamical systems (Q2437283) (← links)
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
- Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints (Q5500564) (← links)
- Hybrid Systems: Computation and Control (Q5703953) (← links)