Toward unified analysis and controller synthesis for a class of hybrid systems

Abstract This work defines a new class of hybrid systems called state-based switched (SBS) systems that have numerous important engineering applications. The characterizing feature of these systems is that the discrete-event dynamics are associated with the continuous-time state making a specific function be equal to zero. The choice of this function is application specific and for the closed-loop SBS systems defined in this paper it is related to the execution of a desired set of tasks from a pre-specified mission plan. For this broad class of SBS systems, the paper presents a unified analysis and controller synthesis methodology based on Lyapunov theory. Depending on the details of the mission plan, the closed-loop hybrid system will be divided into two subclasses: sequential and non-sequential. The controller design procedure for both subclasses consists of the same two steps: finding a control law and finding a stabilizing switching rule. For static state and output feedback of sequential hybrid systems, the paper proposes a new hybrid sequential sliding-mode controller. It is proven that the control mission can be accomplished for sequential hybrid systems under static state and output feedback using this new controller. A similar framework is investigated for the more complex class of nonsequential hybrid systems and a systematic procedure for designing the switching rule is presented for some specific instances of these systems.

[1]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[2]  A. Bensoussan,et al.  Hybrid control and dynamic programming , 1997 .

[3]  Nancy A. Lynch,et al.  Hybrid I/O automata , 2003, Inf. Comput..

[4]  Munther A. Dahleh,et al.  Global stability of relay feedback systems , 2001, IEEE Trans. Autom. Control..

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

[6]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[7]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[8]  P. Varaiya,et al.  Hybrid dynamical systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[9]  Sven Hedlund,et al.  Computational Methods for Optimal Control of Hybrid Systems , 2003 .

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

[11]  J. C Willems,et al.  Perspectives in Control , 1998 .

[12]  Rolf Johansson,et al.  Nonlinear and Hybrid Systems in Automotive Control , 2002 .

[13]  Shouchuan Hu.  Differential equations with discontinuous right-hand sides☆ , 1991 .

[14]  Mark W. Spong,et al.  Underactuated mechanical systems , 1998 .

[15]  Antonio Bicchi,et al.  Dexterous Grippers: Putting Nonholonomy to Work for Fine Manipulation , 2002, Int. J. Robotics Res..

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

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

[18]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[19]  Stephen P. Boyd,et al.  A class of Lyapunov functionals for analyzing hybrid dynamical systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

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

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

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

[23]  Joao P. Hespanha,et al.  Logic-based switching algorithms in control , 1998 .

[24]  Alberto Bemporad,et al.  Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions , 2003, HSCC.

[25]  J. How,et al.  Observer-based control of piecewise-affine systems , 2003 .

[26]  Jan H. van Schuppen,et al.  Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles , 2001, HSCC.

[27]  R. Decarlo,et al.  Asymptotic Stability of m-Switched Systems using Lyapunov-Like Functions , 1991, 1991 American Control Conference.

[28]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[29]  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1998, IEEE Trans. Autom. Control..

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

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

[32]  Stephen P. Boyd,et al.  Piecewise-affine state feedback for piecewise-affine slab systems using convex optimization , 2005, Syst. Control. Lett..

[33]  Stefan Pettersson,et al.  Analysis and Design of Hybrid Systems , 1999 .

[34]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

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

[36]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[37]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[38]  Vadim I. Utkin,et al.  Sliding Modes in Control and Optimization , 1992, Communications and Control Engineering Series.

[39]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.

[40]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[41]  Michael S. Branicky,et al.  General Hybrid Dynamical Systems: Modeling, Analysis, and Control , 1996, Hybrid Systems.

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

[43]  Katta G. Murty,et al.  Some NP-complete problems in quadratic and nonlinear programming , 1987, Math. Program..

[44]  C.G. Cassandras,et al.  Optimal control of hybrid systems in manufacturing , 2000, Proceedings of the IEEE.

[45]  John Lygeros,et al.  A Game-Theoretic Approach to Hybrid System Design , 1996, Hybrid Systems.

[46]  Jonathan P. How,et al.  Hybrid Model for Receding Horizon Guidance of Agile Autonomous Rotorcraft , 2004 .

[47]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[48]  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).

[49]  A. Nerode,et al.  Hybrid Control Systems: An Introductory Discussion to the Special Issue , 1998, IEEE Trans. Autom. Control..

[50]  U. Ozguner,et al.  Stability of hybrid systems , 1994, Proceedings of 1994 9th IEEE International Symposium on Intelligent Control.

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

[52]  A. Papachristodoulou,et al.  A tutorial on sum of squares techniques for systems analysis , 2005, Proceedings of the 2005, American Control Conference, 2005..

[53]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..