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...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2013
|
| Online Access: | https://hdl.handle.net/10356/84909 http://hdl.handle.net/10220/12669 |
| _version_ | 1826117486522662912 |
|---|---|
| author | Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. |
| author2 | School of Electrical and Electronic Engineering |
| author_facet | School of Electrical and Electronic Engineering Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. |
| author_sort | Su, Rong. |
| collection | NTU |
| 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. |
| first_indexed | 2024-10-01T04:28:22Z |
| format | Journal Article |
| id | ntu-10356/84909 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T04:28:22Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | ntu-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 |
| spellingShingle | Su, Rong. Schuppen, Jan H. van. Jacobus E., Rooda. Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
| title | 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_short | Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems |
| title_sort | maximally permissive coordinated distributed supervisory control of nondeterministic discrete event systems |
| url | https://hdl.handle.net/10356/84909 http://hdl.handle.net/10220/12669 |
| work_keys_str_mv | AT surong maximallypermissivecoordinateddistributedsupervisorycontrolofnondeterministicdiscreteeventsystems AT schuppenjanhvan maximallypermissivecoordinateddistributedsupervisorycontrolofnondeterministicdiscreteeventsystems AT jacobuserooda maximallypermissivecoordinateddistributedsupervisorycontrolofnondeterministicdiscreteeventsystems |