Hierarchical supervisory control for batch processes

A Petri net-based approach for the modeling of batch plants as well as products is presented. With the focus on synchronization and booking issues, we propose general Petri net building blocks for the construction of recipes. These building blocks prove to be very usable for supervisor synthesis and implementation. We also introduce a hierarchical supervisor structure that implements deadlock avoidance policies when executing a number of concurrent recipes. It is shown that the presented hierarchical supervisor is by far less complex than a non-hierarchical one.

[1]  Robert Valette,et al.  Batch process modelling using Petri nets , 1994, Proceedings of IEEE International Conference on Systems, Man and Cybernetics.

[2]  Torbjörn Liljenvall.  Job-Shop Scheduling with Limited Buffers , 1997 .

[3]  W. M. Wonham,et al.  On the consistency of hierarchical supervision in discrete-event systems , 1990 .

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

[5]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[6]  Jeffrey C. Kantor,et al.  Modeling discrete-event dynamical systems for chemical process control—a survey of several new techniques , 1990 .

[7]  Bengt Lennartson,et al.  A Class of Non-Deterministic Specifications for Supervisory Control , 1997, Eur. J. Control.

[8]  Panos J. Antsaklis,et al.  Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[9]  Ram Rachamadugu,et al.  Classification and review of FMS scheduling procedures , 1994 .

[10]  Bengt Lennartson,et al.  Controlling and coordinating recipes in batch applications , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[11]  Alessandro Giua,et al.  Hybrid Petri Nets: a , 1996 .

[12]  Panos J. Antsaklis,et al.  Supervisory control of Petri nets with uncontrollable/unobservable transitions , 1996, Proceedings of 35th IEEE Conference on Decision and Control.

[13]  Bo Egardt,et al.  Control-law synthesis for linear hybrid systems , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[14]  Spyros A. Reveliotis,et al.  Deadlock avoidance policies for automated manufacturing cells , 1996, IEEE Trans. Robotics Autom..

[15]  Bruce H. Krogh,et al.  Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..

[16]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[17]  Knut Åkesson,et al.  Petri Net Models in Batch Control , 1999 .

[18]  Bruce H. Krogh,et al.  Synthesis of feedback control logic for discrete manufacturing systems , 1991, Autom..

[19]  Michael Tittus.  Control Synthesis for Batch Processes , 1995 .

[20]  Knut Åkesson,et al.  Discrete Event Models in Batch Control , 1997 .

[21]  Bengt Lennartson,et al.  Hierarchical supervisory control for batch processes , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[22]  H.-M. Hanisch.  Coordination Control Modelling in Batch Production Systems by Means of Petri Nets , 1992 .

[23]  Charlotta Johnsson.  Recipe-Based Batch Control Using High-Level Grafchart , 1997 .

[24]  Bo Egardt,et al.  Control design for integrator hybrid systems , 1998, IEEE Trans. Autom. Control..

[25]  Isabel Demongodin,et al.  Batches Petri nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[26]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[27]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[28]  Jeffrey C. Kantor,et al.  Modeling and optimal control of discrete-event chemical processes using petri nets , 1991 .