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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
eptcs@eptcs.org