R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. h. Ho, X. Nicollin, A. Olivero, J. Sifakis & S. Yovine (1995):
The Algorithmic Analysis of Hybrid Systems.
Theoretical Computer Science 138,
pp. 3–34,
doi:10.1016/0304-3975(94)00202-T.
R. Alur & D. L. Dill (1994):
A Theory of Timed Automata.
Journal of Theoretical Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
L. Benvenuti, D. Bresolin, P. Collins, A. Ferrari, L. Geretti & T. Villa (2012):
Assume-guarantee verification of nonlinear hybrid systems with ARIADNE.
Int. J. Robust. Nonlinear Control,
doi:10.1002/rnc.2914.
A. Cimatti, M. Roveri & S. Tonetta (2009):
Requirements Validation for Hybrid Systems.
In: CAV,
LNCS 5643,
pp. 188–203,
doi:10.1007/978-3-642-02658-4_17.
E. M. Clarke, O. Grumberg & D. A. Peled (2000):
Model Checking.
MIT Press.
G. Frehse (2008):
PHAVer: algorithmic verification of hybrid systems past HyTech.
International Journal on Software Tools for Technology Transfer (STTT) 10,
pp. 263–279,
doi:10.1007/s10009-007-0062-x.
G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang & O. Maler (2011):
SpaceEx: Scalable Verification of Hybrid Systems.
In: Proc. 23rd International Conference on Computer Aided Verification (CAV 2011),
LNCS 6806.
Springer Berlin / Heidelberg,
pp. 379–395,
doi:10.1007/978-3-642-22110-1_30.
R. Gerth, D. Peled, M. Vardi & P. Wolper (1995):
Simple on-the-fly automatic verification of linear temporal logic.
In: Protocol Specification, Testing and Verification,
IFIP Conference Proceedings 38.
Chapman & Hall,
pp. 3–18.
T. A. Henzinger (2000):
The theory of hybrid automata.
In: M. K. Inan & R. P. Kurshan: Verification of Digital and Hybrid Systems,
NATO ASI Series F: Computer and Systems Sciences 170.
Springer,
pp. 265–292,
doi:10.1007/978-3-642-59615-5_13.
T. A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1998):
What's Decidable about Hybrid Automata?.
Journal of Computer and System Sciences 57(1),
pp. 94 – 124,
doi:10.1006/jcss.1998.1581.
L. Lamport (1993):
Hybrid systems in TLA+s.
In: RobertL. Grossman, Anil Nerode, AndersP. Ravn & Hans Rischel: Hybrid Systems,
Lecture Notes in Computer Science 736.
Springer Berlin Heidelberg,
pp. 77–102,
doi:10.1007/3-540-57318-6_25.
K. G. Larsen, P. Pettersson & W. Yi (1997):
UPPAAL in a nutshell.
Int. J. on Software Tools for Technology Transfer 1(1–2),
pp. 134–152,
doi:10.1007/s100090050010.
N. Lynch, R. Segala & F. Vaandrager (2003):
Hybrid I/O automata.
Information and Computation 185(1),
pp. 105 – 157,
doi:10.1016/S0890-5401(03)00067-1.
O. Maler, Z. Manna & A. Pnueli (1991):
From Timed to Hybrid Systems.
In: Real-Time: Theory in Practice,
LNCS 600.
Springer-Verlag,
pp. 447–484,
doi:10.1007/BFb0032003.
O. Maler & D. Nickovic (2004):
Monitoring Temporal Properties of Continuous Signals.
In: Yassine Lakhnech & Sergio Yovine: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems,
Lecture Notes in Computer Science 3253.
Springer Berlin Heidelberg,
pp. 152–166,
doi:10.1007/978-3-540-30206-3_12.
A. Platzer & J.-D. Quesel (2008):
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems.
In: Proc. of the Third International Joint Conference on Automated Reasoning (IJCAR 2008),
LNCS 5195.
Springer Berlin / Heidelberg,
pp. 171–178,
doi:10.1007/978-3-540-71070-7_15.
S. Ratschan & Z. She (2007):
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
ACM Transactions in Embedded Computing Systems 6(1),
doi:10.1145/1210268.1210276.
S. Yovine (1997):
Kronos: a verification tool for real-time systems.
Int. J. on Software Tools for Technology Transfer 1(1–2),
pp. 123–133,
doi:10.1007/s100090050009.