Simulation Study of Concurrent Structural Decentralised Discrete-Event Systems: Case Study with an Industrial Sized Chemical Batch Plant
Jae-Sam Park , Sang-Heon Lee , Moon-Kyu Lee , Ill-Soo Kim
A structural decentralised control of discrete-event system (DES) is employed for a simulation study of a sequence control of cleaning-in-process of chemical batch plant. Due to the number of states of the whole plant model is too big, the whole plant has subdivided into smaller sizes and in the local level, the DES models for the local plant and local specifications are established. The conditions developed for the structural decentralised DES are verified to ensure the concurrent operations of decentralised control will guarantee the global optimality for the whole plant. Since the conditions are structure-dependent (not specificationdependent like other approaches of decentralised DES), the verification needs to be done only once, and then the all future operations in the same plant will guarantee the global optimality. The simulation study demonstrate the practicability of the approach with computational savings.
Discrete-Event System, Structural Decentralised Control, Chemical Batch Process, Sequence Control.
 Ramadge, P. J. & Wonham, W. M. 1987. Supervisory control of a class of discrete-event processes. SIAM J. Control and Optimization, 25, 1, 206–230.
 Wonham, W. M. 2011. Notes on control of discrete-event systems. Department of Electrical Engineering, University of Toronto, Toronto, Canada, 11, 1636-1637.
 Mendez, C.A., Cerda, J., Grossmann, I. E., Harjunkoski, I., and Fahl, M. 2006. State-of-the-art review of optimization methods for short-term scheduling of batch processes. Computers and chemical engineering, 30, 913-946.
 Floudas, C.A., Lin, X. 2004. Continuous-time versus discrete -time approaches for scheduling of chemical processes. a review, Computers & Chemical Engineering, 28, 2109-2129.
 Karimi, I.A., McDonald, C.M. 199. Planning and Scheduling of Parallel Semi-Continuous Processes - Part II : Short-Term Scheduling. Industrial and Engineering Chemistry Research, 36, 2701-2714.
 Pinto, J.M., Grossmann, I.E. 1995. A Continuous Time Mixed Integer Linear Programming Model for Short Term Scheduling of Multistage Batch Plants. Industrial and Engineering Chemistry Research, 34, 3037-3051.
 Sahinidis, N.V., Grossmann, I.E. 1991. MILNP model for cycle multiproduct scheduling on continuous parallel lines. Computers and Chemical Engineering, 15, 85-103.
 M´endez, C.A., Henning G.P., and Cerd´a J. 2001. An MILP Continuous-Time Approach to Short-Term Scheduling of Resource-Constrained Multistage Flowshop Batch Facilities. Computers and Chemical Engineering, 25, 701–711.
 Floudas, C.A. and Lin, X. 2005. Mixed Integer Linear Programming in Process Scheduling: Modelling, Algorithms,and Applications. Annals of operation research, 139, 131- 162.
 Kondili, E., Pantelides, C.C. and Sargent, R.W.H. 1993. A general algorithm for short-term scheduling of batch operations - 1. Mixed integer linear programming formulation. Computers and Chemical Engineering, 17, 211–227.
 Wang, K., Lohl, T., Stobbe, M., and Engell, S. 2000. A genetic algorithm for online-scheduling of multi-product polymer batch plant. Computers and Chemical Engineering, 24, 393-400.
 Ghaeli, M., Bahri, P.A., Lee, P. and Gu, T. 2005. Petri –net based formulation and algorithm for short-term scheduling of batch plants. Computers and Chemical Engineering, 29, 249- 259.
 Yamalidou, E.C., Kantor, J.C. 1991. Modeling and optimal control of discrete-event chemical processes using Petri nets, Computers and Chemical Engineering, 15, 503-519.
 Panek, S., Engell, S., Subbiah, S. and Strusberg, O. 2008. Scheduling of multi-product batch plants based upon times automata models. Computers and Chemical Engineering, 32, 275-291.
 Akesson, K. and Fabian, M. 1999. Implementation of supervisory control for chemical batch processes. Proceedings of 1999 IEEE International conference on control applications, 1272-1277.
 Gohari, P. and Wonham, W. M. 2000. On the complexity of supervisory control design in the RW framework. IEEE transactions on systems, Man, and Cybernetics, Special Issue on DES, 30, 5, 643-652.
 Ramadge, P. J. and Wonham, W. M. 1988. Modular supervisory control of discrete event systems. Mathematics of Control, Signal and Systems, 1, 1,13–30.
 Lin, F. and Wonham, W.M. 1988. Decentralised supervisory control of discrete-event systems. Information and Science, 44, 199-224.
 Wong K.C. and Wonham W.M. 1996. Hierarchical control of discrete-event systems. Discrete-event dynamic systems, 6, 241-273.
 Lee, S., H. and Wong, K. C. 2002. Structural decentralised control of concurrent discrete-event systems. European Journal of Control, 8, 5, 477-491.
 Alsop, N. J. 1996. Formal technique for the procedural control of industrial processes. hD thesis, The Imperial college, London, U.K.
 Wonham, W. M. 2011. Design software for SCT for Window XP. Department of Electrical Engineering, University of Toronto, Canada.
 Ramadge, P. J. and Wonham, W. M. 1987. On the supremal controllable sublanguage of a given language. SIAM J. Control and Optimization, 25, 3, 637–659.
 Cassandras, C. G., Lafortune, S. and Olsder, S. 1995. Introduction to the modelling, control and optimisation of discrete-event systems. In A. Isidori, editor, Trends in Control-European perspective, Springer-Verlag, Berlin, 217– 291.
 Willner, Y. and Heymann, M. 1991. Supervisory control of concurrent discrete-event systems. International Journal of Control, 54, 5, 1143–1169.
 Kozak, P. and Wonham, W. M. 1995. Fully decentralised solutions of supervisory control problems. IEEE Transactions on Automatic Control, 40, 12, 2094–2097.
 Yoo, T. S. and Lafortune, S. 2002. A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamic Systems: Theory and Applications, 12, 335-377
[Jae-Sam Park , Sang-Heon Lee , Moon-Kyu Lee , Ill-Soo Kim (2015) Simulation Study of Concurrent Structural Decentralised Discrete-Event Systems: Case Study with an Industrial Sized Chemical Batch Plant IJIREM Vol-2 Issue-5 Page No-102 - 110] (ISSN 2350 - 0557). www.ijirem.org
Department of Electronics Engineering, Incheon National University, 119 Academy Road, Songdodong, Yeonsugu, Incheon, Korea,