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.
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.
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.
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.
Morris W. Hirsch, Stephen Smale & Robert L. Devaney (2004):
Differential Equations, Dynamical Systems & An Introduction to Chaos,
2. edition.
Elsevier.
John M. Lee (2000):
Introduction to Smooth Manifolds.
Springer.
John W. Milnor (1963):
Morse Theory.
Annals of Mathematics Studies 51.
Princeton University Press.
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.
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.
Ashish Tiwari (2008):
Abstractions for hybrid systems.
Formal Methods in System Design 32(1),
pp. 57––83,
doi:10.1007/s10703-007-0044-3.
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.