DocumentCode
301670
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
Volume
4
fYear
1995
fDate
22-25 Oct 1995
Firstpage
3069
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1995.538253
Filename
538253
Link To Document