Hierarchical supervisory control for batch processes

A batch process involves a sequence of operations that are carried out on a discrete quantity of material within a piece of operating equipment. A recipe specifies the sequence of operations to be executed and all possible ways the plant can by utilized in order to produce the desired product. In this paper we divide the plant into two sub-systems: processors (units) and transporting system. A hierarchical supervisor is then constructed that solves the deadlock problem for each of these subsystems separately. Deadlock that can arise as a consequence of the combination of these two subsystems is taken care of by the way recipes are modeled. We start by briefly reviewing the plant and recipe models used. Next, we show the construction of a sub-supervisor for the transporting system and a plant supervisor.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[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]  Bo Egardt,et al.  Control design for integrator hybrid systems , 1998, IEEE Trans. Autom. Control..

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

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

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

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