In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.
Hiroki YAMADA
Osaka University
Shigemasa TAKAI
Osaka University
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.
Copy
Hiroki YAMADA, Shigemasa TAKAI, "Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations" in IEICE TRANSACTIONS on Fundamentals,
vol. E101-A, no. 2, pp. 328-337, February 2018, doi: 10.1587/transfun.E101.A.328.
Abstract: In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E101.A.328/_p
Copy
@ARTICLE{e101-a_2_328,
author={Hiroki YAMADA, Shigemasa TAKAI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations},
year={2018},
volume={E101-A},
number={2},
pages={328-337},
abstract={In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.},
keywords={},
doi={10.1587/transfun.E101.A.328},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Nonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 328
EP - 337
AU - Hiroki YAMADA
AU - Shigemasa TAKAI
PY - 2018
DO - 10.1587/transfun.E101.A.328
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E101-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2018
AB - In this paper, we consider a similarity control problem for nondeterministic discrete event systems, which requires us to synthesize a nonblocking supervisor such that the supervised plant is simulated by a given specification. We assume that a supervisor can observe not only the event occurrence but also the current state of the plant. We present a necessary and sufficient condition for the existence of a nonblocking supervisor that solves the similarity control problem and show how to verify it in polynomial time. Moreover, when the existence condition of a nonblocking supervisor is satisfied, we synthesize such a supervisor as a solution to the similarity control problem.
ER -