On the well-posedness, equivalency and low-complexity translation techniques of discrete-time hybrid automaton and piecewise affine systems

The main contribution of this paper is to present the systematic and low-complexity translation techniques between a class of hybrid systems referred to as automaton-based DHA and piecewise affine (PWA) systems. As an starting point the general modeling framework of the automaton-based DHA is represented which models the controlled and uncontrolled switching phenomena between linear continuous dynamics including discrete and continuous states, inputs and outputs. The basic theoretical definitions on the state trajectories of the proposed DHA with forward and backward evolutions which yield forward and backward piecewise affine (FPWA and BPWA) systems are given. Next, the well-posedness and equivalency properties are proposed and the sufficient conditions under which the well-posedness property is achieved with the automaton-based DHA and PWA systems are given. It is shown that the graphical structure of the proposed automaton-based DHA makes it possible to obtain analytically the equivalent PWA system with a polynomial complexity in contrast to the existing numerical translation techniques via decomposed structure of the DHA with an exponential complexity. Examples are presented to confirm the effectiveness of the proposed translation techniques.

[1]  Olaf Stursberg,et al.  Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics , 2002 .

[2]  Jun-ichi Imura,et al.  Characterization of well-posedness of piecewise-linear systems , 2000, IEEE Trans. Autom. Control..

[3]  Janan Zaytoon.  Hybrid Dynamic Systems: Overview and Discussion on Verification Methods , 2005, ICINCO.

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  Borut Zupančič,et al.  A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems , 2004 .

[6]  Alberto Bemporad,et al.  Efficient conversion of mixed logical dynamical systems into an equivalent piecewise affine form , 2004, IEEE Transactions on Automatic Control.

[7]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[8]  Olaf Stursberg,et al.  Control of Switched Hybrid Systems Based on Disjunctive Formulations , 2002 .

[9]  Stefan Kowalewski,et al.  Introduction to the Analysis and Verification of Hybrid Systems , 2002 .

[10]  Thomas Stauner,et al.  Discrete-Time Refinement of Hybrid Automata , 2002, HSCC.

[11]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[12]  Eduardo F. Camacho,et al.  Model Predictive Control techniques for Hybrid Systems , 2009, ADHS.

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

[14]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[15]  Mikael Johansson,et al.  Piecewise linear control systems - a computational approach , 2002, Lecture notes in control and information sciences.

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

[17]  Manfred Morari,et al.  A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems , 2001, HSCC.

[18]  Bart De Schutter,et al.  Design of Stabilizing Switching Laws for Mixed Switched Affine Systems , 2016, IEEE Transactions on Automatic Control.

[19]  Sergej Čelikovský,et al.  Toward a Smart Car: Hybrid Nonlinear Predictive Controller With Adaptive Horizon , 2018, IEEE Transactions on Control Systems Technology.

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

[21]  Vasfi Eldem,et al.  Well posedness conditions for Bimodal Piecewise Affine Systems , 2015, Syst. Control. Lett..

[22]  Alessandro Giua,et al.  Hybrid modeling and control of switching DC-DC converters via MLD systems , 2011, 2011 IEEE International Conference on Automation Science and Engineering.

[23]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[24]  Manfred Morari,et al.  Efficient mode enumeration of compositional hybrid systems , 2003, Int. J. Control.

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

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

[27]  A. Bicchi,et al.  On the stabilization of linear discrete-time hybrid automata , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[28]  Alberto Bemporad,et al.  Stabilizing Model Predictive Control of Hybrid Systems , 2006, IEEE Transactions on Automatic Control.

[29]  J. Imura.  Optimal Control of Sampled-Data Piecewise Affine Systems , 2002 .

[30]  Igor Skrjanc,et al.  Predictive Approaches to Control of Complex Systems , 2012, Studies in Computational Intelligence.

[31]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[32]  Manfred Morari,et al.  Lagrange stability and performance analysis of discrete-time piecewise affine systems with logic states , 2003 .

