Hybrid modeling and dynamic simulation of automated batch plants

ISA Transactions

Volumn 42, Issue 3, 2003, Pages 401-420

  Sanchez, A ^a   Parra, L F ^a   Baird, R ^b   Macchietto, S ^b  

^a UNIDAD GUADALAJARA   (Mexico)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Automated batch processing; Discrete event systems; Hybrid modeling and simulation; Process operations

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DAIRIES; DAIRY PRODUCTS; DISCRETE TIME CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; PROCESS CONTROL; SIMULATORS;

AUTOMATED BATCH PLANTS; AUTOMATED MILK PASTEURIZATION PLANT; DISCRETE-EVENT SYSTEMS;

COMPUTER SIMULATION;

ALGORITHM; ANIMAL; ARTICLE; BIOTECHNOLOGY; COMPUTER AIDED DESIGN; COMPUTER SIMULATION; FEEDBACK SYSTEM; FOOD HANDLING; FOOD PRESERVATION; HEAT; METHODOLOGY; MICROBIOLOGY; MILK; THEORETICAL MODEL;

ALGORITHMS; ANIMALS; BIOTECHNOLOGY; COMPUTER SIMULATION; COMPUTER-AIDED DESIGN; FEEDBACK; FOOD HANDLING; FOOD PRESERVATION; HEAT; MILK; MODELS, THEORETICAL;

EID: 0043206740     PISSN: 00190578     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0019-0578(07)60143-8     Document Type: Article

References (24)

1. Storr, A. and Jarvis, D., Software Engineering for Manufacturing Systems. Methods and CASE Tools. Champan and Hall, London, 1996.
2. Sanchez, A., Rotstein, G. E., Alsop, N., Bromberg, J. P., Gollain, C., Sorensen, S., Macchietto, S., and Jakeman, C., Improving the development of event-driven control systems in the batch processing industry. A case study. ISA Trans. 41, 343-363 (2002).
3. Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S., Hybrid Systems II. Lecture Notes in Computer Sciences Vol. 999, Springer, New York, 1995.
4. Brandin. B. A. and Wonham, W. M., Supervisory control of timed discrete-event systems. IEEE Trans. Autom. Control 39, 329-531 (1994).
5. Branicky, M. S., Borkar, V. S. and Mitter, S. K., A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. Autom. Control 43, 31-45 (1998).
6. David, R. and Alla, H., Petri nets for modelling of dynamic systems a survey. Automatica 30, 175-202 (1994).
7. Teggar, M. and Soenen, R., Modeling and simulation of combined discrete event-continuous systems using DEVDS formalism and object-oriented paradigm. In Software Engineering for Manufacturing Systems. Methods and Case Tools (Ref. [1]). Champan and Hall, London, pp. 58-70.
8. Barton, P. I. and Pantelides, C. C., The modelling of combined discrete/continuous processes. AIChE J. 40, 966-979 (1994).
9. Valette, R., Pingaud, H., Pages, A., Andreu, D., and Pascal, J. C., Modeling, simulation and control of event-driven operations in process systems. In IEEE Symposium on ETFA, Paris, Vol. 3, pp. 119-128, October 1995.
10. ISA-S88.01. Batch Control Systems. Part 1. Models and terminology. Standards. Technical report, Instrument Society of America, 1995.
11. Sanchez, A., Rotstein, G., Alsop, N., and Macchietto, S., Synthesis and implementation of procedural controllers for event-driven operations. AIChE J. 45, 1753-1775 (1999).
12. Baird, R., Synthesis and implementation of procedural controllers with alarm handling capabilities. Ph.D. thesis, Dept. of Chem. Eng., Imperial College, University of London, 1999.
13. gPROMS. Users manual. Centre for Process Systems Engineering, Imperial College, London, 1999.
14. Sanchez, A., Formal Specification and Synthesis of Procedural Controllers for Process Systems. Lecture Notes on Control and Information Sciences Vol. 212, Springer-Verlag, Berlin, 1996.
15. Harel, D., Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8, 231-274 (1987).
16. Moon, I., Powers, G., Burch, J. R., and Clarke, E. M., Automatic verification of sequential control systems using temporal logic. AIChE J. 38, 67-75 (1992).
17. Hopcroft, J. E. and Ullman, J. D., Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA, 1977.
18. Ramadge, P. J. and Wonham, W. M., Supervisory control of a class of discrete-event processes. SIAM J. Control Optim. 25, 206-230 (1987).
19. Wonham, W. M., A control theory for discrete-event systems. In Advanced Computing Concepts and Techniques in Control Engineering, edited by M. J. Denham and A. J. Laub. Springer-Verlag, Berlin, 1988, pp. 129-169.
20. Parra, L. F., Control system design for a milk pasteurisation plant. Part II: Unit operation raw milk intake with failures. Technical report, Centre for Process Systems Engineering, Imperial College, London, 1998.
21. Parra, L. F., Control system design for a milk pasteurisation plant. Part I: Plant-X with no failures. Technical report, Centre for Process Systems Engineering, Imperial College, London, 1998
22. Delplace, F. and Leuliet, J. C., Modelling fouling of a plate heat exchanger with different flow arrangement by whey protein solutions. Trans. IChem. E: Part C 73 (1995).
23. Georgiadis, M., Rotstein, G. E., and Macchietto, S., Modelling and simulation of shell and tube heat exchangers under milk fouling. AIChE J. 44, 959-971 (1998).
24. Gollain, C., Testing of batch process automation systems using dynamic plant simulation. Internal Report, Centre for Process Systems Engineering, Imperial College, 1996.