1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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..
  7. 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.
  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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. O. Maler (2002): Control from computer science. Annual Reviews in Control 26(2), pp. 175–187, doi:10.1016/S1367-5788(02)00030-5.
  16. 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.
  17. 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.
  18. 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.
  19. H. Le Verge (1992): A note on Chernikova's Algorithm. Technical Report 635. IRISA, Rennes.
  20. 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.

Comments and questions to:
For website issues: