Title :
A modular plant modeling technique and related controller synthesis problems
Author :
Hanisch, H.-M. ; Lüder, A. ; Thieme, J.
Author_Institution :
Dept. of Electr. Eng., Otto-von-Guericke-Univ. Magdeburg, Germany
Abstract :
Models of uncontrolled plant behavior are required to use formal methods of logical controller synthesis. We present a modular, hierarchical, efficient technique for designing such models. Notions of controllability and observability are given, and some related synthesis problems are stated.
Keywords :
Petri nets; control system synthesis; controllability; discrete event systems; observability; process control; formal methods; logical controller synthesis; modular plant modeling technique; uncontrolled plant behavior; Automatic control; Computer aided manufacturing; Control system synthesis; Control systems; Cost function; Design automation; Observability; Process control; Product safety; Production systems;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.725493
