Hybrid automata: from verification to implementation

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.2K citations

Dentistry, Health Promotion, Restitution +1

On the regularization of Zeno hybrid automata

Karl Henrik Johansson, Magnus Egerstedt, John Lygeros et al. · Systems & Control Letters · 1999 · 555 citations · Full text

Computing, Computer Science, Mathematics +10

A semiclosed-loop algorithm for the control of blood glucose levels in diabetics

Michael E. Fisher · IEEE Transactions on Biomedical Engineering · 1991 · 268 citations

Medicine, Endocrinology, Diabetology +11

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations

Aditya Agrawal, Gyula Simon, Gábor Karsai · Electronic Notes in Theoretical Computer Science · 2004 · 138 citations · Full text

Engineering, Computer Science, Systems Engineering +17

A toolbox for simulation of hybrid systems in matlab/simulink

Ricardo G. Sanfelice, David Copp, Pablo Ñañez · 2013 · 131 citations

Engineering, Systems Engineering, Dynamical Systems +12