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.
J. of Theor. Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
T. Babiak, M. Kretínský, V. Rehák & J. Strejcek (2012):
LTL to Büchi Automata Translation: Fast and More Deterministic.
In: Proc. of the 18th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012),
LNCS 7214,
pp. 95–109,
doi:10.1007/978-3-642-28756-5_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.
D. Bresolin (2013):
HyLTL: a temporal logic for model checking hybrid systems.
In: Proc. of the 3rd International Workshop on Hybrid Autonomous Systems (HAS 2013),
EPTCS 118,
pp. 64–75.
To appear.
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.
A. Duret-Lutz (2011):
LTL translation improvements in SPOT.
In: Proc. of the 5th Int. Conf. on Verification and Evaluation of Computer and Communication Systems (VECoS'11).
British Computer Society,
pp. 72–83.
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.
P. Gastin & D. Oddoux (2001):
Fast LTL to Büchi Automata Translation.
In: Proc. of the 13th Int. Conf. on Computer Aided Verification (CAV 2001),
LNCS 2102.
Springer,
pp. 53–65,
doi:10.1007/3-540-44585-4_6.
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+.
In: Hybrid Systems,
LNCS 736.
Springer,
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.
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: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems,
LNCS 3253.
Springer,
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 3rd International Joint Conference on Automated Reasoning (IJCAR 2008),
LNCS 5195.
Springer,
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 Trans. in Embedded Computing Systems 6(1),
doi:10.1145/1210268.1210276.
K. Y. Rozier & M. Y. Vardi (2010):
LTL satisfiability checking.
Int. J. on Software Tools for Technology Transfer 12(2),
pp. 123–137,
doi:10.1007/s10009-010-0140-3.
M. Y. Vardi & P. Wolper (1986):
An Automata-Theoretic Approach to Automatic Program Verification.
In: Proc. of the 1st Symposium on Logic in Computer Science (LICS'86).
IEEE Computer Society,
pp. 332–344.
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.
eptcs@eptcs.org