State feedback based deadlock-free supervisor synthesis for bounded Petri nets

Author

Ru, Yu ; Wu, Weimin ; Su, Hongye ; Chu, Jian

Author_Institution

Nat. Lab. of Ind. Control Technol., Zhejiang Univ., Hangzhou, China

Volume

2

fYear

2004

fDate

10-13 Oct. 2004

Firstpage

1666

Abstract

This paper addresses the forbidden state problem in which the forbidden marking set can be a set of arbitrary markings, together with deadlock-free specification. The system is modelled by bounded Petri nets, which may contain uncontrollable transitions. Through efficient reverse net analysis, we obtain not only the weakly forbidden markings but also the state feedback control policy. Then we propose a deadlock processing algorithm to deal with deadlocks caused by control. Finally a deadlock-free supervisor expressed as a table is obtained.

Keywords

Petri nets; control system synthesis; discrete event systems; state feedback; bounded Petri nets; deadlock processing algorithm; deadlock-free supervisor synthesis; discrete event system; forbidden state problem; reverse net analysis; state feedback control; Computer aided manufacturing; Control systems; Discrete event systems; Industrial control; Laboratories; Petri nets; Process control; State feedback; System recovery; Vehicle dynamics;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2004 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-8566-7

Type

conf

DOI

10.1109/ICSMC.2004.1399871

Filename

1399871