Title :
Synthesis of supervisory controllers based on a novel representation of condition/event systems
Author :
Hanisch, Hans-Michael ; Rausch, Mathias
Author_Institution :
Autom. Inst., Magdeburg Univ. of Technol., Germany
Abstract :
The paper presents a representation of a subclass of condition/event systems based on ordinary Petri nets and some extensions. A symbolic algorithm for controller synthesis is proposed which does not require computation of the whole state space
Keywords :
Petri nets; control system synthesis; Petri nets; condition/event systems; supervisory controller synthesis; symbolic algorithm; Actuators; Automatic control; Automation; Control system synthesis; Discrete event systems; Electrical equipment industry; Petri nets; State-space methods; System recovery; Valves;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538253
