Hybrid automata: an insight into the discrete abstraction of discontinuous systems

We develop a novel computational–dynamical framework for the modelling of a class of discontinuous dynamical systems (DDSs). In particular, what is referred to as the DDS hybrid automaton with inputs and outputs is proposed. This is a general hybrid automaton that provides a suitable mathematical model for DDSs with discontinuous state derivatives and sliding motions. The chief characteristic of this model is that, following the computational divide-and-conquer principle, a system with multiple discontinuous elements can be represented by the composition of several DDS hybrid automata. Although discontinuous, non-smooth or switched dynamical systems have been well-investigated within different frameworks, it is still a challenge to give satisfactory solutions for specifying the transitions between the different modes of operation of these systems. We propose a new way of solving this problem, which is especially effective for systems with multiple switching elements. An example is used to illustrate these ideas. Several simulations are presented. The simulations results are obtained with Stateflow® and Modelica®.

[1]  Claude-Henri Lamarque,et al.  Bifurcation and Chaos in Nonsmooth Mechanical Systems , 2003 .

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

[3]  Per Lötstedt.  Coulomb Friction in Two-Dimensional Rigid Body Systems , 1981 .

[4]  Paul I. Barton,et al.  State event location in differential-algebraic models , 1996, TOMC.

[5]  Sven Erik Mattsson,et al.  On Object-Oriented Modelling of Relays and Sliding Mode Behaviour , 1996 .

[6]  Vadim I. Utkin,et al.  Adaptive simulation and control of variable-structure control systems in sliding regimes , 1996, Autom..

[7]  Rebekah Carter,et al.  Computational model of a rotary system with discontinuous elements , 2009 .

[8]  E. A. Woods,et al.  The Hybrid Phenomena Theory , 1991, IJCAI.

[9]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[10]  M. Kunze.  Non-Smooth Dynamical Systems , 2000 .

[11]  Olaf Stursberg,et al.  Supervisory control of hybrid systems based on model abstraction and guided search , 2006 .

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

[13]  Yuri A. Kuznetsov,et al.  One-Parameter bifurcations in Planar Filippov Systems , 2003, Int. J. Bifurc. Chaos.

[14]  Gabor Karsai,et al.  Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.

[15]  Hilding Elmqvist,et al.  Modelica — A unified object-oriented language for physical systems modeling , 1997 .

[16]  Domingo Cortes,et al.  Avoiding harmful oscillations in a drillstring through dynamical analysis , 2007 .

[17]  Pieter J. Mosterman,et al.  Sliding Mode Model Semantics and Simulation for Hybrid Systems , 1997, Hybrid Systems.

[18]  van Dh Dick Campen,et al.  Stick-Slip Vibrations Induced by Alternate Friction Models , 1998 .

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

[20]  Pieter J. Mosterman,et al.  Zero-Crossing Location and Detection Algorithms For Hybrid System Simulation , 2008 .

[21]  Mario di Bernardo,et al.  Piecewise smooth dynamical systems , 2008, Scholarpedia.

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

[23]  Peter Whittle.  Bifurcations and Chaos , 2010 .

[24]  Eva M. Navarro-López,et al.  An alternative characterization of bit-sticking phenomena in a multi-degree-of-freedom controlled drillstring , 2009 .

[25]  Eva M. Navarro-López,et al.  Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations , 2009 .

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

[27]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[28]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[29]  Eva M. Navarro-López,et al.  Hybrid modelling of a discontinuous dynamical system including switching control , 2009 .

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

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

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

[33]  Rajeev Alur,et al.  Symbolic analysis for improving simulation coverage of Simulink/Stateflow models , 2008, EMSOFT '08.

[34]  Martin Buss,et al.  Nonlinear Hybrid Dynamical Systems: Modeling, Optimal Control, and Applications , 2002 .

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

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

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

[38]  Eva Navarro Lopez,et al.  What makes the control of discontinuous dynamical systems so complex , 2009 .

[39]  B. Brogliato,et al.  Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics , 2008 .

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

[41]  Vincent Acary,et al.  Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics , 2008 .

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

[43]  C. Budd,et al.  Review of ”Piecewise-Smooth Dynamical Systems: Theory and Applications by M. di Bernardo, C. Budd, A. Champneys and P. 2008” , 2020 .

[44]  P. Panagiotopoulos,et al.  Nonsmooth Mechanics I , 1996 .

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

[46]  Roger W. Brockett,et al.  On the computer control of movement , 1988, Proceedings. 1988 IEEE International Conference on Robotics and Automation.

[47]  Pieter J. Mosterman,et al.  A comprehensive methodology for building hybrid models of physical systems , 2000, Artif. Intell..

[48]  Babak Sedghi,et al.  Control Design of Hybrid Systems via Dehybridization , 2003 .

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

[50]  Eva M. Navarro-López,et al.  Hybrid-automaton models for simulating systems with sliding motion: still a challenge , 2009, ADHS.

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