L. de Alfaro, M. Faella, T.A. Henzinger, R. Majumdar & M. Stoelinga. (2003):
The Element of Surprise in Timed Games.
In: CONCUR 03: Concurrency Theory. 14th Int. Conf.,
Lect. Notes in Comp. Sci. 2761.
Springer,
pp. 144–158,
doi:10.1007/978-3-540-45187-7_9.
E. Asarin, O. Bournez, T. Dang, O. Maler & A. Pnueli (2000):
Effective synthesis of switching controllers for linear systems.
Proceedings of the IEEE 88(7),
pp. 1011 –1025,
doi:10.1109/5.871306.
E. Asarin, T. Dang & O. Maler (2002):
The d/dt Tool for Verification of Hybrid Systems.
In: Computer Aided Verification,
Lecture Notes in Computer Science 2404.
Springer,
pp. 746–770,
doi:10.1007/3-540-45657-0_30.
R. Bagnara, P. M. Hill & E. Zaffanella (2008):
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems.
Science of Computer Programming 72(1–2),
pp. 3–21,
doi:10.1016/j.scico.2007.08.001.
A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi & A. Sangiovanni-Vincentelli (2003):
Controller synthesis for hybrid systems with a lower bound on event separation.
Int. J. of Control 76(12),
pp. 1171–1200,
doi:10.1080/0020717031000123616.
M. Benerecetti, M. Faella & S. Minopoli (2011):
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata.
Technical Report.
Università di Napoli ``Federico II''.
Available on arXiv. Submitted for publication..
N. V. Chernikova (1968):
Algorithm for discovering the set of all the solutions of a linear programming problem.
USSR Computational Mathematics and Mathematical Physics 8(6),
pp. 282–293,
doi:10.1016/0041-5553(68)90115-8.
R.G. Deshpande, D.J. Musliner, J.E. Tierno, S.G. Pratt & R.P. Goldman (2001):
Modifying HyTech to automatically synthesize hybrid controllers.
In: Proc. of 40th IEEE Conf. on Decision and Control.
IEEE Computer Society Press,
pp. 1223–1228.
G. Frehse (2005):
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.
In: Proc. of Hybrid Systems: Computation and Control (HSCC), 8th International Workshop,
Lect. Notes in Comp. Sci. 3414.
Springer,
pp. 258–273,
doi:10.1007/978-3-540-31954-2_17.
N. Halbwachs, Y.-E. Proy & P. Roumanoff (1997):
Verification of Real-Time Systems using Linear Relation Analysis.
Formal Methods in System Design 11,
pp. 157–185,
doi:10.1023/A:1008678014487.
T.A. Henzinger (1996):
The Theory of Hybrid Automata.
In: Proc. 11th IEEE Symp. Logic in Comp. Sci.,
pp. 278–292,
doi:0.1109/LICS.1996.561342.
T.A. Henzinger, P.-H. Ho & H. Wong-Toi (1997):
HyTech: A Model Checker for Hybrid Systems.
Software Tools for Tech. Transfer 1,
pp. 110–122,
doi:10.1007/s100090050008.
T.A. Henzinger, B. Horowitz & R. Majumdar (1999):
Rectangular Hybrid Games.
In: CONCUR 99: Concurrency Theory. 10th Int. Conf.,
Lect. Notes in Comp. Sci. 1664.
Springer,
pp. 320–335,
doi:10.1007/3-540-48320-9_23.
T.A. Henzinger, P.W. Kopke, A. Puri & P. Varaiya (1998):
What's Decidable about Hybrid Automata?.
J. of Computer and System Sciences 57(1),
pp. 94 – 124,
doi:10.1006/jcss.1998.1581.
O. Maler (2002):
Control from computer science.
Annual Reviews in Control 26(2),
pp. 175–187,
doi:10.1016/S1367-5788(02)00030-5.
O. Maler, A. Pnueli & J. Sifakis (1995):
On the Synthesis of Discrete Controllers for Timed Systems.
In: Proc. of 12th Annual Symp. on Theor. Asp. of Comp. Sci.,
Lect. Notes in Comp. Sci. 900.
Springer,
doi:10.1007/3-540-59042-0_76.
P.J. Ramadge & W.M. Wonham (1987):
Supervisory Control of a Class of Discrete-Event Processes..
SIAM Journal of Control and Optimization 25,
pp. 206–230,
doi:10.1137/0325013.
C.J. Tomlin, J. Lygeros & S. Shankar Sastry (2000):
A game theoretic approach to controller design for hybrid systems.
Proc. of the IEEE 88(7),
pp. 949–970.
H. Le Verge (1992):
A note on Chernikova's Algorithm.
Technical Report 635.
IRISA, Rennes.
H. Wong-Toi (1997):
The synthesis of controllers for linear hybrid automata.
In: Proc. of the 36th IEEE Conf. on Decision and Control.
IEEE Computer Society Press,
San Diego, CA,
pp. 4607 – 4612,
doi:10.1109/CDC.1997.649708.
eptcs@eptcs.org