Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
In supervisor synthesis for discrete-event systems achieving nonblockingness is a major challenge for a large system. To overcome it we present an approach to synthesize a deterministic coordinated distributed supervisor under partial observation, where the plant is modeled by a collection of nondet...
Saved in:
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Article |
Language: | English |
Published: |
2013
|
Online Access: | https://hdl.handle.net/10356/84909 http://hdl.handle.net/10220/12669 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Nanyang Technological University |
Language: | English |
id |
sg-ntu-dr.10356-84909 |
---|---|
record_format |
dspace |
spelling |
sg-ntu-dr.10356-849092020-03-07T13:56:09Z Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. School of Electrical and Electronic Engineering In supervisor synthesis for discrete-event systems achieving nonblockingness is a major challenge for a large system. To overcome it we present an approach to synthesize a deterministic coordinated distributed supervisor under partial observation, where the plant is modeled by a collection of nondeterministic finite-state automata and the requirement is modeled by a collection of deterministic finite-state automata. Then we provide a sufficient condition to ensure the maximal permissiveness of a coordinated distributed supervisor generated by the proposed synthesis approach. 2013-07-31T08:40:22Z 2019-12-06T15:53:28Z 2013-07-31T08:40:22Z 2019-12-06T15:53:28Z 2012 2012 Journal Article Su, R., Schuppen, J. H. v., & Rooda, J. E. (2012). Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems. Automatica, 48(7), 1237-1247. 0005-1098 https://hdl.handle.net/10356/84909 http://hdl.handle.net/10220/12669 10.1016/j.automatica.2012.04.004 en Automatica |
institution |
Nanyang Technological University |
building |
NTU Library |
country |
Singapore |
collection |
DR-NTU |
language |
English |
description |
In supervisor synthesis for discrete-event systems achieving nonblockingness is a major challenge for a large system. To overcome it we present an approach to synthesize a deterministic coordinated distributed supervisor under partial observation, where the plant is modeled by a collection of nondeterministic finite-state automata and the requirement is modeled by a collection of deterministic finite-state automata. Then we provide a sufficient condition to ensure the maximal permissiveness of a coordinated distributed supervisor generated by the proposed synthesis approach. |
author2 |
School of Electrical and Electronic Engineering |
author_facet |
School of Electrical and Electronic Engineering Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. |
format |
Article |
author |
Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. |
spellingShingle |
Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
author_sort |
Su, Rong. |
title |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
title_short |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
title_full |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
title_fullStr |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
title_full_unstemmed |
Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
title_sort |
maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
publishDate |
2013 |
url |
https://hdl.handle.net/10356/84909 http://hdl.handle.net/10220/12669 |
_version_ |
1681039160115200000 |