Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
R. Alur and D. Dill, The theory of timed automata,Real-Time: Theory in Practice, Proc. REX workshop, Mook, The Netherlands, June 1991 (J. W. de Bakkeret al., eds.), pp. 45–74, Lecture Notes in Computer Science, vol. 600, Springer-Verlag, Berlin, 1992.
R. Alur, T. A. Henzinger, and E. D. Sontag (eds.),Hybrid Systems: Verification and Control, Proc. 5th DIMACS/SYCON workshop on verification and control of hybrid systems, New Brunswick, NJ, Oct. 1995, Lecture Notes in Computer Science, vol. 1066, Springer-Verlag, Berlin, 1996.
M. Andersson, Object-Oriented Modeling and Simulation of Hybrid Systems, Ph.D. thesis, Institute of Automatic Control, Lund Institute of Technology, 1994.
P. J. Antsaklis, W. Kohn, and A. Nerode (eds.),Hybrid Systems II, Proc. third workshop, Ithaca, NY, Oct. 1994, Lecture Notes in Computer Science, vol. 999, Springer-Verlag, Berlin, 1995.
J. D. Aplevich,Implicit Linear Systems, Lecture Notes in Control and Information Sciences, vol. 152, Springer-Verlag, Berlin, 1991.
V. A. Armentano, The pencil (sE−A) and controllability-observability for generalized linear systems: a geometric approach,SIAM J. Control Optim.,24 (1986), 616–638.
A. Back, J. Guckenheimer, and M. Myers, A Dynamical Simulation Facility for Hybrid Systems, Technical Report 92-6, Mathematical Science Institute, Cornell University, 1992.
W. M. G. van Bokhoven,Piecewise Linear Modelling and Analysis, Kluwer, Deventer, 1981.
M. S. Branicky, V. S. Borkar, and S. K. Mitter, A Unified Framework for Hybrid Control: Background, Model, and Theory, Technical Report LIDS-P-2239 (revised), Laboratory for Information and Decision Systems, MIT, June 1994.
K. E. Brenan, S. L. Campbell, and L. R. Petzold,Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations, North-Holland, Amsterdam, 1989.
R. W. Brockett, Smooth multimode control systems,Proc. 1983 Berkeley-Ames Conference on Nonlinear Problems in Control and Fluid Mechanics (L. Hunt and C. Martin, eds.), pp. 103–110. Mathematical Science Press, Brookline, MA, 1984.
R. W. Brockett, Hybrid models for motion control systemsEssays on Control. Perspectives in the Theory and Its Applications, Lectures and the mini-courses of the European control conference (ECC '93), Groningen, June/July 1993 (H. L. Trentelman and J. C. Willems, eds.), pp. 29–53, Birkhäuser, Boston, MA, 1993.
B. Brogliato,Nonsmooth Impact Mechanics. Models, Dynamics and Control, Lecture Notes in Control and Information Sciences, vol. 220, Springer-Verlag, Berlin, 1996.
B. Brogliato, S.-I. Niculescu, and P. Orhant, On the control of finite-dimensional mechanical systems with unilateral constraints, Preprint, Lab. d'Automatique de Grenoble, September 1995.
D. W. Bushaw, Differential Equations with a Discontinuous Forcing Term, Ph.D. thesis, Department of Mathematics, Princeton University, 1952.
F. E. Cellier,Continuous System Modeling, Springer-Verlag, New York, 1991.
R. W. Cottle, J.-S. Pang, and R. E. Stone,The Linear Complementarity Problem, Academic Press, Boston, MA, 1992.
R. David and H. Alla,Petri Nets & Grafcet: Tools for Modelling Discrete Event Systems, Prentice-Hall, Englewood Cliffs, NJ, 1992.
J. Dieudonne, Sur la réduction canonique des couples des matrices.Bull. Soc. Math. France,74 (1946), 130–146.
F. R. Gantmacher,The Theory of Matrices (Vol. I), Chelsea, New York, 1959.
F. R. Gantmacher,The Theory of Matrices (Vol. II), Chelsea, New York, 1959.
C. W. Gear, Differential-algebraic equation index transformations,SIAM J. Sci. Statist. Comput. 9 (1988), 39–47.
A. H. W. Geerts and J. M. Schumacher, Impulsive-smooth behavior in multimode systems, Part I: State-space and polynomial representations,Automatica,32 (1996), 747–758.
L. Glass, Combinatorial and topological methods in nonlinear chemical kinetics,J. Chem. Phys.,63 (1975), 1325–1335.
R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel (eds.),Hybrid Systems, Lecture Notes in Computer Science, vol. 736, Springer-Verlag, New York, 1993.
J. Guckenheimer, A robust hybrid stabilization strategy for equilibria,IEEE Trans. Automat. Control,40 (1995), 321–326.
H.-P. Huang and N. H. McClamroch, Time-optimal control for a robotic contour following problem,IEEE J. Robotics Automat.,4 (1988), 140–149.
A. Isidori, A. J. Krener, C. Gori-Giorgi, and S. Monaco, Nonlinear decoupling via feedback: a differential-geometric approach,IEEE Trans. Automat. Control. 26 (1981), 331–345.
C. W. Kilmister and J. E. Reeve,Rational Mechanics, Longmans, London, 1966.
M. Kuijper,First-Order Representations of Linear Systems, Birkhäuser, Boston, MA, 1994.
C. Lanczos,The Variational Principles of Mechanics, University of Toronto Press, Toronto, 1949.
J. P. LaSalle, Time optimal control systems,Proc. Nat. Acad. Sci. U.S.A.,45 (1959), 573–577.
P. Lötstedt, Mechanical systems of rigid bodies subject to unilateral constraints,SIAM J. Appl. Math.,42 (1982), 281–296.
O. Maler, Z. Manna, and A. Pnueli, From timed to hybrid systems,Real-Time: Theory in Practice, Proc. REX workshop, Mook, The Netherlands, June 1991 (J. W. de Bakkeret al., eds.), pp. 447–484, Lecture Notes in Computer Science, vol. 600, Springer-Verlag, Berlin, 1992.
Z. Manna and A. Pnueli,The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, New York, 1992.
H. Nijmeijer and A. J. van der Schaft,Nonlinear Dynamical Control Systems, Springer-Verlag, Berlin, 1990.
J. Pérès,Mécanique Générale, Masson, Paris, 1953.
A. Pnueli and J. Sifakis (guest eds.), Special issue on hybrid systems,Theoret. Comput. Sci.,138 (1995), 1–239.
L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mishchenko,The Mathematical Theory of Optimal Processes, Interscience, New York, 1962.
A. Schrijver,Theory of Linear and Integer Programming, Wiley, Chichester, 1986.
J. M. Schumacher, Transformations of linear systems under external equivalence,Linear Algebra Appl.,102, (1988), 1–33.
E. D. Sontag, Nonlinear regulation: the piecewise linear approach,IEEE Trans. Automat. Control,26 (1981), 346–358.
E. D. Sontag, Interconnected automata and linear systems: A theoretical framework in discrete-time,Hybrid Systems: Verification and Control, Proc. 5th DIMACS/SYCON work-shop on verification and control of hybrid systems, New Brunswick, NJ, Oct. 1995, (R. Alur, T. Henzinger, and E. D. Sontag, eds.), pp. 436–448, Lecture Notes in Computer Science, vol. 1066, Springer-Verlag, Berlin, 1996.
J.-E. Strömberg, A Mode Switching Modelling Philosophy, Ph.D. thesis, Department of Electrical Engineering, Linköping University, 1994.
H. J. Sussmann, Subanalytic sets and feedback control.J. Differential Equations,31 (1979), 31–52.
L. Vandenberghe, B. L. De Moor, and J. Vandewalle, The generalized linear complementarity problem applied to the complete analysis of resistive piecewise-linear circuits,IEEE Trans. Circuits and Systems,36 (1989), 1382–1391.
J. C. Willems, Dissipative dynamical systems, Part II: Linear systems with quadratic supply rates,Arch. Rational Mech. Anal.,45 (1972), 352–393.
J. C. Willems, Paradigms and puzzles in the theory of dynamical systems,IEEE Trans. Automat. Control.,36 (1991), 259–294.
H. S. Witsenhausen, A class of hybrid-state continuous-time dynamic systems,IEEE Trans. Automat. Control,11 (1966), 161–167.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
van der Schaft, A.J., Schumacher, J.M. The complementary-slackness class of hybrid systems. Math. Control Signal Systems 9, 266–301 (1996). https://doi.org/10.1007/BF02551330
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02551330