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