Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
Summary :
We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E102-A No.2 pp.399-403
- Publication Date
- 2019/02/01
- Publicized
- Online ISSN
- 1745-1337
- DOI
- 10.1587/transfun.E102.A.399
- Type of Manuscript
- Special Section LETTER (Special Section on Mathematical Systems Science and its Applications)
- Category
Authors
Jinglun LI
Osaka University
Shigemasa TAKAI
Osaka University
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Jinglun LI, Shigemasa TAKAI, "Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations" in IEICE TRANSACTIONS on Fundamentals,
vol. E102-A, no. 2, pp. 399-403, February 2019, doi: 10.1587/transfun.E102.A.399.
Abstract: We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E102.A.399/_p
Copy
@ARTICLE{e102-a_2_399,
author={Jinglun LI, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations},
year={2019},
volume={E102-A},
number={2},
pages={399-403},
abstract={We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.},
keywords={},
doi={10.1587/transfun.E102.A.399},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 399
EP - 403
AU - Jinglun LI
AU - Shigemasa TAKAI
PY - 2019
DO - 10.1587/transfun.E102.A.399
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E102-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2019
AB - We consider a similarity control problem for discrete event systems modeled as nondeterministic automata. A nonblocking supervisor was synthesized in the previous work under the assumption that the event occurrence and the current state of the plant are observable. In this letter, we prove that the synthesized supervisor is a maximally permissive nonblocking one.
ER -
English
