References

1. Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivanči\'c & Aarti Gupta (2013): Probabilistic temporal logic falsification of cyber-physical systems. ACM Transactions on Embedded Computing Systems (TECS) 12(2s), pp. 95, doi:10.1145/2465787.2465797.
2. Matthias Althoff (2013): Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: HSCC. ACM, pp. 173–182, doi:10.1145/2461328.2461358.
3. Matthias Althoff & Bruce Krogh (2013): Reachability Analysis of Nonlinear Differential-Algebraic Systems. Automatic Control, IEEE Transactions on PP(99), doi:10.1109/TAC.2013.2285751.
4. Rajeev Alur (2011): Formal verification of hybrid systems. In: EMSOFT, pp. 273–278, doi:10.1145/2038642.2038685.
5. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis & Sergio Yovine (1995): The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138(1), pp. 3–34. Available at http://dx.doi.org/10.1016/0304-3975(94)00202-T.
6. Rajeev Alur, Thao Dang & Franjo Ivancic (2006): Counterexample-guided predicate abstraction of hybrid systems. Theoretical Computer Science 354(2), pp. 250–271. Available at http://dx.doi.org/10.1016/j.tcs.2005.11.026.
7. Rajeev Alur, Thomas A Henzinger, Gerardo Lafferriere & George J Pappas (2000): Discrete abstractions of hybrid systems. Proceedings of the IEEE 88(7), pp. 971–984, doi:10.1109/5.871304.
8. E Asarin, O Maler, A Pnueli & J Sifakis (1998): Controller synthesis for timed automata. In: Proc. System Structure and Control. Elsevier. Available at http://www-verimag.imag.fr/PEOPLE/Oded.Maler/Papers/newsynth.pdf.
9. Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler & Amir Pnueli (2000): Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE 88(7), pp. 1011–1025, doi:10.1109/5.871306. Available at http://www-verimag.imag.fr/~maler/Papers/procieee.pdf.
10. Eugene Asarin & Thao Dang (2004): Abstraction by Projection and Application to Multi-affine Systems. In: HSCC, LNCS 2993. Springer, pp. 32–47, doi:10.1007/978-3-540-24743-2_3. Available at http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2993&spage=32.
11. Eugene Asarin, Thao Dang & Antoine Girard (2007): Hybridization methods for the analysis of nonlinear systems. Acta Informatica 43(7), pp. 451–476. Available at http://dx.doi.org/10.1007/s00236-006-0035-7.
12. Eugene Asarin, Thao Dang, Oded Maler & Olivier Bournez (2000): Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. In: HSCC, LNCS 1790. Springer, pp. 20–31, doi:10.1007/3-540-46430-1_6. Available at http://link.springer.de/link/service/series/0558/bibs/1790/17900020.htm.
13. Eugene Asarin, Thao Dang, Oded Maler & Romain Testylier (2010): Using Redundant Constraints for Refinement. In: ATVA, pp. 37–51, doi:10.1007/978-3-642-15643-4_5. Available at http://www-verimag.imag.fr/~maler/Papers/redundant.pdf.
14. Eugene Asarin, Oded Maler & Amir Pnueli (1995): Symbolic Controller Synthesis for Discrete and Timed Systems. In: Hybrid Systems II 999. Springer, pp. 1–20, doi:10.1007/3-540-60472-3_1. Available at http://www-verimag.imag.fr/~maler/Papers/symbolic.pdf.
15. Karl J Astrom (1970): Introduction to stochastic control theory. Academic Press.
16. Jean-Pierre Aubin & Arrigo Cellina (1984): Differential inclusions : set-valued maps and viability theory. Grundlehren der mathematischen Wissenschaften 264. Springer-Verlag, doi:10.1007/978-3-642-69512-4.
17. Alberto Bemporad & Manfred Morari (1999): Control of systems integrating logic, dynamics, and constraints. Automatica 35(3), pp. 407–427, doi:10.1016/S0005-1098(98)00178-2.
18. Alberto Bemporad, Fabio Danilo Torrisi & Manfred Morari (2000): Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In: Hybrid Systems: Computation and Control. Springer, pp. 45–58, doi:10.1007/3-540-46430-1_8.
19. Oleg Botchkarev & Stavros Tripakis (2000): Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations. In: HSCC, LNCS 1790. Springer, pp. 73–88, doi:10.1007/3-540-46430-1_10. Available at http://link.springer.de/link/service/series/0558/bibs/1790/17900073.htm.
20. Christos G Cassandras & John Lygeros (2010): Stochastic hybrid systems. CRC Press.
21. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G Larsen & Didier Lime (2005): Efficient on-the-fly algorithms for the analysis of timed games. In: CONCUR. Springer, pp. 66–80, doi:10.1007/978-3-540-75454-1_3.
22. Xin Chen, Erika Ábrahám & Sriram Sankaranarayanan (2012): Taylor model flowpipe construction for non-linear hybrid systems. In: Proc. RTSS’12. IEEE, pp. 183–192.
23. Alongkrit Chutinan (1999): Hybrid System Verification using Discrete Model Approximations. Carnegie Mellon University.
24. Alongkrit Chutinan & Bruce H Krogh (1999): Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. In: HSCC, LNCS 1569. Springer, pp. 76–90, doi:10.1007/3-540-48983-5_10. Available at http://link.springer.de/link/service/series/0558/bibs/1569/15690076.htm.
25. Alongkrit Chutinan & Bruce H Krogh (2003): Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48(1), pp. 64 – 75. Available at http://dx.doi.org/10.1109/TAC.2002.806655.
26. Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Joël Ouaknine, Olaf Stursberg & Michael Theobald (2003): Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science 14(04), pp. 583–604, doi:10.1142/S012905410300190X.
27. Patrick Cousot & Radhia Cousot (1977): Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL. ACM, pp. 238–252, doi:10.1145/512950.512973.
28. Thao Dang (2000): Verification and Synthesis of Hybrid Systems. Institut National Polytecnique de Grenoble.
29. Thao Dang (2006): Approximate Reachability Computation for Polynomial Systems. In: HSCC. Springer, pp. 138–152, doi:10.1007/11730637_13.
30. Thao Dang, Goran Frehse, Antoine Girard & Colas Le Guernic (2009): Tools for the Analysis of Hybrid Models. In: Communicating Embedded Systems: Software and Design: Formal Methods. John Wiley & Sons, Inc., pp. 227–251, doi:10.1002/9781118558188.ch7.
31. Thao Dang, Colas Le Guernic & Oded Maler (2011): Computing reachable states for nonlinear biological models. Theoretical Computer Science 412(21), pp. 2095–2107, doi:10.1016/j.tcs.2011.01.014. Available at http://www-verimag.imag.fr/~maler/Papers/nonlinear-bio-tcs.pdf.
32. Thao Dang & Oded Maler (1998): Reachability Analysis via Face Lifting. In: HSCC, LNCS 1386. Springer, pp. 96–109, doi:10.1007/3-540-64358-3_34. Available at http://www-verimag.imag.fr/PEOPLE/Oded.Maler/Papers/facelift.pdf.
33. Thao Dang & Tarik Nahhal (2009): Coverage-guided test generation for continuous and hybrid systems. Formal Methods in System Design 34(2), pp. 183–213, doi:10.1007/s10703-009-0066-0.
34. Thao Dang & Romain Testylier (2011): Hybridization domain construction using curvature estimation. In: HSCC, pp. 123–132, doi:10.1145/1967701.1967721.
35. Thao Dang & Romain Testylier (2012): Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Reliable Computing 17(2), pp. 128–152.
36. Alexandre Donzé (2010): Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: CAV. Springer, pp. 167–170, doi:10.1007/978-3-642-14295-6_17.
37. Alexandre Donzé & Oded Maler (2007): Systematic Simulation Using Sensitivity Analysis. In: HSCC, LNCS 4416. Springer, pp. 174–189. Available at http://dx.doi.org/10.1007/978-3-540-71493-4_16.
38. Goran Frehse, Rajat Kateja & Colas Le Guernic (2013): Flowpipe approximation and clustering in space-time. In: HSCC, pp. 203–212, doi:10.1145/2461328.2461361.
39. 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: Computer Aided Verification, pp. 379–395, doi:10.1007/978-3-642-22110-1_30. Available at http://www-verimag.imag.fr/~maler/Papers/spaceex-cav.pdf.
40. Antoine Girard (2005): Reachability of Uncertain Linear Systems Using Zonotopes. In: HSCC, LNCS 3414. Springer, pp. 291–305, doi:10.1007/978-3-540-31954-2_19. Available at http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3414&spage=291.
41. Antoine Girard, Colas Le Guernic & Oded Maler (2006): Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. In: HSCC, LNCS 3927. Springer, pp. 257–271. Available at http://dx.doi.org/10.1007/11730637_21.
42. Antoine Girard & George Pappas (2006): Verification using simulation. In: Hybrid Systems: Computation and Control. Springer, pp. 272–286, doi:10.1007/11730637_22.
43. Mark R. Greenstreet (1996): Verifying Safety Properties of Differential Equations. In: CAV, LNCS 1102. Springer, pp. 277–287. Available at http://dx.doi.org/10.1007/3-540-61474-5_76.
44. Mark R. Greenstreet & Ian Mitchell (1999): Reachability Analysis Using Polygonal Projections. In: Hybrid Systems: Computation and Control, LNCS 1569. Springer, pp. 103–116, doi:10.1007/3-540-48983-5_12. Available at http://link.springer.de/link/service/series/0558/bibs/1569/15690103.htm.
45. Thomas A Henzinger, Pei-Hsin Ho & Howard Wong-Toi (1997): HyTech: A model checker for hybrid systems. In: Computer aided verification. Springer, pp. 460–463, doi:10.1007/3-540-63166-6_48.
46. Thomas A Henzinger, Pei-Hsin Ho & Howard Wong-Toi (1998): Algorithmic analysis of nonlinear hybrid systems. Automatic Control, IEEE Transactions on 43(4), pp. 540–554, doi:10.1109/9.664156.
47. Luc Jaulin, Michel Kieffer, Oliver Didrit & Éric Walter (2001): Applied Interval Analysis. Springer-Verlag, doi:10.1007/978-1-4471-0249-6.
48. Mikael Johansson (2002): Piecewise linear control systems. Springer Verlag.
49. Jim Kapinski, Bruce H Krogh, Oded Maler & Olaf Stursberg (2003): On systematic simulation of open continuous systems. In: HSCC. Springer, pp. 283–297, doi:10.1007/3-540-36580-X_22. Available at http://www-verimag.imag.fr/~maler/Papers/simulation.pdf.
50. Wolfgang Kühn (1998): Rigorously computed orbits of dynamical systems without the wrapping effect. Computing 61(1), pp. 47–67, doi:10.1007/BF02684450.
51. Wolfgang Kühn (1999): Towards an optimal control of the wrapping effect. In: Developments in Reliable Computing. Springer, pp. 43–51, doi:10.1007/978-94-017-1247-7_4.
52. Robert P Kurshan & Kenneth L McMillan (1991): Analysis of digital circuits through symbolic reduction. IEEE Trans. on CAD of Integrated Circuits and Systems 10(11), pp. 1356–1371. Available at http://doi.ieeecomputersociety.org/10.1109/43.97615.
53. Alexander B. Kurzhanski & Pravin Varaiya (2000): Ellipsoidal Techniques for Reachability Analysis. In: HSCC, LNCS 1790. Springer, pp. 202–214, doi:10.1007/3-540-46430-1_19. Available at http://link.springer.de/link/service/series/0558/bibs/1790/17900202.htm.
54. Alexandr B Kurzhanski & István Vályi (1997): Ellipsoidal Calculus for Estimation and Control.. Birkhauser, doi:10.1007/978-1-4612-0277-6.
55. Alex A Kurzhanskiy & Pravin Varaiya (2007): Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems. IEEE Transactions on Automatic Control 52(1), pp. 26 –38. Available at http://dx.doi.org/10.1109/TAC.2006.887900.
56. Gerardo Lafferriere, George J Pappas & Sergio Yovine (1999): A new class of decidable hybrid systems. In: Hybrid Systems: Computation and Control. Springer Berlin Heidelberg, pp. 137–151, doi:10.1007/3-540-48983-5_15.
57. Colas Le Guernic (2005): Calcul Efficace de l'Ensemble Atteignable des Systèmes Linéaires avec Incertitudes. Université Paris 7. Available at http://www.mpri.master.univ-paris7.fr/attached-documents/Stages-2005-rapports/rapport-2005-LeGuernic.pdf.
58. Colas Le Guernic (2009): Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. Université Grenoble 1 – Joseph Fourier. Available at http://tel.archives-ouvertes.fr/docs/00/43/07/40/PDF/CLeGuernic_thesis.pdf.
59. Colas Le Guernic & Antoine Girard (2009): Reachability Analysis of Hybrid Systems Using Support Functions. In: CAV, pp. 540–554. Available at http://dx.doi.org/10.1007/978-3-642-02658-4_40.
60. Colas Le Guernic & Antoine Girard (2010): Reachability analysis of linear systems using support functions. Nonlinear Analysis: Hybrid Systems 4(2), pp. 250–262, doi:10.1016/j.nahs.2009.03.002.
61. Daniel Liberzon (2003): Switching in systems and control. Springer, doi:10.1007/978-1-4612-0017-8.
62. A V Lotov (1971): Construction of domains of attainability for a linear discrete system with bottle-neck constraints. Aerophysics and Applied Mathematics, pp. 113–119. In Russian.
63. Alexander V Lotov, Vladimir A Bushenkov & Georgy K Kamenev (2004): Interactive decision maps: Approximation and visualization of Pareto frontier 89. Springer, doi:10.1007/978-1-4419-8851-5.
64. John Lygeros, Shankar Sastry & Claire Tomlin (2001): The art of hybrid systems. Available at robotics.eecs.berkeley.edu/~sastry/ee291e/book.pdf. Unpublished manuscript.
65. Oded Maler (1998): A unified approach for studying discrete and continuous dynamical systems. In: CDC 2, pp. 2083–2088, doi:10.1109/CDC.1998.758641. Available at http://www-verimag.imag.fr/~maler/Papers/unified.pdf.
66. Oded Maler (2001): Guest Editorial: Verification of Hybrid Systems. European Journal of Control 7(1), pp. 357–365, doi:10.3166/ejc.7.357-365. Available at http://www-verimag.imag.fr/~maler/Papers/guest.pdf.
67. Oded Maler (2002): Control from Computer Science. Annual Reviews in Control 26(2), pp. 175–187, doi:10.1016/S1367-5788(02)00030-5. Available at http://www.sciencedirect.com/science/article/B6V0H-485P0W5-3/2/b5160ff386c03f13f06db257df3547e0.
68. Oded Maler (2007): On optimal and reasonable control in the presence of adversaries. Annual Reviews in Control 31(1), pp. 1–15, doi:10.1016/j.arcontrol.2007.02.001. Available at http://www-verimag.imag.fr/~maler/Papers/annual.pdf.
69. Oded Maler (2010): Amir Pnueli and the dawn of hybrid systems. In: HSCC, pp. 293–295, doi:10.1145/1755952.1755953. Available at http://www-verimag.imag.fr/~maler/Papers/amir-cpsweek.pdf.
70. Oded Maler (2011): On under-determined dynamical systems. In: EMSOFT, pp. 89–96. Available at http://www-verimag.imag.fr/~maler/Papers/under-det.pdf.
71. Ian Mitchell & Claire Tomlin (2000): Level Set Methods for Computation in Hybrid Systems. In: HSCC, LNCS 1790. Springer, pp. 310–323, doi:10.1007/3-540-46430-1_27. Available at http://link.springer.de/link/service/series/0558/bibs/1790/17900310.htm.
72. Ramon E Moore (1979): Methods and applications of interval analysis. SIAM, doi:10.1137/1.9781611970906.
73. Stefan Ratschan & Zhikun She (2005): Safety verification of hybrid systems by constraint propagation based abstraction refinement. In: HSCC. Springer, pp. 573–589, doi:10.1145/1210268.1210276.
74. Abraham J van der Schaft & Johannes M Schumacher (2000): An introduction to hybrid dynamical systems 251. Springer London.
75. Alexander Schrijver (1986): Theory of Linear and Integer Programming. Wiley.
76. Paulo Tabuada (2009): Verification and control of hybrid systems: a symbolic approach. Springer, doi:10.1007/978-1-4419-0224-5.
77. Romain Testylier & Thao Dang (2013): NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. In: ATVA, pp. 469–473, doi:10.1007/978-3-319-02444-8_37.
78. Ashish Tiwari (2008): Abstractions for hybrid systems. Formal Methods in System Design 32(1), pp. 57–83, doi:10.1007/s10703-007-0044-3.
79. Claire J Tomlin, Ian Mitchell, Alexandre M Bayen & Meeko Oishi (2003): Computational techniques for the verification of hybrid systems. Proceedings of the IEEE 91(7), pp. 986–1001, doi:10.1109/JPROC.2003.814621.
80. Stavros Tripakis & Thao Dang (2009): Modeling, verification and testing using timed and hybrid automata. In: Model-Based Design for Embedded Systems. CRC Press, pp. 383–436, doi:10.1201/9781420067859-c13.
81. Pravin Varaiya (1998): Reach set computation using optimal control. In: Proc. KIT Workshop on Verification of Hybrid Systems. Verimag, Grenoble, pp. 377–383, doi:10.1007/978-3-642-59615-5_15.
82. Günter M. Ziegler (1995): Lectures on Polytopes. Graduate Texts in Mathematics 152. Springer, doi:10.1007/978-1-4613-8431-1.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org