Decentralized Control of Discrete Event Systems Using Prioritized Composition With Exclusion

Author

Qiu, Wenbin ; Kumar, Ratnesh ; Chandra, Vigyan

Author_Institution

Sullivan Park Res. Center, Corning Inc., Painted Post, NY

Volume

53

Issue

10

fYear

2008

Firstpage

2425

Lastpage

2430

Abstract

A necessary and sufficient condition for decentralized control of discrete event systems via prioritized composition with exclusion (PCX) is provided. PCX was extended from prioritized synchronous composition (PSC) in order to model various Boolean modes of decision fusion by allowing the exclusivity of participation in system interactions . A notion of PCX-coobservability is introduced that captures the nature of PCX-based decision fusion, and a testing algorithm with polynomial complexity in the states of plant and specification is presented. The result is extended for multiple supervisors with multiple exclusivity sets based on an extended PCX definition.

Keywords

Boolean functions; computational complexity; decentralised control; discrete event systems; observability; polynomials; Boolean modes; PCX-based decision fusion; PCX-coobservability; PSC; decentralized control; discrete event systems; polynomial complexity; prioritized composition; prioritized synchronous composition; Automata; Bibliographies; Discrete event systems; Distributed control; Interconnected systems; Polynomials; Sufficient conditions; Supervisory control; Testing; Decentralized supervisory control; discrete event systems; prioritized composition with exclusion (PCX) co-observability; prioritized synchronous composition (PSC);

fLanguage

English

Journal_Title

Automatic Control, IEEE Transactions on

Publisher

ieee

ISSN

0018-9286

Type

jour

DOI

10.1109/TAC.2008.2007835

Filename

4668496