[33]  B. Schutter,et al.  Model predictive control for max-plus-linear systems , 2000, ACC.

[34]  Gautam Biswas,et al.  Aircraft Power Generators: Hybrid Modeling and Simulation for Fault Detection , 2012, IEEE Transactions on Aerospace and Electronic Systems.

[35]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[36]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[37]  M. P. Spathopoulos *,et al.  Time-optimal control for discrete-time hybrid automata , 2005 .

[38]  B. De Moor,et al.  The extended linear complementarity problem , 1995, Math. Program..

[39]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[40]  Alberto Bemporad,et al.  An efficient technique for translating mixed logical dynamical systems into piecewise affine systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[41]  M. Hejri,et al.  Hybrid modeling and control of a DC-DC boost converter via Extended Mixed Logical Dynamical systems (EMLDs) , 2014, The 5th Annual International Power Electronics, Drive Systems and Technologies Conference (PEDSTC 2014).

[42]  C. Seatzu,et al.  Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[43]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

[44]  Alberto Bemporad,et al.  Predictive Control for Linear and Hybrid Systems , 2017 .

[45]  Alessandro Giua,et al.  On the complexity and dynamical properties of mixed logical dynamical systems via an automaton‐based realization of discrete‐time hybrid automaton , 2018, International Journal of Robust and Nonlinear Control.

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

[47]  Ezio Bartocci,et al.  Hybrid Systems and Biology , 2014, Inf. Comput..

[48]  F. Christophersen.  Optimal Control of Constrained Piecewise Affine Systems , 2007 .

[49]  Luis Rodrigues,et al.  Piecewise Affine Networked Control Systems , 2016, IEEE Transactions on Control of Network Systems.

[50]  Jun. Xu,et al.  Control and estimation of piecewise affine systems , 2006 .

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

[52]  C.D. Vournas,et al.  Hybrid systems modeling for power systems , 2004, IEEE Circuits and Systems Magazine.

[53]  Manfred Morari,et al.  Analysis of Discrete-Time PWA Systems with Logic States , 2002, HSCC.

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

[55]  Bart De Schutter,et al.  Integrated Model Predictive Traffic and Emission Control Using a Piecewise-Affine Approach , 2013, IEEE Transactions on Intelligent Transportation Systems.

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

[57]  X. Xia.  Well posedness of piecewise-linear systems with multiple modes and multiple criteria , 2002, IEEE Trans. Autom. Control..

[58]  Calin Belta,et al.  Formal Methods for Discrete-Time Dynamical Systems , 2017 .

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

[60]  João P. Hespanha,et al.  Modeling communication networks with hybrid systems , 2007, TNET.

[61]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[62]  Wei Zhang,et al.  Hybrid Systems in Robotics , 2011, IEEE Robotics & Automation Magazine.

[63]  Christodoulos A. Floudas,et al.  Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review , 2004, Comput. Chem. Eng..

[64]  Alberto Bemporad,et al.  Equivalent Piecewise Affine Models of Linear Hybrid Automata , 2010, IEEE Transactions on Automatic Control.

[65]  John Lygeros,et al.  A Hybrid Optimal Control Approach to Fuel-Efficient Aircraft Conflict Avoidance , 2016, IEEE Transactions on Intelligent Transportation Systems.

[66]  Alberto Bemporad,et al.  Convexity recognition of the union of polyhedra , 2001, Comput. Geom..

[67]  M. Morari,et al.  An LMI approach for H ∞ analysis and control of discrete-time piecewise affine systems , 2002 .

[68]  Philippe Manon,et al.  Optimal control of hybrid dynamical systems: application in process engineering , 2002 .

[69]  Peyman Sindareh Esfahani,et al.  H∞ model predictive control for constrained discrete‐time piecewise affine systems , 2018 .

[70]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[71]  Ricardo G. Sanfelice,et al.  Robust Global Stabilization of the DC-DC Boost Converter via Hybrid Control , 2015, IEEE Transactions on Circuits and Systems I: Regular Papers.