The complementary-slackness class of hybrid systems

In this paper we understand a “hybrid system” to be one that combines features of continuous dynamical systems with characteristics of finite automata. We study a special class of such systems which we call the complementary-slackness class. We study existence and uniqueness of solutions in the special'cases oflinear andHamiltonian complementary-slackness systems. For the latter class we also prove an energy inequality.

[1]  J. Dieudonné,et al.  Sur la réduction canonique des couples de matrices , 1946 .

[2]  D. Bushaw.  DIFFERENTIAL EQUATIONS WITH A DISCONTINUOUS FORCING TERM , 1953 .

[3]  J P Lasalle,et al.  TIME OPTIMAL CONTROL SYSTEMS. , 1959, Proceedings of the National Academy of Sciences of the United States of America.

[4]  L. Mirsky,et al.  The Theory of Matrices , 1961, The Mathematical Gazette.

[5]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[6]  M. L. Chambers.  The Mathematical Theory of Optimal Processes , 1965 .

[7]  H. Witsenhausen.  A class of hybrid-state continuous-time dynamic systems , 1966 .

[8]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[9]  J. Willems.  Dissipative dynamical systems Part II: Linear systems with quadratic supply rates , 1972 .

[10]  L. Glass.  Combinatorial and topological methods in nonlinear chemical kinetics , 1975 .

[11]  H. Sussmann.  Subanalytic sets and feedback control , 1979 .

[12]  Van Bokhoven.  Piecewise-linear modelling and analysis , 1981 .

[13]  A. Isidori,et al.  Nonlinear decoupling via feedback: A differential geometric approach , 1981 .

[14]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[15]  Per Lötstedt.  Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints , 1982 .

[16]  J. Troutman.  Variational Principles in Mechanics , 1983 .

[17]  V. Armentano.  The pencil (sE-A) and controllability-observability for generalized linear systems: A geometric approach , 1984, The 23rd IEEE Conference on Decision and Control.

[18]  F. R. Gantmakher.  The Theory of Matrices , 1984 .

[19]  H. Schumacher.  Transformations of linear systems under external equivalence , 1988 .

[20]  C. W. Gear,et al.  Differential-algebraic equations index transformations , 1988 .

[21]  Han-Pang Huang,et al.  Time-optimal control for a robotic contour following problem , 1988, IEEE J. Robotics Autom..

[22]  L. Vandenberghe,et al.  The generalized linear complementarity problem applied to the complete analysis of resistive piecewise-linear circuits , 1989 .

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

[24]  J. Willems.  Paradigms and puzzles in the theory of dynamical systems , 1991 .

[25]  Rajeev Alur,et al.  The Theory of Timed Automata , 1991, REX Workshop.

[26]  J. Aplevich.  Implicit Linear Systems , 1991 .

[27]  François E. Cellier,et al.  Continuous system modeling , 1991 .

[28]  Zohar Manna,et al.  From Timed to Hybrid Systems , 1991, REX Workshop.

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

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

[31]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

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

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

[34]  Margreta Kuijper,et al.  First order representations of linear systems , 1994 .

[35]  V. Borkar,et al.  A unified framework for hybrid control : b background, model, and theory , 1994 .

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

[37]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation of Hybrid Systems , 1994 .

[38]  A. Geerts,et al.  Impulsive-smooth behavior in multimode systems , 1994 .

[39]  Jan-Erik Strömberg,et al.  A Mode Switching Modelling Philosophy , 1994 .

[40]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[41]  J. Guckenheimer.  A robust hybrid stabilization strategy for equilibria , 1995, IEEE Trans. Autom. Control..

[42]  Linda R. Petzold,et al.  Numerical solution of initial-value problems in differential-algebraic equations , 1996, Classics in applied mathematics.

[43]  J. M. Schumacher,et al.  Impulsive-smooth behavior in multimode systems part I: State-space and polynomial representations , 1996, Autom..

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

[45]  B. Brogliato,et al.  On the control of finite-dimensional mechanical systems with unilateral constraints , 1997, IEEE Trans. Autom. Control..