Synthesis of procedural controllers - Application to a batch pilot plant

Computers and Chemical Engineering

Volumn 20, Issue SUPPL.2, 1996, Pages

  Alsop, Nicholas ^a   Camillocci, Luca Solfaroli ^a   Sanchez, Arturo ^a   Macchietto, Sandro ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL PLANTS; CONTROL SYSTEM SYNTHESIS; HIERARCHICAL SYSTEMS; PILOT PLANTS; REAL TIME SYSTEMS; SPECIFICATIONS;

PROCEDURAL CONTROLLERS;

CONTROL EQUIPMENT;

EID: 0029714738     PISSN: 00981354     EISSN: None     Source Type: Journal    
DOI: 10.1016/0098-1354(96)00252-9     Document Type: Article

References (8)

1. N. Alsop, L. Solfaroli Camillocci, and S. Macchietto. Automated synthesis of procedural control code. In Advances in Process Control IV. IChemE, 27-28 September 1995. York, UK.
2. APV Baker, Crawley, U.K. ACCOS 30 Training Manual, 1994. Issue 1.
3. ISA-S88.01. Batch Control Systems. Models and terminology. Standards. Technical report, ISA, 1995.
4. Z. Liu and S. Macchietto. Cleaning In Place policies for a food processing batch pilot plant. Food and Bioproducts Processing, 71(C3), September 1993.
5. G. Rotstein, A. Sanchez, N. Alsop, L. Camillocci, and S. Macchietto. Synthesis and implementation of procedural controllers and the automatic generation of control code. In Workshop on the Analysis and Design of Event-Driven Operations, London, U.K., 1995.
6. G. E. Rotstein, A. Sanchez, and S. Macchietto. Procedural control of discrete event systems. In preparation for IEEE trans. Aut. Cont., 1995.
7. A. Sanchez and S. Macchietto. Design of procedural controllers for chemical processes. Computers and Chemical Engineering, 19(Suppl.):S381-S386, 1995.
8. A. Sanchez. Formal specification and synthesis of procedural controllers for process systems. Accepted for publication. Lecture Notes on Control and Information Sciences, Springer-Verlag, 1996.