1. 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.
  2. M. Capiluppi & R. Segala (2012): Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. In: Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012). Electronic Proceedings in Theoretical Computer Science (EPTCS), doi:10.4204/EPTCS.96.1.
  3. 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, doi:10.3182/20050703-6-CZ-1902.01960.
  4. 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.
  5. 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, doi:10.1109/TSMCB.2005.861881.
  6. 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.
  7. 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.
  8. 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), doi:10.3182/20120606-3-NL-3011.00035.
  9. 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.
  10. 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.
  11. 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.
  12. 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: