Event‐driven model predictive control of timed hybrid Petri nets

SUMMARY Hybrid Petri nets represent a powerful modeling formalism that offers the possibility of integrating, in a natural way, continuous and discrete dynamics in a single net model. Usual control approaches for hybrid nets can be divided into discrete-time and continuous-time approaches. Continuous-time approaches are usually more precise, but can be computationally prohibitive. Discrete-time approaches are less complex, but can entail mode-mismatch errors due to fixed time discretization. This work proposes an optimization-based event-driven control approach that applies on continuous time models and where the control actions change when discrete events occur. Such an approach is computationally feasible for systems of interest in practice and avoids mode-mismatch errors. In order to handle modelling errors and exogenous disturbances, the proposed approach is implemented in a closed-loop strategy based on event-driven model predictive control. Copyright © 2013 John Wiley & Sons, Ltd.

[1]  L. Recalde,et al.  Optimal control of timed continuous petri nets via explicit MPC , 2006 .

[2]  Manuel Silva Suárez,et al.  Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics , 2008, Discret. Event Dyn. Syst..

[3]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[4]  Karl G. Kempf,et al.  A Model Predictive Control framework for robust management of multi-product, multi-echelon demand networks , 2003, Annu. Rev. Control..

[5]  P. Grieder,et al.  Low complexity control of piecewise affine systems with stability guarantee , 2004, Proceedings of the 2004 American Control Conference.

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

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

[8]  René David,et al.  A Modelling and Analysis Tool for Discrete Events Systems: Continuous Petri Net , 1998, Perform. Evaluation.

[9]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[10]  Francesco Borrelli,et al.  Predictive Active Steering Control for Autonomous Vehicle Systems , 2007, IEEE Transactions on Control Systems Technology.

[11]  A. Bemporad,et al.  Event-Driven Optimal Control of Integral Continuous-Time Hybrid Automata , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[12]  S. Joe Qin,et al.  A survey of industrial model predictive control technology , 2003 .

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

[14]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[15]  Jeff T. Linderoth,et al.  MILP Software , 2010 .

[16]  Jan Tommy Gravdahl,et al.  Spacecraft attitude control using explicit model predictive control , 2005, Autom..

[17]  Alberto Bemporad,et al.  Model-Predictive Control of Discrete Hybrid Stochastic Automata , 2011, IEEE Transactions on Automatic Control.

[18]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

[19]  Alberto Bemporad,et al.  An MPC design flow for automotive control and applications to idle speed regulation , 2008, 2008 47th IEEE Conference on Decision and Control.

[20]  Marko Bacic,et al.  Model predictive control , 2003 .

[21]  Alberto Bemporad,et al.  Model predictive control based on linear programming - the explicit solution , 2002, IEEE Transactions on Automatic Control.

[22]  Cristian Mahulea,et al.  Optimal Model Predictive Control of Timed Continuous Petri Nets , 2008, IEEE Transactions on Automatic Control.

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

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

[25]  Oleg Yu. Gusikhin,et al.  Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets , 2010, Petri Nets.

[26]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

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

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

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

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

[31]  Alberto Bemporad,et al.  Event-driven optimization-based control of hybrid systems with integral continuous-time dynamics , 2009, Autom..