Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation

Pruekprasert, Sasinee; Ushio, Toshimitsu

doi:10.1587/transfun.e99.a.475

Cited by 7 publications

(2 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We show that the proposed problem is reducible to finding a winning strategy in a turn-based reachability game [12], [13]. The preliminary version of this paper was presented in [14].…”

Section: Introductionmentioning

confidence: 98%

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem

Pruekprasert

Ushio

2017

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

This paper studies the supervisory control of partially observed quantitative discrete event systems (DESs) under the fixed-initialcredit energy objective. A quantitative DES is modeled by a weighted automaton whose event set is partitioned into a controllable event set and an uncontrollable event set. Partial observation is modeled by a mapping from each event and state of the DES to the corresponding masked event and masked state that are observed by a supervisor. The supervisor controls the DES by disabling or enabling any controllable event for the current state of the DES, based on the observed sequences of masked states and masked events. We model the control process as a two-player game played between the supervisor and the DES. The DES aims to execute the events so that its energy level drops 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.

show abstract

“…We show that the proposed problem is reducible to finding a winning strategy in a turn-based reachability game [12], [13]. The preliminary version of this paper was presented in [14].…”

Section: Introductionmentioning

confidence: 98%

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem

Pruekprasert

Ushio

2017

IEICE Trans. Inf. & Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Then, in Ref. [29], the framework was extended to the partial observation of the system. Afterward, in Ref.…”

Section: Introductionmentioning

confidence: 99%

Optimal Opacity-Enforcing Supervisory Control of Discrete Event Systems on Choosing Cost

Dai,

Wang,

Luo

2024

Applied Sciences

View full text Add to dashboard Cite

To ensure opacity, it is optimal to retain as many as possible occurring event sequences. Contrary to this problem, the other optimal goal is to preserve the minimal occurring event sequences. Based on the choosing cost, an optimal opacity-enforcing problem with minimal discount choosing cost is presented under two constraints in this paper. The first constraint is the opacity of the controlled system. The second is the retention of the secret to the maximum. To solve the model, two scenarios on opacity are considered. For the two scenarios, some algorithms are presented to achieve the optimal solution for the model by using the method of dynamic programming. Then, the solutions produced by the algorithms are proved to be correct by theoretical proof. Finally, some illustrations and an application example on location privacy protection for the algorithms are given.

show abstract

Optimal supervisory control with mean payoff objectives and under partial observation

Yin

Lafortune

2021

Automatica

View full text Add to dashboard Cite

Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation

Cited by 7 publications

References 12 publications

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem

Optimal Opacity-Enforcing Supervisory Control of Discrete Event Systems on Choosing Cost

Optimal supervisory control with mean payoff objectives and under partial observation

Contact Info

Product

Resources

About