Controllers for reachability specifications for hybrid systems

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

Multiple Lyapunov functions and other analysis tools for switched and hybrid systems

Michael S. Branicky · IEEE Transactions on Automatic Control · 1998 · 3.3K citations

Natural Sciences, Mathematics, Systems Engineering +17

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Engineering, Computer Science, Systems Engineering +15

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

Conflict resolution for air traffic management: a study in multiagent hybrid systems

Claire J. Tomlin, George J. Pappas, S. Shankar Sastry · IEEE Transactions on Automatic Control · 1998 · 1K citations

Engineering, Aerospace Engineering, Systems Engineering +17