Straightening out rectangular differential inclusions

In this paper, the classic straightening out theorem from differential geometry is used to derive necessary and sufficient conditions for locally converting rectangular differential inclusions to constant rectangular differential inclusions. Both scalar and coupled differential inclusions are considered. The results presented in this paper have use in the area of computer aided verification of hybrid systems where they represent the frontier of the known decidable models of infinite state systems.

[1]  Panos J. Antsaklis,et al.  Hybrid Systems IV , 1997, Lecture Notes in Computer Science.

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

[3]  S. Shankar Sastry,et al.  Reliable implementation of hybrid control systems for advanced avionics , 1997 .

[4]  S. Shankar Sastry,et al.  Towards Continuous Abstractions of Dynamical and Control Systems , 1996, Hybrid Systems.

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

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

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

[8]  van der Arjan Schaft,et al.  Hybrid and Real-Time Systems , 1997, Lecture Notes in Computer Science.

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

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

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

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

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

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

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

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

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

[18]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

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