Title :
Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications
Author :
Hanisch, Hans-Michael ; Kowalewski, Stefan
Author_Institution :
Dept. of Electr. Eng., Magdeburg Univ. of Technol., Germany
Abstract :
The method for formal synthesis of discrete supervisory controllers presented here is based on an automaton model of the plant which describes its uncontrolled behavior and a specification of states or state sequences (paths) of the plant which must be prevented by the controller. The model of the plant and the description of the specification are combined in one homogeneous Boolean equation, the so-called Lagrangean equation. Forbidden path problems can be solved by expanding the Lagrangean equation. A nondeterministic sequential state feedback controller can be synthesized by means of a standard structure and by studying the solution sets of the expanded Lagrangean equation
Keywords :
Boolean algebra; control system synthesis; differentiation; discrete systems; finite automata; state feedback; Lagrangean equation; algebraic synthesis; algebraic verification; automaton model; discrete supervisory controllers; forbidden path specifications; homogeneous Boolean equation; nondeterministic sequential state feedback controller; state sequences; uncontrolled behavior; Automata; Automatic control; Control system synthesis; Equations; Humans; Lagrangian functions; Process control; Process design; Programmable control; State feedback;
Conference_Titel :
Computer Integrated Manufacturing and Automation Technology, 1994., Proceedings of the Fourth International Conference on
Conference_Location :
Troy, NY
Print_ISBN :
0-8186-6510-6
DOI :
10.1109/CIMAT.1994.389079
