Modelling and analysis of hybrid dynamical systems
Lecture notes in control and information sciences2001pp. 195–224
Citations Over TimeTop 25% of 2001 papers
Related Papers
- → Lyapunov abstractions for inevitability of hybrid systems(2012)23 cited
- → Modelling and Verification using Linear Hybrid Automata -- a Case Study(2000)21 cited
- → Hybrid automata: a formal paradigm for heterogeneous modeling(2002)13 cited
- → Analysis of the coupled linear hybrid automata dynamics(1999)3 cited
- → Parameter Synthesis for Hybrid Automata(2013)