Abstract
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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
J. R. Rivas and D. F. Rudd, AIChE J., 20, 320 (1974).
I. Moon, G. J. Powers, J. R. Burch and E.M. Clarke, AIChE J., 38, 67 (1992).
A. Sanchez and S. Macchietto, Comput. Chem. Eng., 19, S381 (1995).
Y. Naka, M. L. Lu and H. Takiyama, Comput. Chem. Eng., 21, 997 (1997).
C. Panjapornpon, M. Soroush and W. D. Seider, Ind. Eng. Chem. Res., 45, 2758 (2006).
J. Kim and I. Moon, J. Loss Prevent. Proc., 22, 975 (2009).
M.K.A. Hamid, G. Sin and R. Gani, Comput. Chem. Eng., 34, 683 (2010).
H. Yang, N. Li and S. Y. Li, Asian J. Control, 13, 345 (2011).
M. L. Fravolini and G. Campa, IEEE T. Neural Networ., 22, 627 (2011).
C. A. Crooks and S.A. Macchietto, Chem. Eng. Commun., 114, 117 (1992).
S. Galán and P. I. Barton, the Annual Meeting of the American Institute of Chemical Engineers (1997).
H. S. Li, M. L. Lu and Y. Naka, Comput. Chem. Eng., 21, s899 (1997).
J. Kim, J. Kim and I. Moon, J. Loss Prevent. Proc., 22, 367 (2009).
R. H. Fusillo and G. J. Powers, Comput. Chem. Eng., 11, 369 (1987).
R. Lakshmanan and G. Stephanopoulos, Comput. Chem. Eng., 12, 985 (1988).
S. Viswanathan, C. Johnsson, R. Srinivasan, V. Venkatasubramanian and K. E. Arzen, Comput. Chem. Eng., 22, 1673 (1998).
V. A. Ivanov, V.V. Kafarov, V. L. Perov and A. A. Reznichenko, Eng. Cybern., 18, 104 (1980).
A. Kinoshita, T. Umeda and E. O’Shima, Proceedings of the International Symposium on Process Systems Engineering, 114 (1982).
K. Hoshi, K. Nagasawa, Y. Yamashita and M. Suzuki, J. Chem. Eng. Jpn., 35, 377 (2002).
E.C. Yamalidou and J. C. Kantor, Comput. Chem. Eng., 15, 503 (1991).
S. Hashizume, T. Yajima, T. Ito and K. Onogi. J. Chin. Inst. Chem. Eng., 35, 363 (2004).
H. H. Chou and C. T. Chang, Ind. Eng. Chem. Res., 44, 114 (2005).
Y. F. Wang, H. H. Chou and C. T. Chang, Comput. Chem. Eng., 29, 1822 (2005).
J.W. Lai, C. T. Chang and S. H. Hwang, Ind. Eng. Chem. Res., 46, 2797 (2007).
P. J. Ramadge and W.M. Wonham, SIAM J. Control Optim., 25, 206 (1987).
P. J. Ramadge and W.M. Wonham, P. IEEE, 77, 81 (1989).
B. A. Brandin and W.M. Wonham, IEEE T. Automat. Contr., 39, 329 (1994).
W. M. Wonham, Proceedings of the IEEE international conference on industrial technology, Goa, India, 474 (2000).
P. Dietrich, R. Malik, W.M. Wonham and B. A. Brandin, Implementation considerations in supervisory control. Synthesis and Control of Discrete Event Systems, B. Caillaud, P. Darondeau, L. Lavagno, X. Xie, Kluwer, Eds., 185 (2002).
P. Malik and R. Malik, Proceedings of the 8 th international workshop on discrete event systems, Ann Arbor, Michigan, USA (2006).
R. J. Leduc, P.C. Dai and R.G. Song, IEEE T. Automat. Contr., 54, 1548 (2009).
R. Su, J.H. van Schuppen and J. E. Rooda, IEEE T. Automat. Contr., 55, 2527 (2010).
C.G. Cassandras and S. Lafortune, Introduction to discrete event systems, Kluwer Academic, Boston (1999).
J. A. Shaeiwitz, S. A. Lapp and G. J. Powers, Industrial Engineering and Chemical Process Description Development, 16, 529 (1977).
Y. F. Wang, J.Y. Wu and C. T. Chang, Reliability Engineering and System Safety, 76, 91 (2002).
Y. C. Chen, M.L. Yeh, C.L. Hong and C.T. Chang, Ind. Eng. Chem. Res., 49, 4249 (2010).
M. L. Yeh and C. T. Chang, Chem. Eng. Res. Des., 89, 2652 (2011).
D.W. Fleming, V. A. Pillai and J. A. Pillai, S88 Implementation Guide, McGraw-Hill Inc., New York (1998).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Yeh, ML., Chang, CT. An automata-based approach to synthesize untimed operating procedures in batch chemical processes. Korean J. Chem. Eng. 29, 583–594 (2012). https://doi.org/10.1007/s11814-011-0227-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11814-011-0227-x