References

  1. Alessandro Abate, Ashish Tiwari & Shankar Sastry (2009): Box invariance in biologically-inspired dynamical systems. Automatica 45(7), pp. 1601–1610, doi:10.1016/j.automatica.2009.02.028.
  2. Rajeev Alur & David L. Dill (1994): A theory of timed automata. Theoretical Computer Science 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  3. Mireille Broucke (1998): A Geometric Approach to Bisimulation and Verification of Hybrid Systems. In: Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, FL, USA, pp. 4277–4282, doi:10.1109/CDC.1998.761977.
  4. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011): SpaceEx: Scalable Verification of Hybrid Systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification, Lecture Notes in Computer Science 6806. Springer Berlin / Heidelberg, pp. 379–395, doi:10.1007/978-3-642-22110-1_30.
  5. Morris W. Hirsch, Stephen Smale & Robert L. Devaney (2004): Differential Equations, Dynamical Systems & An Introduction to Chaos, 2. edition. Elsevier.
  6. John M. Lee (2000): Introduction to Smooth Manifolds. Springer.
  7. John W. Milnor (1963): Morse Theory. Annals of Mathematics Studies 51. Princeton University Press.
  8. Christoffer Sloth & Rafael Wisniewski (2012): Abstractions for Mechanical Systems. In: Proceedings of the 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Bertinoro, Italy, pp. 96–101, doi:10.3182/20120829-3-IT-4022.00049.
  9. 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.
  10. Ashish Tiwari (2008): Abstractions for hybrid systems. Formal Methods in System Design 32(1), pp. 57–83, doi:10.1007/s10703-007-0044-3.
  11. Loring W. Tu (2008): An Introduction to Manifolds. Springer, doi:10.1007/978-1-4419-7400-6.
  12. Rafael Wisniewski & Martin Raussen (2007): Geometric analysis of nondeterminacy in dynamical systems. Acta Informatica 43(7), pp. 501–519, doi:10.1007/s00236-006-0037-5.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org