Systematic synthesis of untimed operating procedures has always been considered as an important design issue for batch chemical processes. An automaton-based method is developed in the present study to perform this task automatically. On the basis of the proposed methodical model-building principles, two distinct types of automata can be constructed to characterize the plant behaviors and control specifications, respectively. An admissible supervisor can be produced by applying the parallel composition operation with these models. For the purpose of identifying the most efficient operation procedures, the supervisor can then be integrated with a set of auxiliary automata to set the operation target(s) and, also, to impose upper limits on the total numbers of actuator actions and operation steps. Three examples are presented to demonstrate the feasibility and correctness of the proposed approach.
Wonham WM, Proceedings of the IEEE international conference on industrial technology, Goa, India, 474, 2000
Dietrich P, Malik R, Wonham WM, Brandin BA, Implementation considerations in supervisory control. Synthesis and Control of Discrete Event Systems, B. Caillaud, P. Darondeau, Lavagno L, Xie X, Kluwer, Eds., 185, 2002
Malik P, Malik R, Proceedings of the 8th international workshop on discrete event systems, Ann Arbor, Michigan, USA, 2006