1. D. Angeli (2002): A Lyapunov approach to incremental stability properties. Automatic Control, IEEE Transactions on 47(3), pp. 410 –421, doi:10.1109/9.989067.
  2. E. M. Clarke, E. A. Emerson & A. P. Sistla (1986): Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8(2), pp. 244–263, doi:10.1145/5397.5399.
  3. F. Forni & R. Sepulchre (2012): A differential Lyapunov Framework for Contraction Analysis. arXiv:1208.2943v1.
  4. Goran Frehse, Sumit Jha & Bruce Krogh (2008): A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. In: Magnus Egerstedt & Bud Mishra: Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 4981. Springer Berlin / Heidelberg, pp. 187–200, doi:10.1007/978-3-540-78929-1_14.
  5. Christoffer Sloth & Rafael Wisniewski (2013): Complete abstractions of dynamical systems by timed automata. Nonlinear Analysis: Hybrid Systems 7(1), pp. 80 – 100, doi:10.1016/j.nahs.2012.05.003. Available at IFAC World Congress 2011.
  6. P. Tabuada (2009): Verification and control of hybrid systems: a symbolic approach. Springer, doi:10.1007/978-1-4419-0224-5.
  7. L. Tammasy (2008): Relation between metric spaces and Finsler spaces. Differential Geometry and its Applications 26(5), pp. 483 – 494, doi:10.1016/j.difgeo.2008.04.007. Available at

Comments and questions to:
For website issues: