Dissipativity theory for hybrid systems with applications to networked control systems

by Michael J. McCourt This dissertation provides new results for energy-based analysis of systems modeled by switched or hybrid system models. This work is motivated by applications in cyber physical systems where systems evolve according to a combination of physical dynamics and cyber, event-driven dynamics. Having a combination of physical and logical dynamics, cyber physical systems are best modeled using switched or hybrid models. The original energy-based results presented here are based on the notions of passivity and dissipativity from classical nonlinear control theory. Existing theory provides valuable results for analyzing stability for interconnected systems. These methods are well established for nonlinear dynamical systems but do not directly apply to more general system models. A main goal of this dissertation is to provide generalizations of these concepts for hybrid systems. This includes an original definition of passivity indices for switched systems in Chapter 4 and notions of supervisory control using passivity indices in Chapter 6. It also includes original definitions of dissipativity for discrete-event systems and hybrid systems in Chapters 7 and 8. While these properties are useful in practice, they are often difficult to show. Chapter 10 covers computational methods of demonstrating passivity for switched systems. Often cyber physical systems are built up by connecting components over existing

[1]  Andrew R. Teel,et al.  Asymptotic stability for hybrid systems via decomposition, dissipativity, and detectability , 2010, 49th IEEE Conference on Decision and Control (CDC).

[2]  Eloy García,et al.  Model-based event-triggered control with time-varying network delays , 2011, IEEE Conference on Decision and Control and European Control Conference.

[3]  John T. Wen,et al.  Robustness Analysis based on Passivity , 1988, 1988 American Control Conference.

[4]  N Kottenstette,et al.  Relationships between positive real, passive dissipative, & positive systems , 2010, Proceedings of the 2010 American Control Conference.

[5]  Clyde F. Martin,et al.  A Converse Lyapunov Theorem for a Class of Dynamical Systems which Undergo Switching , 1999, IEEE Transactions on Automatic Control.

[6]  Panos J. Antsaklis,et al.  Stable digital control networks for continuous passive plants subject to delays and data dropouts , 2007, 2007 46th IEEE Conference on Decision and Control.

[7]  Ming Cao,et al.  Dwell-time switching , 2010, Syst. Control. Lett..

[8]  Panos J. Antsaklis,et al.  Special Issue on Technology of Networked Control Systems , 2007 .

[9]  Joao P. Hespanha,et al.  Stabilization Through Hybrid Control , 2011 .

[10]  David J. Hill,et al.  Decomposable Dissipativity and Related Stability for Discrete-Time Switched Systems , 2011, IEEE Transactions on Automatic Control.

[11]  D.E. Quevedo,et al.  Packetized Predictive Control over Erasure Channels , 2007, 2007 American Control Conference.

[12]  Norman R. Howes,et al.  Modern Analysis and Topology , 1995 .

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

[14]  Feng Zhu,et al.  Passivity and stability of switched systems under quantization , 2012, HSCC '12.

[15]  John N. Tsitsiklis,et al.  Introduction to linear optimization , 1997, Athena scientific optimization and computation series.

[16]  S. Hirche,et al.  Bilateral teleoperation over the internet: the time varying delay problem , 2003, Proceedings of the 2003 American Control Conference, 2003..

[17]  Jean-Jacques E. Slotine,et al.  Stable Adaptive Teleoperation , 1990, 1990 American Control Conference.

[18]  J. Willems.  Dissipative dynamical systems part I: General theory , 1972 .

[19]  A. Michel,et al.  Lyapunov Stability of a Class of Discrete Event Systems , 1991 .

[20]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[21]  Panos J. Antsaklis,et al.  State and output feedback control in model-based networked control systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[22]  P. Moylan,et al.  Connections between finite-gain and asymptotic stability , 1980 .

[23]  Peter Xiaoping Liu,et al.  On the Model-Based Approach to Nonlinear Networked Control Systems , 2007, 2007 American Control Conference.

[24]  Paulo Tabuada,et al.  Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks , 2007, IEEE Transactions on Automatic Control.

