DocumentCode :
702087
Title :
Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets
Author :
Aybar, Aydin ; Iftar, Altug
Author_Institution :
Department of Electrical and Electronics Engineering, Anadolu University, 26470 Eskisehir, Turkey
fYear :
2003
fDate :
1-4 Sept. 2003
Firstpage :
1681
Lastpage :
1686
Abstract :
Decentralized supervisory controller design based on overlapping decompositions to enforce boundedness, liveness, and reversibility is considerered for ordinary Petri nets with weighted arcs. In the proposed approach, the given Petri net is first decomposed into a number of overlapping Petri subnets and then expanded such that each Petri subnet appear as disjoint. A controller for each disjoint Petri subnet is next designed to enforce boundedness, liveness, and reversibility in that Petri subnet. Since each subnet is smaller than the original Petri net, this step is, in general, much easier than obtaining a centralized controller for the original Petri net. These controllers are then combined to obtain a controller for the expanded Petri net. Finally, the controller for the expanded Petri net is contracted to obtain a controller for the original Petri net. It is shown that this final controller enforces boundedness, liveness, and reversibility in the original Petri net.
Keywords :
Algorithm design and analysis; Complexity theory; Decentralized control; Discrete-event systems; Lapping; Petri nets; System recovery; Discrete-event systems; Petri nets; decentralized control; overlapping decompositions; supervisory controller design;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
European Control Conference (ECC), 2003
Conference_Location :
Cambridge, UK
Print_ISBN :
978-3-9524173-7-9
Type :
conf
Filename :
7085206
Link To Document :
بازگشت