Admissible decentralized control of Petri nets

Author

Iordache, Marian V. ; Antsaklis, Panos J.

Author_Institution

Dept. of Electr. Eng., Notre Dame Univ., IN, USA

Volume

1

fYear

2003

fDate

4-6 June 2003

Firstpage

332

Abstract

Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communication, and with no communication. In the case of communication, the supervisors may exchange information consisting of local observed events. We propose efficient algorithms for the design of decentralized supervisors, based on the extension of the SBPI concept of admissibility that we define.

Keywords

Petri nets; closed loop systems; decentralised control; invariance; Petri nets; admissible decentralised control; communication; local supervisors; place invariants based supervision; supervisory control; Algorithm design and analysis; Communication networks; Communication system control; Concurrent computing; Distributed control; Manufacturing systems; Monitoring; Petri nets; State-space methods; Supervisory control;

fLanguage

English

Publisher

ieee

Conference_Titel

American Control Conference, 2003. Proceedings of the 2003

ISSN

0743-1619

Print_ISBN

0-7803-7896-2

Type

conf

DOI

10.1109/ACC.2003.1238962

Filename

1238962