Synthesis and implementation of procedural controllers for event-driven operations

A framework is presented for synthesizing logic feedback controllers for ev ent-driven operations, which are used typically for startup and shutdown op erations emergency procedures, and alarm handling, The framework encompasse s techniques for discrete-event modeling of open-loop process behavior and operational specifications, as well as the synthesis of feedback cona ol me chanisms called procedural controllers. A procedural controller, if it exis ts, is mathematically guaranteed to satisfy its operational specifications. This is of particular importance for control systems in which high integri ty and correctness are required by design (such as systems in which human l ife is at risk). The notions introduced and the framework presented are ill ustrated with a small example. The applicability of the framework to cases of industrial complexity is demonstrated by synthesizing a procedural contr oller and implementing it as a control code for a section of the operation of an automated multipurpose-multiproduct batch pilot plant.