Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics

In this paper we introduce a class of continuous-time hybrid dynamical systems called integral continuous-time hybrid automata (icHA) for which we propose an event-driven optimization-based control strategy. Events include both external actions applied to the system and changes of continuous dynamics (mode switches). The icHA formalism subsumes a number of hybrid dynamical systems with practical interest, e.g., linear hybrid automata. Different cost functions, including minimum-time and minimum-effort criteria, and constraints are examined in the event-driven optimal control formulation. This is translated into a finite-dimensional mixed-integer optimization problem, in which the event instants and the corresponding values of the control input are the optimization variables. As a consequence, the proposed approach has the advantage of automatically adjusting the attention of the controller to the frequency of event occurrence in the hybrid process. A receding horizon control scheme exploiting the event-based optimal control formulation is proposed as a feedback control strategy and proved to ensure either finite-time or asymptotic convergence of the closed-loop.

[1]  Christos G. Cassandras,et al.  Receding Horizon Control for a Class of Discrete-Event Systems With Real-Time Constraints , 2005, IEEE Transactions on Automatic Control.

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

[3]  Francesco Borrelli,et al.  Event-based receding horizon control for two-stage multi-product production plants , 2007 .

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

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

[6]  Panos J. Antsaklis,et al.  Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

[7]  A. Bemporad,et al.  Event-driven optimal control of continuous Petri nets , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[8]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[9]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

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

[11]  Christos G. Cassandras,et al.  Receding horizon control for a class of hybrid systems with event uncertainties , 2003, Proceedings of the 2003 American Control Conference, 2003..

[12]  Alberto Bemporad,et al.  An Equivalence Result between Linear Hybrid Automata and Piecewise Affine Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[13]  Alberto Bemporad,et al.  Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata , 2006, HSCC.

[14]  Panos J. Antsaklis,et al.  A linear programming approach to time optimal control of integrator switched systems with state constraints , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[15]  Bonaventure Intercontinental,et al.  ON DECISION AND CONTROL , 1985 .

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

[17]  Henk Nijmeijer,et al.  Convex equations and differential inclusions in hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[19]  Richard C. Larson,et al.  Model Building in Mathematical Programming , 1979 .

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

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

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

[23]  M. Alamir,et al.  On the stability of receding horizon control of nonlinear discrete-time systems , 1994 .

[24]  Alberto Bemporad,et al.  Discrete-Time Non-smooth Nonlinear MPC: Stability and Robustness , 2007 .

[25]  Bart De Schutter,et al.  Model predictive control for max-plus-linear discrete event systems , 2001, Autom..

[26]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[27]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[28]  Manuel Silva Suárez,et al.  Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.

[29]  Panos J. Antsaklis,et al.  Results and Perspectives on Computational Methods for Optimal Control of Switched Systems , 2003, HSCC.