Synthesis and implementation of procedural controllers for event-driven operations

AIChE Journal

Volumn 45, Issue 8, 1999, Pages 1753-1775

  Sanchez, A ^a,b   Rotstein, G ^a,c   Alsop, N ^a,d   Macchietto, S ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIDAD GUADALAJARA   (Mexico)

^c i2 Technologies   (United Kingdom)

^d BHP BILLITON   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL OPERATIONS; CHEMICAL PLANTS; DISCRETE TIME CONTROL SYSTEMS; FEEDBACK CONTROL; MATHEMATICAL MODELS; PLANT SHUTDOWNS; PLANT STARTUP; PROGRAMMABLE LOGIC CONTROLLERS;

DISCRETE EVENT MODELS; EVENT DRIVEN OPERATIONS; INDUSTRIAL COMPLEXITY; OPEN LOOP PROCESS;

CONTROL SYSTEM SYNTHESIS;

BATCH PROCESS; FEEDBACK; PILOT PLANT; PROCESS CONTROL;

ARTICLE; AUTOMATION; CHEMICAL PROCEDURES; FEEDBACK SYSTEM; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; MOLECULAR MODEL; SYNTHESIS;

EID: 0032810584     PISSN: 00011541     EISSN: None     Source Type: Journal    
DOI: 10.1002/aic.690450812     Document Type: Article

References (37)

