Robustness of temporal logic specifications for continuous-time signals

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

Modern Control Engineering

K. Ogata, J. W. Brewer · Journal of Dynamic Systems Measurement and Control · 1971 · 6.3K citations · Full text

Engineering, Electrical Engineering, Mechanical Engineering +17

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Linear system theory and design

Stephen M. Barnett · Automatica · 1986 · 3.7K citations

Engineering, Systems Engineering, Design Theory +10