SYNTHESIS OF PROCEDURAL CONTROLLERS - APPLICATION TO A BATCH PILOT-PLANT

This work demonstrates a formal synthesis strategy for sequential cont rol of complex chemical batch procedures. A modular hierarchical appro ach is adopted based on the ISA-S88 standards for batch control. Indiv idual controllers in the hierarchy are synthesised from a reduced doma in of elementary components and a set of specifications local to that controller. Techniques are also presented for handling communication b etween hierarchical levels of the controller and for real time process constraints. Finally it is shown how controllers are aggregated into an hierarchical architecture. The method is demonstrated on a complex cleaning in place unit procedure on Imperial College's batch pilot pla nt.