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.
R. Alur & D. Dill (1990):
Automata For Modeling Real-Time Systems.
Lecture Notes in Computer Science 443,
pp. 322–335,
doi:10.1007/BFb0032042.
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.
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.
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.
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.
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.
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.
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).
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