Hybrid modelling of a discontinuous dynamical system including switching control

Abstract Although discontinuous, non-smooth or switched dynamical systems have been broadly studied, there still exist dynamical behaviours which are not completely understood. In particular, those related to transitions between state-space regions and to crossings through discontinuity surfaces. The problem of specifying system transitions becomes crucial when multiple discontinuity surfaces or switching elements are present. In this case, a great deal of care has to be taken in order to simulate the system and to verify its properties. Obtaining a computational model appears to be an elegant way for the specification of the transitions and event-triggered phenomena involved in the dynamical behaviour of discontinuous systems. This is the goal of this paper. A class of discontinuous dynamical systems including control inputs and outputs is reinterpreted within the hybrid-automata framework, and what is referred as to discontinuous-dynamical-systemhybrid automaton is proposed. An example is used, which corresponds to a 2-degrees-of-freedom electromechanical system including discontinuous friction and sliding-mode control. This system exhibits several discontinuity surfaces which give rise to different types of transitions and dynamical behaviours. New computational-kind phenomena may arise when the system is reinterpreted as a hybrid dynamical system. Nevertheless, this paper only deals with the modelling and specification of the system.

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

[2]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1998, IEEE Trans. Autom. Control..

[3]  Jörgen Malmborg,et al.  Analysis and Design of Hybrid Control Systems , 1998 .

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

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

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

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

[8]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

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

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

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

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

[14]  Yuri A. Kuznetsov,et al.  An event-driven method to simulate Filippov systems with accurate computing of sliding motions , 2008, TOMS.

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

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

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

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

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

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

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

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

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

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

[25]  Eva Navarro Lopez,et al.  Discontinuities-induced phenomena in an industrial application: analysis and control solutions , 2008 .

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

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

[28]  Michael S. Branicky,et al.  Studies in hybrid systems: modeling, analysis, and control , 1996 .

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

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

[31]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..

[32]  Daniel Kressner,et al.  Block variants of Hammarling's method for solving Lyapunov equations , 2008, TOMS.