Verification using Hybrid Automata Verification using Hybrid Automata

Die Arbeitsberichte aus dem Fachbereich Informatik dienen der Darstellung vorlaufiger Ergebnisse, die in der Regel noch fur spatere Veroffentlichungen uberarbeitet werden. Die Autoren sind deshalb fur kritische Hinweise dankbar. Alle Rechte vorbehalten, insbesondere die der Ubersetzung, des Nachdruckes, des Vortrags, der Entnahme von Abbildungen und Tabellen – auch bei nur auszugsweiser Verwertung.

[1]  Enrico Pontelli,et al.  A constraint-based approach for specification and verification of real-time systems , 1997, Proceedings Real-Time Systems Symposium.

[2]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[3]  Ammar Mohammed,et al.  HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata , 2009, KI.

[4]  Krzysztof R. Apt,et al.  Constraint logic programming using Eclipse , 2007 .

[5]  Amal El Fallah Seghrouchni,et al.  Framework for Multi-agent Planning Based on Hybrid Automata , 2003, CEEMAS.

[6]  Luis Urbina,et al.  Analysis of Hybrid Systems in CLP(R) , 1996, CP.

[7]  Thomas A. Henzinger,et al.  HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[8]  Thomas A. Henzinger,et al.  Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods , 2000, HSCC.

[9]  Nicolas Halbwachs,et al.  Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.

[10]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[11]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[12]  Frieder Stolzenburg,et al.  Implementing hierarchical hybrid automata using constraint logic programming , 2008 .

[13]  Andrew E. Santosa,et al.  A CLP proof method for timed automata , 2004, 25th IEEE International Real-Time Systems Symposium.

[14]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[15]  Hanna Klaudel,et al.  Towards Timed Automata and Multi-agent Systems , 2004, FAABS.

[16]  Ulrich Furbach,et al.  Modeling Multi-agent Logistic Process System using Hybrid Automata , 2008, MSVVEIS.

[17]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[18]  Magnus Egerstedt,et al.  Behavior Based Robotics Using Hybrid Automata , 2000, HSCC.

[19]  Goran Frehse.  PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.

[20]  T. Henzinger,et al.  Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.

[21]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[22]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

[23]  Giorgio Delzanno,et al.  Model Checking in CLP , 1999, TACAS.

[24]  Ulrich Furbach,et al.  Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking , 2007, PROMAS.

[25]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[26]  Ulrich Furbach,et al.  From Reactive to Deliberative Multi-agent Planning , 2009, MSVVEIS.