@article(Alur, author = "R. Alur and C. Courcoubetis and N. Halbwachs and T. A. Henzinger and P. h. Ho and X. Nicollin and A. Olivero and J. Sifakis and S. Yovine", year = "1995", title = "The Algorithmic Analysis of Hybrid Systems", journal = "Theoretical Computer Science", volume = "138", pages = "3--34", doi = "10.1016/0304-3975(94)00202-T", ) @article(timed_automata, author = "R. Alur and D. L. Dill", year = "1994", title = "A Theory of Timed Automata", journal = "Journal of Theoretical Computer Science", volume = "126", number = "2", pages = "183--235", doi = "10.1016/0304-3975(94)90010-8", ) @article(ijrnc2012, author = "L. Benvenuti and D. Bresolin and P. Collins and A. Ferrari and L. Geretti and T. Villa", year = "2012", title = "Assume-guarantee verification of nonlinear hybrid systems with {ARIADNE}", journal = "Int. J. Robust. Nonlinear Control", doi = "10.1002/rnc.2914", ) @inproceedings(Cimatti09, author = "A. Cimatti and M. Roveri and S. Tonetta", year = "2009", title = "Requirements Validation for Hybrid Systems", booktitle = "CAV", series = "LNCS", volume = "5643", pages = "188--203", doi = "10.1007/978-3-642-02658-4_17", ) @book(mcbook, author = "E. M. Clarke and O. Grumberg and D. A. Peled", year = "2000", title = "Model Checking", publisher = "MIT Press", ) @article(Frehse2008, author = "G. Frehse", year = "2008", title = "{PHAVer}: algorithmic verification of hybrid systems past HyTech", journal = "International Journal on Software Tools for Technology Transfer (STTT)", volume = "10", pages = "263--279", doi = "10.1007/s10009-007-0062-x", ) @incollection(Frehse2011, author = "G. Frehse and C. Le Guernic and A. Donz{\'e} and S. Cotton and R. Ray and O. Lebeltel and R. Ripado and A. Girard and T. Dang and O. Maler", year = "2011", title = "{SpaceEx}: Scalable Verification of Hybrid Systems", booktitle = "Proc. 23rd International Conference on Computer Aided Verification (CAV 2011)", series = "LNCS", volume = "6806", publisher = "Springer Berlin / Heidelberg", pages = "379--395", doi = "10.1007/978-3-642-22110-1_30", ) @inproceedings(Gerth95, author = "R. Gerth and D. Peled and M. Vardi and P. Wolper", year = "1995", title = "Simple on-the-fly automatic verification of linear temporal logic", booktitle = "Protocol Specification, Testing and Verification", series = "IFIP Conference Proceedings", volume = "38", publisher = "Chapman {\&} Hall", pages = "3--18", ) @incollection(Hen00a, author = "T. A. Henzinger", year = "2000", title = "The theory of hybrid automata", editor = "M. K. Inan and R. P. Kurshan", booktitle = "Verification of Digital and Hybrid Systems", series = "NATO ASI Series F: Computer and Systems Sciences", volume = "170", publisher = "Springer", pages = "265--292", doi = "10.1007/978-3-642-59615-5_13", ) @article(henzinger98whats, author = "T. A. Henzinger and P. W. Kopke and A. Puri and P. Varaiya", year = "1998", title = "What's Decidable about Hybrid Automata?", journal = "Journal of Computer and System Sciences", volume = "57", number = "1", pages = "94 -- 124", doi = "10.1006/jcss.1998.1581", ) @incollection(Lamport93, author = "L. Lamport", year = "1993", title = "Hybrid systems in {TLA+}s", editor = "RobertL. Grossman and Anil Nerode and AndersP. Ravn and Hans Rischel", booktitle = "Hybrid Systems", series = "Lecture Notes in Computer Science", volume = "736", publisher = "Springer Berlin Heidelberg", pages = "77--102", doi = "10.1007/3-540-57318-6_25", ) @article(uppaal, author = "K. G. Larsen and P. Pettersson and W. Yi", year = "1997", title = "{UPPAAL} in a nutshell", journal = "Int. J. on Software Tools for Technology Transfer", volume = "1", number = "1--2", pages = "134--152", doi = "10.1007/s100090050010", ) @article(Lynch03, author = "N. Lynch and R. Segala and F. Vaandrager", year = "2003", title = "Hybrid {I/O} automata", journal = "Information and Computation", volume = "185", number = "1", pages = "105 -- 157", doi = "10.1016/S0890-5401(03)00067-1", ) @inproceedings(maler91from, author = "O. Maler and Z. Manna and A. Pnueli", year = "1991", title = "From Timed to Hybrid Systems", booktitle = "Real-Time: Theory in Practice", series = "LNCS", volume = "600", publisher = "Springer-Verlag", pages = "447--484", doi = "10.1007/BFb0032003", ) @incollection(Maler2004, author = "O. Maler and D. Nickovic", year = "2004", title = "Monitoring Temporal Properties of Continuous Signals", editor = "Yassine Lakhnech and Sergio Yovine", booktitle = "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems", series = "Lecture Notes in Computer Science", volume = "3253", publisher = "Springer Berlin Heidelberg", pages = "152--166", doi = "10.1007/978-3-540-30206-3_12", ) @incollection(Platzer2008, author = "A. Platzer and J.-D. Quesel", year = "2008", title = "{KeYmaera}: A Hybrid Theorem Prover for Hybrid Systems", booktitle = "Proc. of the Third International Joint Conference on Automated Reasoning (IJCAR 2008)", series = "LNCS", volume = "5195", publisher = "Springer Berlin / Heidelberg", pages = "171--178", doi = "10.1007/978-3-540-71070-7_15", ) @article(hsolver, author = "S. Ratschan and Z. She", year = "2007", title = "Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement", journal = "ACM Transactions in Embedded Computing Systems", volume = "6", number = "1", doi = "10.1145/1210268.1210276", ) @article(kronos97, author = "S. Yovine", year = "1997", title = "{Kronos}: a verification tool for real-time systems", journal = "Int. J. on Software Tools for Technology Transfer", volume = "1", number = "1--2", pages = "123--133", doi = "10.1007/s100090050009", )