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.

Automaton Batch Process Discrete-event System Supervisory Controller Synthesis

Rivas JR, Rudd DF, AIChE J., 20, 320 (1974)
Moon I, Powers GJ, Burch JR, Clarke EM, AIChE J., 38, 67 (1992)
Sanchez A, Macchietto S, Comput. Chem. Eng., 19, S381 (1995)
Naka Y, Lu ML, Takiyama H, Comput. Chem. Eng., 21(9), 997 (1997)
Panjapornpon C, Soroush M, Seider WD, Ind. Eng. Chem. Res., 45(8), 2758 (2006)
Kim J, Moon I, J. Loss Prevent. Proc., 22, 975 (2009)
Hamid MKA, Sin G, Gani R, Comput. Chem. Eng., 34(5), 683 (2010)
Yang H, Li N, Li SY, Asian J. Control., 13, 345 (2011)
Fravolini ML, Campa G, IEEE T. Neural Networ., 22, 627 (2011)
Crooks CA, Macchietto SA, Chem. Eng. Commun., 114, 117 (1992)
Galan S, Barton PI, the Annual Meeting of the American Institute of Chemical Engineers (1997)
Li HS, Lu ML, Naka Y, Comput. Chem. Eng., 21, s899 (1997)
Kim J, Kim J, Moon I, J. Loss Prevent. Proc., 22, 367 (2009)
Fusillo RH, Powers GJ, Comput. Chem. Eng., 11, 369 (1987)
Lakshmanan R, Stephanopoulos G, Comput. Chem. Eng., 12, 985 (1988)
Viswanathan S, Johnsson C, Srinivasan R, Venkatasubramanian V, Arzen KE, Comput. Chem. Eng., 22(11), 1673 (1998)
Ivanov VA, Kafarov VV, Perov VL, Reznichenko AA, Eng. Cybern., 18, 104 (1980)
Kinoshita A, Umeda T, O’Shima E, Proceedings of the International Symposium on Process Systems Engineering, 114 (1982)
Hoshi K, Nagasawa K, Yamashita Y, Suzuki M, J. Chem. Eng. Jpn., 35(4), 377 (2002)
Yamalidou EC, Kantor JC, Comput. Chem. Eng., 15, 503 (1991)
Hashizume S, Yajima T, Ito T, Onogi K, J. Chin. Inst. Chem.Eng., 35, 363 (2004)
Chou HH, Chang CT, Ind. Eng. Chem. Res., 44(1), 114 (2005)
Wang YF, Chou HH, Chang CT, Comput. Chem. Eng., 29(8), 1822 (2005)
Lai JW, Chang CT, Hwang SH, Ind. Eng. Chem. Res., 46(9), 2797 (2007)
Ramadge PJ, Wonham WM, SIAM J. Control Optim., 25, 206 (1987)
Ramadge PJ, Wonham WM, P. IEEE., 77, 81 (1989)
Brandin BA, Wonham WM, IEEE Trans. Autom. Control, 39(2), 329 (1994)
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)
Leduc RJ, Dai PC, Song RG, IEEE Trans. Autom. Control, 54(7), 1548 (2009)
Su R, van Schuppen JH, Rooda JE, IEEE Trans. Autom. Control, 55(11), 2527 (2010)
Cassandras CG, Lafortune S, Introduction to discrete event systems, Kluwer Academic, Boston (1999)
Shaeiwitz JA, Lapp SA, Powers GJ, Industrial Engineering and Chemical Process Description Development., 16, 529 (1977)
Wang YF, Wu JY, Chang CT, Reliability Engineering and System Safety., 76, 91 (2002)
Chen YC, Yeh ML, Hong CL, Chang CT, Ind. Eng. Chem. Res., 49(9), 4249 (2010)
Yeh ML, Chang CT, Chem. Eng. Res. Des., 89, 2652 (2011)
Fleming DW, Pillai VA, Pillai JA, S88 Implementation Guide, McGraw-Hill Inc., New York (1998)