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: | Su, Rong., Schuppen, Jan H. van., Jacobus E., Rooda. |
---|---|
Other Authors: | School of Electrical and Electronic Engineering |
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 |
Similar Items
-
Bisimilarity control of nondeterministic discrete event systems
by: Liu, F., et al.
Published: (2014) -
Decentralized supervisory control: Nondeterministic transitions versus deterministic moves
by: Karimadini, M., et al.
Published: (2014) -
Supervisory control of time-interval discrete event systems
by: Brandin, Bertil, et al.
Published: (2021) -
Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
by: Han, Xiaoguang, et al.
Published: (2020) -
Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
by: Liu, F., et al.
Published: (2014)