SHIFT: A formalism and a programming language for dynamic networks of hybrid automata
Lecture notes in computer science1997pp. 113–133
Citations Over TimeTop 10% of 1997 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
- → SYNTHESIS OF SUPERVISORY CONTROLLERS FOR HYBRID SYSTEMS USING ABSTRACTION REFINEMENT(2005)7 cited
- → Parameter Synthesis for Hybrid Automata(2013)