A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems

Hybrid systems possess continuous dynamics defined within regions of state spaces and discrete transitions among the regions. Many practical control verification and synthesis tasks can be reduced to reach ability problems for these systems that decide if a particular state-space region is reachable from an initial operating region.

[1]  Feng Zhao,et al.  Intelligent Simulation in Designing Complex Dynamic Control Systems , 1995 .

[2]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..

[3]  Henk B. Verbruggen,et al.  Artificial Intelligence in Industrial Decision Making, Control, and Automation , 1995 .

[4]  Amir Pnueli,et al.  Reachability Analysis of Planar Multi-limear Systems , 1993, CAV.

[5]  R. Shoureshi,et al.  A course on microprocessor-based control systems , 1992, IEEE Control Systems.

[6]  Michael S. Branicky,et al.  Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems , 1995, Theor. Comput. Sci..

[7]  E. Bradley,et al.  Phase-space control system design , 1993, IEEE Control Systems.

[8]  Joseph Sifakis,et al.  Integration Graphs: A Class of Decidable Hybrid Systems , 1992, Hybrid Systems.

[9]  John Guckenheimer,et al.  A Dynamical Simulation Facility for Hybrid Systems , 1993, Hybrid Systems.

[10]  Eduardo Sontag,et al.  Computational power of neural networks , 1995 .

[11]  Harry L. Trentelman,et al.  Essays on control : perspectives in the theory and its applications , 1993 .

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

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

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

[15]  Feng Zhao,et al.  Phase-Space Nonlinear Control Toolbox: The Maglev Experience , 1997, Hybrid Systems.

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

[17]  Costas Courcoubetis.  Computer Aided Verification , 1993, Lecture Notes in Computer Science.

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

[19]  Amir Pnueli,et al.  Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives , 1995, Theor. Comput. Sci..

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

[21]  Panos J. Antsaklis,et al.  An invariant‐based approach to the design of hybrid control systems , 1996 .

[22]  Pravin Varaiya,et al.  Decidability of Hybrid Systems with Rectangular Differential Inclusion , 1994, CAV.