Computers & Chemical Engineering, Vol.24, No.2-7, 297-302, 2000
Formal implementation of procedural controllers for event-driven sequential systems in chemical processes
This paper describes the application of a method to carry out a formally correct implementation of a logic controller for an event-driven process system. Given a control architecture and the functional specification of each controller module, formal proofs are established and discharged to demonstrate the logical equivalence between the functional specification and the code implementation of logic controllers. The methodology is illustrated with an example.