Decidability results in First–Order Hybrid Petri Nets

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 675 citations · Full text

Computing, Computer Engineering, Computer Science +17

What's decidable about hybrid automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · 1995 · 521 citations · Full text

Computing, Computer Engineering, Computer Science +17

Hybrid Control Systems: An Introductory Discussion to the Special Issue

Panos J. Antsaklis, Anil Nerode · IEEE Transactions on Automatic Control · 1998 · 241 citations

Engineering, Systems Engineering, Dynamical Systems +13