Event-Driven Optimal Control of Integral Continuous-Time Hybrid Automata

This paper proposes an event-driven optimal control strategy for hybrid systems composed of continuous-time integral dynamics with inputs and of Anite state machines triggered by endgenous and exogenous events. Endogenous events are caused by continuous states or continuous inputs crossing certain linear thresholds or by the elapse of time intervals, while exogenous events are forced by changes of binary and continuous inputs. The advantages of the proposed strategy are the reduction of the amount of computation required to solve optimal control problems, and the reduction of approximation errors typical of discrete-time approaches. We examine several performance objectives and constraints that lead to mixed-integerlinear or quadratic optimization problems and we exemplify the approach on a simple example.

[1]  P. Antsaklis Special issue on hybrid systems: theory and applications a brief introduction to the theory and applications of hybrid systems , 2000, Proc. IEEE.

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

[3]  Peter E. Caines,et al.  On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules , 2003, HSCC.

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

[5]  Alberto Bemporad,et al.  Optimal control of continuous-time switched affine systems , 2006, IEEE Transactions on Automatic Control.

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

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

[8]  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1998, IEEE Trans. Autom. Control..

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

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

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

[12]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[13]  Christos G. Cassandras,et al.  Optimal control of a class of hybrid systems , 2001, IEEE Trans. Autom. Control..

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

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

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

[17]  Karl Henrik Johansson,et al.  Dynamical Systems Revisited: Hybrid Systems with Zeno Executions , 2000, HSCC.

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