The Unmet Challenge of Timed Systems [chapter]

Oded Maler
2014 Lecture Notes in Computer Science  
Timed systems constitute a class of dynamical systems that live in an extremely useful level of abstraction. The paper stresses their importance in modeling without necessarily endorsing the orthodox approach for reasoning about them which is practiced in the theoretical and applied branches of formal verification.
doi:10.1007/978-3-642-54848-2_12 fatcat:ryn4p7csg5cb7iaxtwk2ktvl3m