[25]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[26]  Madhavan Mukund,et al.  Finite-State Automata on Infinite Inputs , 2012, Modern Applications of Automata Theory.

[27]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[28]  Paulo Tabuada,et al.  To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.

[29]  Panos J Antsaklis,et al.  Control design for switched systems using passivity indices , 2010, Proceedings of the 2010 American Control Conference.

[30]  A. Fettweis.  Wave digital filters: Theory and practice , 1986, Proceedings of the IEEE.

[31]  Yasuaki Oishi.  Passivity degradation under the discretization with the zero-order hold and the ideal sampler , 2010, 49th IEEE Conference on Decision and Control (CDC).

[32]  Nicholas Kottenstette,et al.  Control of passive plants with memoryless nonlinearities over wireless networks , 2008 .

[33]  Mark W. Spong,et al.  Bilateral Teleoperation Over Unreliable Communication Networks , 2008, IEEE Transactions on Control Systems Technology.

[34]  E. Guillemin.  Synthesis of passive networks : theory and methods appropriate to the realization and approximation problems , 1957 .

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

[36]  M. Branicky.  Stability of switched and hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[37]  Brian D. O. Anderson,et al.  The small-gain theorem, the passivity theorem and their equivalence , 1972 .

[38]  Günter Niemeyer,et al.  Practical limitations of wave variable controllers in teleoperation , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[39]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[40]  Daniel Liberzon,et al.  Stability of hybrid automata with average dwell time: an invariant approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[41]  Ramon Costa-Castelló,et al.  On preserving passivity in sampled-data linear systems , 2005, 2006 American Control Conference.

[42]  Arjan van der Schaft,et al.  Geometric scattering in robotic telemanipulation , 2002, IEEE Trans. Robotics Autom..

[43]  Panos J. Antsaklis,et al.  Passivity Index for Switched System Design Technical Report of the ISIS Group at the University of Notre Dame ISIS-09-002 May , 2009 , 2009 .

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

[45]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[46]  M.W. Spong,et al.  Output Synchronization of Nonlinear Systems with Time Delay in Communication , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[47]  Frank Allgöwer,et al.  Dissipation inequalities in systems theory: An introduction and recent results , 2009 .

[48]  Joseph Porter,et al.  Digital passive attitude and altitude control schemes for quadrotor aircraft , 2009, 2009 IEEE International Conference on Control and Automation.

[49]  Panos J. Antsaklis,et al.  Stability of model-based networked control systems with time-varying transmission times , 2004, IEEE Transactions on Automatic Control.

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

[51]  Linda Bushnell,et al.  Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[52]  M. Sen.  Preserving positive realness through discretization , 2000 .

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

[54]  M. Vidyasagar,et al.  Nonlinear systems analysis (2nd ed.) , 1993 .

[55]  Luis A Montestruque.  Model-Based Networked Control Systems , 2004 .

[56]  Alberto Bemporad,et al.  Passivity Analysis and Passification of Discrete-Time Hybrid Systems , 2008, IEEE Transactions on Automatic Control.

[57]  Michael S. Branicky,et al.  Introduction to Hybrid Systems , 2005, Handbook of Networked and Embedded Control Systems.

[58]  Panos J. Antsaklis,et al.  Model-Based Dissipative Control of Nonlinear Discrete-Time Systems over Networks , 2012 .

[59]  D UllmanJeffrey,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001 .

[60]  P. Moylan,et al.  Stability criteria for large-scale systems , 1978 .

[61]  J. L. Mancilla-Aguilar,et al.  A converse Lyapunov theorem for nonlinear switched systems , 2000 .

[62]  W. Haddad,et al.  Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach , 2008 .

[63]  Tsuneo Yoshikawa,et al.  Bilateral control with energy balance monitoring under time-varying communication delay , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[64]  B. Reznick,et al.  Sums of squares of real polynomials , 1995 .

[65]  R. Sanfelice,et al.  Hybrid dynamical systems , 2009, IEEE Control Systems.

