1. R. Alur, C. Courcoubetis, T. A. Henzinger & P. H. Ho (1993): Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In: Hybrid Systems, LNCS 736. Springer, pp. 209–229, doi:10.1007/3-540-57318-6_30.
  2. J. P. Aubin & A. Cellina (1984): Differential Inclusions. A Series of Comprehensive Studies in Mathematics 264. Springer, doi:10.1007/978-3-642-69512-4.
  3. S. Basu (1997): An Improved Algorithm for Quantifier Elimination Over Real Closed Fields. In: IEEE Symposium on Foundations of Computer Science (FOCS'97). IEEE Computer Society Press, pp. 56–65, doi:10.1109/SFCS.1997.646093.
  4. A. Casagrande, T. Dreossi & C. Piazza (2012): Hybrid Automata and ε-Analysis on a Neural Oscillator. In: Proc. of the 1st International Workshop on Hybrid Systems and Biology, EPTCS 92, pp. 58–72, doi:10.4204/EPTCS.92.5.
  5. A. Casagrande, C. Piazza & A. Policriti (2009): Discrete Semantics for Hybrid Automata. Discrete Event Dynamic Systems 19(4), pp. 471–493, doi:10.1007/s10626-009-0082-7.
  6. A. Casagrande, C. Piazza, A. Policriti & B. Mishra (2008): Inclusion dynamics hybrid automata. Information and Computation 206(12), pp. 1394–1424, doi:10.1016/j.ic.2008.09.001.
  7. Pieter Collins (2005): Hybrid Trajectory Spaces. Technical Report. Centrum voor Wiskunde en Informatica (CWI).
  8. J. Davoren & I. Epstein (2008): Topologies, Convergence, and Uniformities in General Hybrid Path Spaces,. Preprint.
  9. M. Fränzle (1999): Analysis of Hybrid Systems: An ounce of realism can save an infinity of states. In: Computer Science Logic (CSL'99), LNCS 1683. Springer, pp. 126–140, doi:10.1007/3-540-48168-0_10.
  10. A. Girard, A. A. Julius & G. J. Pappas (2008): Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2), pp. 163–179, doi:10.1007/s10626-007-0029-9.
  11. T. A. Henzinger, P. W. Kopke, A. Puri & P. Varaiya (1995): What's decidable about hybrid automata?. In: Proc. of ACM Symposium on Theory of Computing (STOCS'95). ACM, pp. 373–382, doi:10.1145/225058.225162.
  12. T. A. Henzinger & J.-F. Raskin (2000): Robust Undecidability of Timed and Hybrid Systems. In: Proc. of the 3rd International Workshop Hybrid Systems: Computation and Control (HSCC'00), LNCS 1790. Springer, pp. 145–159, doi:10.1007/3-540-46430-1_15.
  13. G. Lafferriere, G. J. Pappas & S. Sastry (2000): O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems 13, pp. 1–21, doi:10.1007/PL00009858.
  14. G. Lafferriere, G. J. Pappas & S. Yovine (2001): Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3), pp. 231–253, doi:10.1006/jsco.2001.0472.
  15. B. Mendelson (1990): Introduction to Topology, III edition. Dover Books on Mathematics.
  16. E. Mendelson (1997): Introduction to Mathematical Logic, IV edition. CRC Press.
  17. C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler & B. Mishra (2005): Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis. CIMS-TR 2005-859. Courant Institute Of Mathematical Sciences.
  18. P. Prabhakar, V. Vladimerou, M. Viswanathan & G. E. Dullerud (2009): Verifying Tolerant Systems Using Polynomial Approximations. In: Proc. of the 30th IEEE Real-Time Systems Symposium (RTSS'09). IEEE Computer Society Press, pp. 181–190, doi:10.1109/RTSS.2009.28.
  19. S. Ratschan (2010): Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable. In: Proc. of the 7th Conference on Theory and Applications of Models of Computation (TAMC'10), LNCS 6108. Springer, pp. 397–408, doi:10.1007/978-3-642-13562-0_36.
  20. T. Sturm & A. Tiwari (2011): Verification and synthesis using real quantifier elimination. In: Proc. of the 36th international symposium on Symbolic and algebraic computation (ISSAC'11). ACM, pp. 329–336, doi:10.1145/1993886.1993935.
  21. A. Tarski (1951): A Decision Method for Elementary Algebra and Geometry. Univ. California Press.
  22. A. Tiwari & G. Khanna (2002): Series of Abstractions for Hybrid Automata. In: Proc. of Hybrid Systems: Computation and Control (HSCC'02), LNCS 2289. Springer, pp. 465–478, doi:10.1007/3-540-45873-5_36.

Comments and questions to:
For website issues: