Summary
International Technical Conference on Circuits/Systems, Computers and Communications
2016
Session Number:M2-1
Session:
Number:M2-1-6
Energy-base Deadlock-free Supervisory Control of Quantitative Discrete Event Systems under Partial Observation
Sasinee Pruekprasert, Toshimitsu Ushio ,
pp.137-140
Publication Date:2016/7/10
Online ISSN:2188-5079
Summary:
We study the control of partially observed non-terminating quantitative DESs under the fixed-initial-credit energy objective. We model the control using a two-player game played between the supervisor and the DES on a weighted automaton. The DES aims to execute the events so that its energy level goes below zero, while the supervisor aims to maintain the energy level above zero. We show that the proposed problem is reducible to finding a winning strategy in a turn-based reachability game.