Characterization of well-posedness of piecewise-linear systems

One of the basic issues in the study of hybrid systems is the well-posedness (existence and uniqueness of solutions) problem of discontinuous dynamical systems. This paper addresses this problem for a class of piecewise-linear discontinuous systems under the definition of solutions of Carath\'eodory. The concepts of jump solutions or a sliding mode are not considered here. In this sense, the problem to be discussed is one of the most basic problems in the study of well-posedness for discontinuous dynamical systems. First, we derive necessary and sufficient conditions for bimodal systems to be well-posed, in terms of an analysis based on lexicographic inequalities and the smooth continuation property of solutions. Next, its extensions to the multi-modal case are discussed. As an application to switching control, in the case that two state feedback gains are switched according to a criterion depending on the state, we give a characterization of all admissible state feedback gains for which the closed loop system remains well-posed.

[1]  B. Brogliato.  Nonsmooth Impact Mechanics: Models, Dynamics and Control , 1996 .

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

[3]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[4]  Arjan van der Schaft,et al.  Uniqueness of solutions of linear relay systems , 1999, Autom..

[5]  Jun-ichi Imura,et al.  Well-posedness of a class of dynamically interconnected systems , 1999 .

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

[7]  E. Skafidas,et al.  On the use of switched linear controllers for stabilizability of implicit recursive equations , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[8]  Roger W. Brockett,et al.  Smooth dynamical systems which realize arithmetical and logical operations , 1989 .

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

[10]  Johannes Schumacher,et al.  Complementarity problems in linear complementarity systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

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

[12]  Panos J. Antsaklis,et al.  Hybrid System Modeling and Autonomous Control Systems , 1992, Hybrid Systems.

[13]  Stephen P. Boyd,et al.  Quadratic stabilization and control of piecewise-linear systems , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[14]  A. Morse.  Supervisory control of families of linear set-point controllers. 2. Robustness , 1997, IEEE Trans. Autom. Control..

[15]  A. Morse.  Supervisory control of families of linear set-point controllers , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.

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

[17]  M. Branicky.  Analyzing continuous switching systems: theory and examples , 1994, Proceedings of 1994 American Control Conference - ACC '94.

[18]  Arjan van der Schaft,et al.  The complementary-slackness class of hybrid systems , 1996, Math. Control. Signals Syst..

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

[20]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[21]  Bo Egardt,et al.  Control design for integrator hybrid systems , 1998, IEEE Trans. Autom. Control..

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

[23]  Oded Maler,et al.  Hybrid and Real-Time Systems , 1997 .

[24]  A. J. van der Schaft,et al.  Complementarity modeling of hybrid systems , 1998, IEEE Trans. Autom. Control..

[25]  Johannes Schumacher,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[26]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[27]  R. Decarlo,et al.  Construction of piecewise Lyapunov functions for stabilizing switched systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[28]  A. Morse.  Supervisory control of families of linear set-point controllers Part I. Exact matching , 1996, IEEE Trans. Autom. Control..

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

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

[31]  A. Haddad,et al.  On the Controllability and Observability of Hybrid Systems , 1988, 1988 American Control Conference.

[32]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

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