1. R. Alur, C. Courcoubetis, T. Henziger & P. Ho (1993): Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science 736, pp. 209–229, doi:10.1007/3-540-57318-6_30.
  2. R. Alur & D. Dill (1990): Automata For Modeling Real-Time Systems. Lecture Notes in Computer Science 443, pp. 322–335, doi:10.1007/BFb0032042.
  3. R. Alur & T.A. Henzinger (1997): Modularity for timed and hybrid systems. In: Ninth International Conference on Concurrency Theory, Lecture Notes in Computer Science 1243. Springer, pp. 74–88, doi:10.1007/3-540-63141-0_6.
  4. M. Capiluppi & R. Segala (2012): Hybrid automata with worlds: A compositional approach to modeling objects that move in a complex environment. Technical Report RR 87/2012. Department of Computer Science, University of Verona.
  5. J. B. De Sousa, K. H. Johansson, A. Speranzon & J. Silva (2005): A control architecture for multiple submarines in coordinated search missions. In: 16th IFAC World Congress on Automatic Control.
  6. A. Deshpande, A. Gollu & L. Semenzato (1998): The SHIFT Programming Language for Dynamic Networks of Hybrid Automata. IEEE Transactions on automatic control 43(4), doi:10.1109/9.664163.
  7. T.A. Henzinger, P.W. Kopke, A. Puri & P Varaiya (1998): What's decidable about hybrid automata?. Journal of Computer and System Sciences 57, pp. 94–124, doi:10.1006/jcss.1998.1581.
  8. Y. Jin, Y. Liao & M.M. Polycarpou (2006): Balancing search and target response in cooperative unmanned aerial vehicle (UAV) teams. IEEE Transactions on systems, man, and cybernetics 38/3.
  9. D.K Kaynar, N. Lynch, R. Segala & F. Vaandrager (2006): The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science, doi:10.2200/S00006ED1V01Y200508CSL001.
  10. N. Lynch, R. Segala & F. Vaandrager (2003): Hybrid I/O automata. Information and Computation 185, pp. 105–157, doi:10.1016/S0890-5401(03)00067-1.
  11. E.N. Marinica, M. Capiluppi, J.A. Rogge, R. Segala & R.K. Boel (2012): Distributed collision avoidance for autonomous vehicles: world automata representation. In: 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).
  12. S. Mitra, Y. Wang, N. Lynch & E. Feron (2003): Safety verification of model helicopter controller using hybrid input/output automata. In: O. Maler & A. Pnueli: Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 2623. Springer-Verlag, Berlin, pp. 343–358, doi:10.1007/3-540-36580-X_26.
  13. C. Sonntag, R.R.H. Schiffelers, D.A. van Beek, J.E. Rooda & S. Engell (2009): Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems. In: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, pp. 640–650.
  14. P. Varaiya (1993): Smart Cars on Smart Roads: Problems of Control. IEEE Transactions on automatic control 38/2, pp. 195–207, doi:10.1109/9.250509.
  15. J.L.M. Vrancken, J.H. van Schuppen, M.S. Soares & F. Ottenhof (2009): A hierarchical model and implementation architecture for road traffic control. In: 2009 IEEE International Conference on Systems, Man and Cybernetics, doi:10.1109/ICSMC.2009.5346841.

Comments and questions to:
For website issues: