Hierarchical supervisory control for batch processes

IEEE Transactions on Control Systems Technology

Volumn 7, Issue 5, 1999, Pages 542-554

  Tittus, Michael ^b   Lennartson, Bengt ^a,c  

^a IEEE

^b UNIVERSITY OF BORÅS   (Sweden)

^c CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BATCH DATA PROCESSING; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEM SYNTHESIS; DISCRETE TIME CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; PETRI NETS; RESOURCE ALLOCATION; SYNCHRONIZATION;

HIERARCHICAL SUPERVISORY CONTROL;

SCADA SYSTEMS;

EID: 0032646413     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.784418     Document Type: Article

References (27)

1. D. Andreu, J. C. Pascal, H. Pingaud, and R. Valette, "Batch process modeling using Petri nets," in Proc. Conf. Syst., Man, Cybern., 1994, pp. 314-319.
2. S. Balemi, G. J. Hoffmann, P. Gyugyi, H. Wong-Toi, and G. F. Franklin, "Supervisory control of a rapid thermal multiprocessor," IEEE Trans. Automat. Contr., vol. 38, pp. 1040-1059, 1993.
3. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat.n, vol. 6, pp. 724-734, 1990.
4. I. Demongodin, N. Audry, and F. Prunet, "Batches Petri nets," in Proc. Conf. Syst., Man, Cybern., 1993, pp. 607-617.
5. M. Fabian and B. Lennartson, "A class of nondeterministic specifications for supervisory control," in Proc. ECC'95, Rome, Italy, 1995.
6. A. Giua, "A comparison of Petri net supervisory approaches for state specifications," in Proc. 2nd MATHMOD, I. Troch and F. Breitenecker, Eds., Vienna, Austria, 1997, pp. 159-164.
7. H.-M. Hanisch, "Coordination control modeling in batch production systems by means of Petri nets," Comput. Chem. Eng., vol. 16, no. 1, pp. 1-10, 1992.
8. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete-event systems," J. DEDS, vol. 7, no. 2, pp. 151-190, 1997.
9. Instrument Society of America, Batch Control Systems: Models and Terminology, 1994, Draft 9.
10. C. Johnsson, "Recipe-based batch control using high-level Grafchart," Licentiate thesis, Dept. Automat. Contr., Lund Inst. Technol., Lund, Sweden, 1997.
11. M. Lemmon, K. Yamalidou, J. Moody, and P. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, 1996.
12. B. H. Krogh and L. E. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, pp. 641-651, 1991.
13. J. LeBail, H. Alia, and R. David, "Hybrid Petri nets," in Proc. ECC'91, Grenoble, France, 1991, pp. 1472-1477.
14. T. Liljenvall, "Job-shop scheduling with limited buffers," in Proc. AARTC'97, Vilamoura, Portugal, 1997, pp. 312-313.
15. J. O. Moody and P. J. Antsaklis, "Supervisory control of Petri nets with uncontrollable/unobservable transitions," in Proc. CDC'96, Kobe, Japan, 1996.
16. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, 1989.
17. R. Rachamadugu and K. E. Stecke, "Classification and review of FMS scheduling procedures," Production, Planning, Contr., vol. 5, no. 1, pp. 2-20, 1994.
18. P. Ramadge and W. M. Wonham, "The control of discrete-event systems," Proc. IEEE, vol. 77, pp. 81-98, 1989.
19. _, "Supervisory control of a class of discrete-event processes," SIAM J. Contr. Optimization, vol. 25, no. 1, pp. 206-230, Jan. 1987.
20. S. A. Reveloitis and P. M. Ferreira, "Deadlock avoidance policies for automated manufacturing cells," IEEE Trans. Robot. Automat., vol. 12, pp. 845-857, 1996.
21. M. Tittus, "Control synthesis for batch processes," Ph.D. dissertation, Control Eng. Lab, Chalmers Univ. Technol., Göteborg, Sweden, 1995.
22. M. Tittus and B. Egardt, "Control-law synthesis for linear hybrid systems," in Proc 33rd Conf. Decision Contr., Orlando, FL, 1994, pp. 961-966.
23. _, "Control design for integrator hybrid systems," IEEE Trans. Automat. Contr., vol. 43, pp. 491-500, 1998.
24. M. Tittus, M. Fabian, and B. Lennartson, "Controlling and coordinating recipes in batch applications," in Proc. 34th Conf. Decision Contr., New Orleans, LA, 1995, pp. 2484-2489.
25. E. C. Yamalidou and J. C. Kantor, "Modeling and optimal control of discrete-event chemical processes using Petri nets," Comput. Chem. Eng., vol. 15, no. 7, pp. 503-519, 1991.
26. E. C. Yamalidou, E. P. Patsidou, and J. C. Kantor, "Modeling discrete-event dynamical systems for chemical process control - A survey of several new techniques," Comput. Chem. Eng., vol. 14, no. 3, pp. 281-299, 1990.
27. H. Zhong and W. M. Wonham. "On the consistency of hierarchical supervision in discrete-event systems," IEEE Trans. Automat. Contr., vol. 35, pp. 1125-1134, Oct. 1990.