In this paper, we formulate an optimal stabilization problem of quantitative discrete event systems (DESs) under partial observation. A DES under partial observation is a system where its behaviors cannot be completely observed by a supervisor. In our framework, the supervisor observes not only masked events but also masked states. Our problem is then to synthesize a supervisor that drives the DES to a given target state with the minimum cost based on the detected sequences of masked events and states. We propose an algorithm for deciding the existence of an optimal stabilizing supervisor, and compute it if it exists.
Sasinee PRUEKPRASERT
Osaka University
Toshimitsu USHIO
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
Sasinee PRUEKPRASERT, Toshimitsu USHIO, "Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation" in IEICE TRANSACTIONS on Fundamentals,
vol. E99-A, no. 2, pp. 475-482, February 2016, doi: 10.1587/transfun.E99.A.475.
Abstract: In this paper, we formulate an optimal stabilization problem of quantitative discrete event systems (DESs) under partial observation. A DES under partial observation is a system where its behaviors cannot be completely observed by a supervisor. In our framework, the supervisor observes not only masked events but also masked states. Our problem is then to synthesize a supervisor that drives the DES to a given target state with the minimum cost based on the detected sequences of masked events and states. We propose an algorithm for deciding the existence of an optimal stabilizing supervisor, and compute it if it exists.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/transfun.E99.A.475/_p
Copy
@ARTICLE{e99-a_2_475,
author={Sasinee PRUEKPRASERT, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation},
year={2016},
volume={E99-A},
number={2},
pages={475-482},
abstract={In this paper, we formulate an optimal stabilization problem of quantitative discrete event systems (DESs) under partial observation. A DES under partial observation is a system where its behaviors cannot be completely observed by a supervisor. In our framework, the supervisor observes not only masked events but also masked states. Our problem is then to synthesize a supervisor that drives the DES to a given target state with the minimum cost based on the detected sequences of masked events and states. We propose an algorithm for deciding the existence of an optimal stabilizing supervisor, and compute it if it exists.},
keywords={},
doi={10.1587/transfun.E99.A.475},
ISSN={1745-1337},
month={February},}
Copy
TY - JOUR
TI - Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 475
EP - 482
AU - Sasinee PRUEKPRASERT
AU - Toshimitsu USHIO
PY - 2016
DO - 10.1587/transfun.E99.A.475
JO - IEICE TRANSACTIONS on Fundamentals
SN - 1745-1337
VL - E99-A
IS - 2
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - February 2016
AB - In this paper, we formulate an optimal stabilization problem of quantitative discrete event systems (DESs) under partial observation. A DES under partial observation is a system where its behaviors cannot be completely observed by a supervisor. In our framework, the supervisor observes not only masked events but also masked states. Our problem is then to synthesize a supervisor that drives the DES to a given target state with the minimum cost based on the detected sequences of masked events and states. We propose an algorithm for deciding the existence of an optimal stabilizing supervisor, and compute it if it exists.
ER -