ON/OFF strategy based minimum-time control of continuous Petri nets

Abstract This paper focuses on the target marking control problem of timed continuous Petri nets (TCPN), aiming to drive the system from an initial state to a desired final one. This problem is similar to the set-point control problem in a general continuous-state system. In a previous work, a simple and efficient ON/OFF controller was proposed for Choice-Free nets, and it was proved to be minimum-time (Wang, 2010). However, for general TCPN the ON/OFF controller may bring the system to “blocking” situations due to its “greedy” firing strategy, and the convergence to the final state is not ensured. In this work the ON/OFF controller is extended to general TCPN by adding more “fair” strategies to solve conflicts in the system: the ON/OFF+ controller is obtained by forcing proportional firings of conflicting transitions. Nevertheless, such kind of controller might highly slow down the system when transitions have flows of different orders of magnitude, therefore a balancing process is introduced, leading to the B-ON/OFF controller. A third approach introduced here is the MPC-ON/OFF controller, a combination of Model Predictive Control (MPC) and the ON/OFF strategy; it may achieve a smaller number of time steps for reaching the final states, but usually requires more CPU time for computing the control laws. All the proposed extensions are heuristic methods for the minimum-time control and their convergences are proved. Finally, an application example of a manufacturing cell is considered to illustrate the methods. It is shown that by using the proposed controllers, reasonable numbers of time steps for reaching the final state can be obtained with low computational complexity.

[1]  Manuel Silva Suárez,et al.  Autonomous Continuous P/T Systems , 1999, ICATPN.

[2]  J. Bobrow,et al.  Time-Optimal Control of Robotic Manipulators Along Specified Paths , 1985 .

[3]  Antonio Ramírez-Treviño,et al.  Control of Metabolic Systems Modeled with Timed Continuous Petri Nets , 2010, ACSD/Petri Nets Workshops.

[4]  James B. Rawlings,et al.  Constrained linear quadratic regulation , 1998, IEEE Trans. Autom. Control..

[5]  Jean Jacques Loiseau,et al.  Constrained regulation of continuous Petri nets , 2009 .

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

[7]  MengChu Zhou,et al.  Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.

[8]  Cristian Mahulea,et al.  Minimum-time control for structurally persistent continuous Petri Nets , 2010, 49th IEEE Conference on Decision and Control (CDC).

[9]  Manuel Silva Suárez,et al.  On Reachability in Autonomous Continuous Petri Net Systems , 2003, ICATPN.

[10]  Cristian Mahulea,et al.  Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets , 2009, Discret. Event Dyn. Syst..

[11]  D.B. M'Donald Structurally Time Optimal Control for Linear Systems with Bounded Control and Bias Disturbance , 2007, 2007 American Control Conference.

[12]  George F. List,et al.  Modeling traffic signal control using Petri nets , 2004, IEEE Transactions on Intelligent Transportation Systems.

[13]  Arthur E. Bryson,et al.  Applied Optimal Control , 1969 .

[14]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[15]  Manuel Silva Suárez,et al.  On fluidification of Petri Nets: from discrete to hybrid and continuous models , 2003, Annu. Rev. Control..

[16]  José Merseguer,et al.  Software Performance Modeling Using UML and Petri Nets , 2003, MASCOTS Tutorials.

[17]  Jing Xu,et al.  Tracking Control of Timed Continuous Petri Net Systems under Infinite Servers Semantics , 2008 .

[18]  Kang G. Shin,et al.  Minimum-time control of robotic manipulators with geometric path constraints , 1985 .

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

[20]  Manuel Silva Suárez,et al.  Performance control of Markovian Petri nets via fluid models: A stock-level control example , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

[21]  Jan H. van Schuppen,et al.  A modular-coordinated control for continuous Petri nets* , 2011 .

[22]  Cristian Mahulea,et al.  Approaching minimum time control of timed continuous Petri nets , 2011 .

[23]  Fabrice Druaux,et al.  Some contributions with Petri nets for the modelling, analysis and control of HDS , 2007 .

[24]  Cristian Mahulea,et al.  Control of continuous Petri nets using ON/OFF based method , 2012, WODES.

[25]  Antonio Ramírez-Treviño,et al.  Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.

[26]  Manuel Silva,et al.  On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.

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

[28]  M. Silva,et al.  Piecewise-linear constrained control for timed continuous Petri nets , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[29]  L. M. Sonneborn,et al.  The Bang-Bang Principle for Linear Control Systems , 1964 .

[30]  E. Gilbert,et al.  Computation of minimum-time feedback control laws for discrete-time systems with state-control constraints , 1987 .

[31]  D. Lefebvre,et al.  Fuzzy control of variable speed continuous Petri nets , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[32]  Cristian Mahulea,et al.  On fluidization of discrete event models: observation and control of continuous Petri nets , 2011, Discret. Event Dyn. Syst..