Towards Continuous Abstractions of Dynamical and Control Systems

The analysis and design of large scale systems is usually an extremely complex process. In order to reduce the complexity of the analysis, simplified models of the original system, called abstractions, which capture the system behavior of interest are obtained and analyzed. If the abstraction of system can be shown to satisfy certain properties of interest then so does the original complex plant. In hybrid systems, discrete or hybrid abstractions of continuous systems are of great interest. In this paper, the notion of abstractions of continuous systems is formalized.

[1]  Thomas A. Henzinger,et al.  Hybrid Automata with Finite Bisimulatioins , 1995, ICALP.

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

[3]  R. Abraham,et al.  Manifolds, tensor analysis, and applications: 2nd edition , 1988 .

[4]  R. Abraham,et al.  Manifolds, Tensor Analysis, and Applications , 1983 .

[5]  George J. Pappas,et al.  Hybrid Control in Air Traffic Management Systems 1 , 1996 .

[6]  M. Branicky.  Topology of hybrid systems , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

[7]  M. Spivak.  A comprehensive introduction to differential geometry , 1979 .

[8]  Thomas A. Henzinger,et al.  Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems , 1996, Hybrid Systems.

[9]  Robert P. Kurshan,et al.  Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

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

[11]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[12]  George J. Pappas,et al.  Hybrid control in air traffic management systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[13]  P. Caines,et al.  The hierarchical lattices of a finite machine , 1995 .

[14]  Rajeev Alur,et al.  Timing Analysis in COSPAN , 1996, Hybrid Systems.

[15]  J. Munkres.  Analysis On Manifolds , 1991 .

[16]  Thomas A. Henzinger,et al.  Hybrid Systems III , 1995, Lecture Notes in Computer Science.

[17]  J. Craggs.  Applied Mathematical Sciences , 1973 .

[18]  Panos J. Antsaklis,et al.  Hybrid Systems II , 1994, Lecture Notes in Computer Science.

[19]  Arjan van der Schaft,et al.  Non-linear dynamical control systems , 1990 .

[20]  S. Sastry,et al.  Hybrid Control in Air Traac Management Systems , 1995 .

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