Maximally permissive distributed supervisory control of nondeterministic discrete-event systems

Rong Su; Jan H. Van Schuppen; Jacobus E. Rooda

doi:10.1109/CDC.2011.6160567

Maximally permissive distributed supervisory control of nondeterministic discrete-event systems

Rong Su, Jan H. Van Schuppen, Jacobus E. Rooda

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In supervisor synthesis achieving nonblockingness is a major computational challenge for a large system. In the literature several automaton-based distributed synthesis approaches have been proposed, in which the plant is modeled by a collection of nondeterministic finite-state automata and the requirement and the final distributed supervisor are modeled by a collection of deterministic finite-state automata. In this paper we provide a sufficient condition, which guarantees maximal permissiveness of the synthesized distributed supervisor.

Original language	English
Title of host publication	2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011
Publisher	Institute of Electrical and Electronics Engineers
Pages	1155-1160
Number of pages	6
ISBN (Print)	9781612848006
DOIs	https://doi.org/10.1109/CDC.2011.6160567
Publication status	Published - 2011
Event	2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 - Orlando, FL, United States Duration: 12 Dec 2011 → 15 Dec 2011

Conference

Conference	2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011
Country/Territory	United States
City	Orlando, FL
Period	12/12/11 → 15/12/11

Keywords

automaton abstraction
discrete-event systems
distributed supervisor synthesis
maximal permissiveness
nondeterministic finite-state automata

Access to Document

10.1109/CDC.2011.6160567

Cite this

Su, R., Van Schuppen, J. H., & Rooda, J. E. (2011). Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. In 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 (pp. 1155-1160). Article 6160567 Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/CDC.2011.6160567

@inproceedings{7fb33c436ddc48f9b05a70e74921a5d3,

title = "Maximally permissive distributed supervisory control of nondeterministic discrete-event systems",

abstract = "In supervisor synthesis achieving nonblockingness is a major computational challenge for a large system. In the literature several automaton-based distributed synthesis approaches have been proposed, in which the plant is modeled by a collection of nondeterministic finite-state automata and the requirement and the final distributed supervisor are modeled by a collection of deterministic finite-state automata. In this paper we provide a sufficient condition, which guarantees maximal permissiveness of the synthesized distributed supervisor.",

keywords = "automaton abstraction, discrete-event systems, distributed supervisor synthesis, maximal permissiveness, nondeterministic finite-state automata",

author = "Rong Su and {Van Schuppen}, {Jan H.} and Rooda, {Jacobus E.}",

year = "2011",

doi = "10.1109/CDC.2011.6160567",

language = "English",

isbn = "9781612848006",

pages = "1155--1160",

booktitle = "2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 ; Conference date: 12-12-2011 Through 15-12-2011",

}

Su, R, Van Schuppen, JH & Rooda, JE 2011, Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. in 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011., 6160567, Institute of Electrical and Electronics Engineers, pp. 1155-1160, 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, United States, 12/12/11. https://doi.org/10.1109/CDC.2011.6160567

Maximally permissive distributed supervisory control of nondeterministic discrete-event systems. / Su, Rong; Van Schuppen, Jan H.; Rooda, Jacobus E.
2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011. Institute of Electrical and Electronics Engineers, 2011. p. 1155-1160 6160567.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Maximally permissive distributed supervisory control of nondeterministic discrete-event systems

AU - Su, Rong

AU - Van Schuppen, Jan H.

AU - Rooda, Jacobus E.

PY - 2011

Y1 - 2011

N2 - In supervisor synthesis achieving nonblockingness is a major computational challenge for a large system. In the literature several automaton-based distributed synthesis approaches have been proposed, in which the plant is modeled by a collection of nondeterministic finite-state automata and the requirement and the final distributed supervisor are modeled by a collection of deterministic finite-state automata. In this paper we provide a sufficient condition, which guarantees maximal permissiveness of the synthesized distributed supervisor.

AB - In supervisor synthesis achieving nonblockingness is a major computational challenge for a large system. In the literature several automaton-based distributed synthesis approaches have been proposed, in which the plant is modeled by a collection of nondeterministic finite-state automata and the requirement and the final distributed supervisor are modeled by a collection of deterministic finite-state automata. In this paper we provide a sufficient condition, which guarantees maximal permissiveness of the synthesized distributed supervisor.

KW - automaton abstraction

KW - discrete-event systems

KW - distributed supervisor synthesis

KW - maximal permissiveness

KW - nondeterministic finite-state automata

UR - http://www.scopus.com/inward/record.url?scp=84860701237&partnerID=8YFLogxK

U2 - 10.1109/CDC.2011.6160567

DO - 10.1109/CDC.2011.6160567

M3 - Conference contribution

AN - SCOPUS:84860701237

SN - 9781612848006

SP - 1155

EP - 1160

BT - 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011

PB - Institute of Electrical and Electronics Engineers

T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011

Y2 - 12 December 2011 through 15 December 2011

ER -

Maximally permissive distributed supervisory control of nondeterministic discrete-event systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this