Control Design of Hybrid Systems via Dehybridization

Abstract Hybrid dynamical systems are those with interaction b etween continuous and discrete dynamics. For the analysis and control of such systems concepts and theories from either the continuous or the discrete domain are typically readapted. In this thesis the ideas from p erturbation theory are readapted for approximating a hybrid system using a continuous one. To this purp ose, hybrid systems that p ossess a two-time scale prop erty, i.e. discrete states evolving in a fast time-scale and continuous states in a slow time-scale, are considered. Then, as in singular p erturbation or averaging methods, the system is approximated by a slow continuous time system. Since the hybrid nature of the process is removed by averaging, such a procedure is referred to as dehybridization in this thesis. It is seen that fast transitions required for dehybridization corresp ond to fast switching in all but one of the discrete states (modes). Here, the notion of dominant mode is defined and the maximum time interval sp ent in the non-dominant modes is considered as the ‘small’ parameter which determines the quality of approximation. It is shown that in a finite time interval, the solutions of the hybrid model and the continuous averaged one stay ‘close’ such that the error b etween them goes to zero as the ‘small’ parameter goes to zero. To utilize the ideas of dehybridization for control purp oses, a cascade control design scheme is prop osed, where the inner-loop artificially creates the two-time scale b ehavior, while the outer-loop exp onentially stabilizes the approximate continuous system. It is shown that if the origin is a common equilibrium p oint for all modes, then for sufficiently small values of the ‘small’ parameter, exp onential stability of the hybrid model can b e guaranteed. However, it is shown that if the origin is not an equilibrium p oint for some modes, then the tra jectories of the hybrid model are ultimately b ounded, the b ound b eing a function of the ‘small’ parameter. The analysis approach used here defines the hybrid system as a p erturbation of the averaged one and works along the lines of robust stability. The key technical difference is that though the norm of the p erturbation is not small, the norm of its time integral is small. This thesis was motivated by the stick-slip drive, a friction-based micro-p ositioning setup, which op erates in two distinct modes ‘stick’ and ‘slip’. It consists of two masses which stick together when the interfacial force is less than the Coulomb frictional force, and slips otherwise. The prop osed methodology is illustrated through simulation and exp erimental results on the stick-slip drive. 1

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

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

[3]  David G. Taylor Pulse-width modulated control of electromechanical systems , 1992 .

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

[5]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

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

[7]  Bengt Lennartson,et al.  Hybrid systems in process control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[8]  J. Gillis,et al.  Asymptotic Methods in the Theory of Non‐Linear Oscillations , 1963 .

[9]  B. Sedghi,et al.  Control of hybrid systems via dehybridization , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[10]  Dragan Nesic,et al.  A unified framework for input-to-state stability in systems with two time scales , 2003, IEEE Trans. Autom. Control..

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

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

[13]  F. Altpeter Friction modeling, identification and compensation , 1999 .

[14]  Carlos Canudas de Wit,et al.  A new model for control of systems with friction , 1995, IEEE Trans. Autom. Control..

[15]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[16]  Jean-Marc Breguet Actionneurs "stick and slip" pour micro-manipulateurs , 1998 .

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

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

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

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

[21]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

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

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

[24]  Zhengguo Li,et al.  Stabilization of a class of switched systems via designing switching laws , 2001, IEEE Trans. Autom. Control..

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

[26]  H. Sira-Ramírez A geometric approach to pulse-width modulated control in nonlinear dynamical systems , 1989 .

[27]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[28]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[29]  F. Verhulst,et al.  Averaging Methods in Nonlinear Dynamical Systems , 1985 .

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

[31]  A. Morse,et al.  Stability of switched systems: a Lie-algebraic condition ( , 1999 .

[32]  Bo Hu,et al.  Towards a stability theory of general hybrid dynamical systems , 1999, Autom..

[33]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

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

[35]  A. Stephen Morse,et al.  Control Using Logic-Based Switching , 1997 .

[36]  Christos G. Cassandras,et al.  Discrete-Event Systems , 2005, Handbook of Networked and Embedded Control Systems.

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

[38]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

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

[40]  Raymond A. DeCarlo,et al.  Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems , 1998, Eur. J. Control.

[41]  I︠a︡. Z. T︠S︡ypkin Relay Control Systems , 1985 .

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

[43]  N. G. Parke,et al.  Ordinary Differential Equations. , 1958 .

[44]  João Pedro Hespanha,et al.  Stabilization of nonholonomic integrators via logic-based switching , 1999, Autom..

[45]  P.V. Zhivoglyadov,et al.  On stability in hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[46]  K. Narendra,et al.  A common Lyapunov function for stable LTI systems with commuting A-matrices , 1994, IEEE Trans. Autom. Control..

[47]  Philippe Renaud,et al.  A 4-degrees-of-freedom microrobot with nanometer resolution , 1996, Robotica.

[48]  H. Sira-Ramírez,et al.  Dynamical discontinuous feedback control of nonlinear systems , 1990 .

[49]  B. G. Pachpatte,et al.  Inequalities for differential and integral equations , 1998 .

[50]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[51]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[52]  Jean-Pierre Aubin,et al.  Impulse differential inclusions: a viability approach to hybrid systems , 2002, IEEE Trans. Autom. Control..

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

[54]  Dean Karnopp,et al.  Computer simulation of stick-slip friction in mechanical dynamic systems , 1985 .

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