Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, pp.209-229, 1992. ,
DOI : 10.1007/3-540-57318-6_30
Predicate abstraction for reachability analysis of hybrid systems, ACM Transactions on Embedded Computing Systems, vol.5, issue.1, pp.152-199, 2006. ,
DOI : 10.1145/1132357.1132363
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems, HSCC'00, pp.21-31, 2000. ,
DOI : 10.1007/3-540-46430-1_6
URL : https://hal.archives-ouvertes.fr/inria-00099316
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems, International Journal of Foundations of Computer Science, vol.14, issue.04, pp.583-604, 2003. ,
DOI : 10.1142/S012905410300190X
From CSP to hybrid systems, In A classical mind, pp.171-189, 1994. ,
The theory of hybrid automata, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.278-292, 1996. ,
DOI : 10.1109/LICS.1996.561342
Symbolic Reachability Computation for Families of Linear Vector Fields, Journal of Symbolic Computation, vol.32, issue.3, pp.1-23, 2001. ,
DOI : 10.1006/jsco.2001.0472
A Calculus for Hybrid CSP, APLAS'10, pp.1-15, 2010. ,
DOI : 10.1007/978-3-642-17164-2_1
Computing semi-algebraic invariants for polynomial dynamical systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.97-106, 2011. ,
DOI : 10.1145/2038642.2038659
URL : http://arxiv.org/abs/1102.0705
Hybrid I/O automata, HSCC'96, pp.496-510, 1996. ,
DOI : 10.1007/bfb0020971
Verifying hybrid systems, Hybrid Systems, pp.4-35, 1993. ,
DOI : 10.1007/3-540-57318-6_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.6190
Probabilistic Analysis of the Quality Calculus, FORTE'13, pp.258-272, 2013. ,
DOI : 10.1007/978-3-642-38592-6_18
A Calculus for Quality, FACS'13, pp.188-204, 2013. ,
DOI : 10.1007/978-3-642-35861-6_12
Differential-algebraic Dynamic Logic for Differential-algebraic Programs, Journal of Logic and Computation, vol.20, issue.1, pp.309-352, 2010. ,
DOI : 10.1093/logcom/exn070
European Train Control System: A Case Study in Formal Verification, ICFEM'09, pp.246-265, 2009. ,
DOI : 10.1007/978-3-642-10373-5_13
A framework for hybrid systems with denialof-service security attack, Chinese Academy of Sciences, 2014. ,
Formal Modelling, Analysis and Verification of Hybrid Systems, ICTAC Training School on Software Engineering, pp.207-281, 2013. ,
DOI : 10.1007/978-3-642-39721-9_5
Duration Calculus ? A Formal Approach to Real-Time Systems, Monographs in Theoretical Computer Science. An EATCS Series, 2004. ,
A calculus of durations, Information Processing Letters, vol.40, issue.5, pp.269-276, 1991. ,
A formal description of hybrid systems, Hybrid systems, pp.511-530, 1996. ,