A notion of passivity for hybrid systems

We propose a notion of passivity for hybrid systems. Our work is motivated by problems in haptics and teleoperation where several computer controlled mechanical systems are connected through a communication channel. To account for time delays and to better react to user actions it is desirable to design controllers that can switch between different operating modes. Each of the interacting systems can be therefore naturally modeled as a hybrid system. A traditional passivity definition requires that a storage function exists that is common to all operating modes. We show that stability of the system can be guaranteed even if different storage function is found for each of the modes, provided appropriate conditions are satisfied when the system switches.

[1]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[2]  Blake Hannaford,et al.  Stable haptic interaction with virtual environments , 1999, IEEE Trans. Robotics Autom..

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

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

[5]  Eduardo Sontag,et al.  Nonsmooth control-Lyapunov functions , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[6]  Michael D. Lemmon,et al.  Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems , 1998, HSCC.

[7]  Joel W. Burdick,et al.  Stabilization of Systems with Changing Dynamics , 1998, HSCC.

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

[9]  Mark W. Spong,et al.  Bilateral control of teleoperators with time delay , 1988, Proceedings of the 1988 IEEE International Conference on Systems, Man, and Cybernetics.

[10]  S. Pettersson,et al.  Stability and robustness for hybrid systems , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[11]  J. Edward Colgate,et al.  Passivity of a class of sampled-data systems: Application to haptic interfaces , 1997, J. Field Robotics.

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

[13]  G. Lafferriere.  Discontinuous stabilizing feedback using partially defined Lyapunov functions , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

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

[15]  Randy A. Freeman,et al.  Guaranteed stability of haptic systems with nonlinear virtual environments , 2000, IEEE Trans. Robotics Autom..

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

[17]  Karl Johan Åström,et al.  A Stabilizing Switching Scheme for Multi Controller Systems , 1996 .

[18]  A. Rantzer,et al.  On the computation of piecewise quadratic Lyapunov functions , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[19]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

[21]  S. Andreotti,et al.  Geometric scattering in tele-manipulation of port controlled Hamiltonian systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

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

[23]  Jean-Jacques E. Slotine,et al.  Towards force-reflecting teleoperation over the Internet , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[24]  Ling Hou,et al.  Stability analysis of a general class of hybrid dynamical systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

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

[26]  Mark W. Spong,et al.  Asymptotic Stability for Force Reflecting Teleoperators with Time Delay , 1992 .

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

[28]  J. Edward Colgate,et al.  Passive Implementation of Multibody Simulations for Haptic Display , 1997, Dynamic Systems and Control.