Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation

Sasinee PRUEKPRASERT  Toshimitsu USHIO  

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E99-A   No.2   pp.475-482
Publication Date: 2016/02/01
Online ISSN: 1745-1337
DOI: 10.1587/transfun.E99.A.475
Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
stabilization,  state attraction,  optimal supervisory control,  state feedback controllers,  

Full Text: PDF(1MB)
>>Buy this Article

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.