[66]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[67]  Xiaofeng Wang,et al.  Event design in event-triggered feedback control systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[68]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[69]  Panos J. Antsaklis,et al.  Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control , 1998, Discret. Event Dyn. Syst..

[70]  M. Zefran,et al.  A notion of passivity for hybrid systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

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

[72]  A. Papachristodoulou.  Scalable analysis of nonlinear systems using convex optimization , 2005 .

[73]  F. Allgower,et al.  Passivity-based nonlinear dynamic output feedback design: a semidefinite programming approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[74]  Arjan van der Schaft,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

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

[76]  L. Vu,et al.  Stability of interconnected switched systems and supervisory control of time-varying plants , 2007, 2007 46th IEEE Conference on Decision and Control.

[77]  M. Areak,et al.  Passivity as a design tool for group coordination , 2006, 2006 American Control Conference.

[78]  R. Kalman.  On the Stability of Time-Varying Linear Systems , 1962 .

[79]  J. Doyle,et al.  Optimization-based methods for nonlinear and hybrid systems verification , 2005 .

[80]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[81]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[82]  Gabor Karsai,et al.  Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study , 2013 .

[83]  G. Zames.  On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

[84]  Stefano Stramigioli,et al.  Digital passive geometric telemanipulation , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[85]  M. Spong,et al.  Robot Modeling and Control , 2005 .

[86]  Hai Lin,et al.  Switching Stabilizability for Continuous-Time Uncertain Switched Linear Systems , 2007, IEEE Transactions on Automatic Control.

[87]  Panos J. Antsaklis,et al.  Supervisory control of Petri nets with uncontrollable/unobservable transitions , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[88]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[89]  Eduardo Sontag,et al.  On characterizations of the input-to-state stability property , 1995 .

[90]  Brian D. O. Anderson,et al.  Network Analysis and Synthesis: A Modern Systems Theory Approach , 2006 .

[91]  B. Liu,et al.  Stabilization with Optimal Performance for Dissipative Discrete-Time Impulsive Hybrid Systems , 2010 .

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

[93]  A. Michel,et al.  Stability analysis of switched systems with stable and unstable subsystems: an average dwell time approach , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[94]  P. Moylan,et al.  The stability of nonlinear dissipative systems , 1976 .

[95]  D. Hill,et al.  A notion of passivity for switched systems with state-dependent switching , 2006 .

[96]  Rogelio Lozano,et al.  Synchronization of bilateral teleoperators with time delay , 2008, Autom..

[97]  Mark W. Spong,et al.  Bilateral control of teleoperators with time delay , 1989 .

[98]  João Pedro Hespanha,et al.  Postprints from CCDC Title Hysteresis-based switching algorithms for supervisory control of uncertain systems Permalink , 2002 .

[99]  Arjan van der Schaft,et al.  A novel theory for sampled data system passivity , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[100]  Panos J. Antsaklis,et al.  Event-triggered output feedback control for networked control systems using passivity: Achieving L2 stability in the presence of communication delays and signal quantization , 2013, Autom..

[101]  Han Yu,et al.  Passivity-based output synchronization of networked Euler-Lagrange systems subject to nonholonomic constraints , 2010, Proceedings of the 2010 American Control Conference.

[102]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[103]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[104]  Kevin M. Passino,et al.  Stability Analysis of Discrete Event Systems , 1998 .

[105]  Frank Allgöwer,et al.  Analysis and design of polynomial control systems using dissipation inequalities and sum of squares , 2006, Comput. Chem. Eng..

[106]  Jean-Jacques E. Slotine,et al.  Telemanipulation with Time Delays , 2004, Int. J. Robotics Res..

[107]  David E. Muller,et al.  Infinite sequences and finite machines , 1963, SWCT.

[108]  Sandra Hirche,et al.  A distributed controller approach for delay-independent stability of networked control systems , 2009, Autom..

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

[110]  Weibiao Zhou,et al.  Robust Process Control Based on the Passivity Theorem , 2008 .