Hybridization methods for the analysis of nonlinear systems

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

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

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

Perspectives and results on the stability and stabilizability of hybrid systems

Raymond A. DeCarlo, Michael S. Branicky, Stefan Pettersson et al. · Proceedings of the IEEE · 2000 · 1.6K citations

Engineering, Mathematics, Systems Engineering +17

A unified framework for hybrid control: model and optimal control theory

Michael S. Branicky, Vivek S. Borkar, Sanjoy K. Mitter · IEEE Transactions on Automatic Control · 1998 · 1.3K citations

Natural Sciences, Mathematics, Dynamical Systems +16