1. Abrial, J. R., E. Borger, and H. Langmaack, "Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control," Lecture Notes in Computer Sciences, Vol. 1165, Springer, Berlin (1996).
2. Alsop, N., L. Camillocci, A. Sanchez, and S. Macchietto, "Synthesis of Procedural Controllers - Application to a Batch Plant," Comput. and Chem. Eng., 20(Suppl.), S1481 (1996).
3. APV-Baker, "ACCOS 30 Training Manual," Technical Report Issue 1, Crawley, U.K. (1994).
4. Brave, Y., and M. Heymann, "On Optimal Attraction in Discrete Event Processes," Int. J. of Inf. Sci., 67, 245 (1993).
5. Brooks, A., R. Cieslak, and P. Varaiya, "A Method for Specifying, Implementing and Verifying Media Access Protocols," IEEE Control Systems Magazine, 87 (June 1990).
6. Crooks, C. A., and S. Macchietto, "A Combined MILP and Logic-Based Approach for the Synthesis of Operating Procedures for Batch Plants," Chem. Eng. Comm., 114, 117 (1992).
7. Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, U.K. (1990).
8. Dimitriadis, V. D., N. Shah, and C. C. Pantelides, "Modeling and Safety Verification of Discrete/Continuous Processing Systems," AIChE J., 43, 1041 (April 1997).
9. Fitzgerald, J., C. B. Jones, and P. Lucas, "FME 97. Industrial Applications and Strengthened Foundations of Formal Methods," Lecture Notes in Computer Sciences, Vol. 1313, Springer (1997).
10. Fusillo, R. H., and G. J. Powers, "A Synthesis Method for Chemical Plant Operating Procedures," Comput. Chem. Eng., 11, 369 (1987).
11. Golaszewski, C. H., and P. J. Ramadge, "Control of Discrete-Event Processes with Forced Events," Proc. of 28th Conf. on Decision and Control, Tampa, FL, p. 247 (Dec. 1987).
12. Goldblatt, R., Logics of Time and Computation, 2nd ed., Center for The Study of Language and Information (1992).
13. Heymann, M., "Concurrency and Discrete Event Control," IEEE Contr. Sys. Mag., 10, 103 (June 1990).
14. Hopcroft, J. E., and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA (1977).
15. ISA-S88.01, "Batch Control Systems. Models and Terminology. Standards,"Technical Report, ISA, Research Triangle Park, NC (1995).
16. Kumar, R., V. Garg, and S. Marcus, "Using Predicate Transformers for Supervisory Control," Proc. of 30th Conf. on Decision and Control, Brighton, U.K., p. 98 (Dec. 1991).
17. Lakshmanan, R., and G. Stephanopoulos, "Synthesis of Operating Procedures for Complete Chemical Plants. I. Hierarchical Structured Modeling for Nonlinear Planning," Comp. Chem. Eng., 12, 1003 (1988).
18. Liu, Z. H., and S. Macchietto, "Cleaning In Place Policies for a Food Processing Batch Pilot Plant," Food and Bioproducts Processing, 71(C3) (Sept. 1993).
19. Liu, Z. H., "An Advanced Process Manufacturing System - Design and Application to a Food Processing Pilot Plant," PhD Thesis, Univ. of London (1995).
20. Macchietto, S., "Automation Research on a Food Processing Pilot Plant," IChemE Symp. Series, No. 126, 179 (1992).
21. Manna, Z., and A. Pnueli, "Verification of Concurrent Programs: The Temporal Framework," The Correctness Problem in Computer Science, International Lecture Series in Computer Science, R. S. Boyer and J. S. Moore, eds., Academic Press, London, p. 215 (1982).
22. Moon, I., G. Powers, J. R. Burch, and E. M. Clarke, "Automatic Verification of Sequential Control Systems Using Temporal Logic," AIChE J., 38, 67 (Jan. 1992).
23. Ostroff, J. S., "Synthesis of Controllers for Real-Time Discrete Event Systems," Proc. Conf. on Decision and Control, Tampa, FL, p. 138 (Dec. 1989).
24. Ostroff, J. S., Temporal Logic for Real-Time Systems, Research Studies Press/Wiley (1989).
25. Park, T., and P. Barton, "Implicit Model Checking of Logic-Based Control Systems," AIChE J., 43, 2246 (Sept. 1997).
26. Ramadge, P. J., and W. M. Wonham, "Modular Feedback Logic for Discrete Event Systems," SIAM J. of Contr. and Optimiz., 25, 1202 (1987).
27. Ramadge, P. J., and W. M. Wonham, "Supervisory Control of a Class of Discrete-Event Processes," SIAM J. of Contr. and Optimiz., 25, 206 (1987).
28. Rivas, J. R., and D. F. Rudd, "Synthesis of Failure-Safe Operations," AIChE J., 20, 320 (1974).
29. Rotstein, G. E., and S. Macchietto, "Verification of Operating Procedures for Chemical Processes," Proc. of IChemE Res. Event, Edinburgh, U.K., p. 158 (1995).
30. Rotstein, G. E., R. Lavie, and D. R. Lewin, "Automatic Synthesis of Batch Plant Procedures. A Process-Oriented Approach," AIChE J., 40, 1650 (1994).
31. Rotstein, G., P. Mouille, S. Macchietto, and A. Sanchez, "Design of Stable and Optimal Procedural Controllers for Chemical Processes," Chem. Eng. Sci., in press (1999).
32. Sanchez, A., C. Gollain, and S. Macchietto, "Rapid Development of Structured Simulation Models for the Verification of Discrete-Event Control Systems," IFAC DYCOPS-5, Corfu, Greece, p. 662 (June 8-10, 1998).
33. Sanchez, A., "Formal Specification and Synthesis of Procedural Controllers for Process Systems," Lecture Notes on Control and Information Sciences, Vol. 212, Springer-Verlag (1996).
34. Schuler, H., F. Allgower, and E. D. Gilles, "Chemical Process Control: Present Status and Future Needs. The View from the European Industry," CPC IV, Y. Arkun and W. H. Ray, eds., Elsevier, Amsterdam, p. 29 (1991).
35. Thistle, J. G., and W. M. Wonham, "Control Problems in a Temporal Logic Framework," Int. J. Contr., 44, 943 (1986).
36. Wonham, W. M., "A Control Theory for Discrete-Event Systems," Advanced Computing Concepts and Techniques in Control Engineering, M. J. Denham and A. J. Laub, eds., Springer-Verlag, Berlin, p. 129 (1988).
37. Yamalidou, E. C., and J. C. Kantor, "Modeling and Optimal Control of Discrete-Event Chemical Processes using Petri Nets," Comput. and Chem. Eng., 15, 503 (1991).