Systematic Design Of A Protective Controller In Process Industries By Means Of The Boolean Different

Protective controllers prevent the occurrence of forbidden states in chemical processes. In this paper we present a new and systematic approach to design a protective controller with respect to the standardized concept in process industries`Safety of Process Plants Using Process Control Systems' 1]. The plant is modelled by means of nite automata. For an ef-cient solution of the controller synthesis task the system is described in the formalism of the Boolean Diierential Calculus. An algorithm for the synthesis of the protective controller is proposed. As an example it is applied to a simple subsystem of a chemical process.