Premium
Synthesis and implementation of procedural controllers for event‐driven operations
Author(s) -
Sanchez A.,
Rotstein G.,
Alsop N.,
Macchietto S.
Publication year - 1999
Publication title -
aiche journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.958
H-Index - 167
eISSN - 1547-5905
pISSN - 0001-1541
DOI - 10.1002/aic.690450812
Subject(s) - correctness , computer science , event (particle physics) , process (computing) , controller (irrigation) , control engineering , control (management) , control system , distributed computing , engineering , programming language , physics , electrical engineering , quantum mechanics , artificial intelligence , agronomy , biology
A framework is presented for synthesizing logic feedback controllers for event‐driven operations, which are used typically for startup and shutdown operations, emergency procedures, and alarm handling. The framework encompasses techniques for discrete‐event modeling of open‐loop process behavior and operational specifications, as well as the synthesis of feedback control mechanisms called procedural controllers. A procedural controller, if it exists, is mathematically guaranteed to satisfy its operational specifications. This is of particular importance for control systems in which high integrity and correctness are required by design (such as systems in which human life is at risk). The notions introduced and the framework presented are illustrated with a small example. The applicability of the framework to cases of industrial complexity is demonstrated by synthesizing a procedural controller and implementing it as a control code for a section of the operation of an automated multipurpose‐multiproduct batch pilot plant.