Controllers for reachability specifications for hybrid systems

[1]  Alex M. Andrew,et al.  Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science (2nd edition) , 2000 .

[2]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[3]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[4]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[5]  M. Branicky.  Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[6]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[7]  Lui Sha,et al.  Dynamic control system upgrade using the Simplex architecture , 1998 .

[8]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[9]  Feng Lin,et al.  Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.

[10]  Akash Deshpande,et al.  The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .

[11]  John Lygeros,et al.  Multiagent hybrid system design using game theory and optimal control , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[12]  A. Yezzi,et al.  Phase transitions, curve evolution, and the control of semiconductor manufacturing processes , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[13]  A. Puri.  Theory of hybrid systems and discrete event systems , 1996 .

[14]  Thomas A. Henzinger,et al.  Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[15]  John Lygeros,et al.  Optimal Control Approach to Multiagent, Hierarchical System Verification , 1996 .

[16]  Egon Börger,et al.  Formal methods for industrial applications : specifying and programming the steam boiler control , 1996 .

[17]  John Lygeros,et al.  Hierarchical, Hybrid Control of Large Scale Systems , 1996 .

[18]  Nancy A. Lynch,et al.  A Toolbox for Proving and MaintainingHybrid Speci cationsMichael , 1997 .

[19]  John Lygeros,et al.  A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.

[20]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[21]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

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

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

[24]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[25]  Wolfgang Thomas,et al.  On the Synthesis of Strategies in Infinite Games , 1995, STACS.

[26]  Zohar Manna,et al.  Temporal verification of reactive systems - safety , 1995 .

[27]  Thomas A. Henzinger,et al.  Using HyTech to Synthesize Control Parameters for a Steam Boiler , 1995, Formal Methods for Industrial Applications.

[28]  Jean-Raymond Abrial.  Steam-Boiler Control Specification Problem , 1995, Formal Methods for Industrial Applications.

[29]  Pravin Varaiya,et al.  Verification of Hybrid Systems Using Abstractions , 1996, Hybrid Systems.

[30]  Akash Deshpande,et al.  Control of hybrid systems , 1994 .

[31]  Nancy A. Lynch,et al.  The generalized railroad crossing: a case study in formal verification of real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

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

[33]  S.E. Mattsson,et al.  OmSim/spl minus/an integrated interactive environment for object-oriented modeling and simulation , 1994, Proceedings of IEEE Symposium on Computer-Aided Control Systems Design (CACSD).

[34]  Conrado Daws,et al.  Verifying ET-LOTOS programmes with KRONOS , 1994, FORTE.

[35]  Robert L. Grossman,et al.  Timed Automata , 1999, CAV.

[36]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[37]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[38]  Jozef Hooman,et al.  A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.

[39]  Anil Nerode,et al.  Models for Hybrid Systems: Automata, Topologies, Controllability, Observability , 1992, Hybrid Systems.

[40]  Panos J. Antsaklis,et al.  Event Identification and Intelligent Hybrid Control , 1992, Hybrid Systems.

[41]  Anil Nerode,et al.  Multiple Agent Hybrid Control Architecture , 1992, Hybrid Systems.

[42]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[43]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[44]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[45]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[46]  S. Sastry,et al.  Adaptive Control: Stability, Convergence and Robustness , 1989 .

[47]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[48]  P. Lions.  Generalized Solutions of Hamilton-Jacobi Equations , 1982 .

[49]  J. Meditch,et al.  Applied optimal control , 1972, IEEE Transactions on Automatic Control.

[50]  J. R. Büchi,et al.  Solving sequential conditions by finite-state strategies , 1969 .