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, T. Dang & F. Ivancic (2002):
Reachability Analysis of Hybrid Systems via Predicate Abstraction.
In: HSCC,
LNCS 2289.
Springer Berlin Heidelberg,
pp. 35–48,
doi:10.1007/3-540-45873-5_6.
A. Bhatia & E. Frazzoli (2004):
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.
In: HSCC,
LNCS 2993.
Springer,
pp. 142–156,
doi:10.1007/978-3-540-24743-2_10.
M.S. Branicky, M.M Curtiss, J. Levine & S. Morgan (2005):
Sampling-based reachability algorithms for control and verification of complex systems.
In: Proc. Thirteenth Yale Workshop on Adaptive and Learning Systems, New Haven, CT, 30 May-1.
Y. Deng, A. Rajhans & A.A. Julius (2013):
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.
In: Quantitative Evaluation of Systems,
LNCS 8054.
Springer,
pp. 165–168,
doi:10.1007/978-3-642-40196-1_13.
A. D'Innocenzo, A.A. Julius, M.D. Di Benedetto & G.J. Pappas (2007):
Approximate timed abstractions of hybrid automata.
In: CDC,
pp. 4045–4050,
doi:10.1109/CDC.2007.4434720.
A. Donze & O. Maler (2007):
Systematic Simulation Using Sensitivity Analysis.
In: HSCC,
LNCS 4416.
Springer,
pp. 174–189,
doi:10.1007/978-3-540-71493-4_16.
A. Girard, C. Guernic & O. Maler (2006):
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
In: HSCC,
LNCS 3927.
Springer,
pp. 257–271,
doi:10.1007/11730637_21.
A. Girard & G.J. Pappas (2007):
Approximation Metrics for Discrete and Continuous Systems.
Automatic Control, IEEE Transactions on 52(5),
pp. 782–798,
doi:10.1109/TAC.2007.895849.
A. Girard, G. Pola & P. Tabuada (2010):
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems.
Automatic Control, IEEE Transactions on 55(1),
pp. 116–126,
doi:10.1007/978-3-540-78929-1_15.
C. Guernic & A. Girard (2009):
Reachability Analysis of Hybrid Systems Using Support Functions.
In: CAV,
LNCS 5643.
Springer,
pp. 540–554,
doi:10.1007/978-3-642-02658-4_40.
A.A. Julius, G.E. Fainekos, M. Anand, I. Lee & G.J. Pappas (2007):
Robust Test Generation and Coverage for Hybrid Systems.
In: HSCC.
Springer,
pp. 329–342,
doi:10.1007/978-3-540-71493-4_27.
A.B. Kurzhanski & P. Varaiya (2000):
Ellipsoidal Techniques for Reachability Analysis.
In: HSCC,
LNCS 1790.
Springer,
pp. 202–214,
doi:10.1007/3-540-46430-1_19.
S. Prajna & A. Jadbabaie (2004):
Safety Verification of Hybrid Systems Using Barrier Certificates.
In: HSCC,
LNCS 2993.
Springer,
pp. 477–492,
doi:10.1007/978-3-540-24743-2_32.
P. Tabuada (2009):
Verification and Control of Hybrid Systems: A Symbolic Approach.
Springer,
doi:10.1007/978-1-4419-0224-5.
P. Varaiya (2000):
Reach Set Computation Using Optimal Control.
In: Verification of Digital and Hybrid Systems,
NATO ASI Series 170.
Springer,
pp. 323–331,
doi:10.1007/978-3-642-59615-5_15.
eptcs@eptcs.org