Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation

DOI10.1109/TAC.2019.2905305MaRDI QIDQ5211270zbMATH OpenOpenAlexFDO

Authors Weilin Deng, Jing Kai Yang, Daowen Qiu

Publication date 28 January 2020

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.07196

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Abstract: The supervisory control of probabilistic discrete event systems (PDESs) is investigated under the assumptions that the supervisory controller (supervisor) is probabilistic and has a partial observation. The probabilistic P-supervisor is defined, which specifies a probability distribution on the control patterns for each observation. The notions of the probabilistic controllability and observability are proposed and demonstrated to be a necessary and sufficient conditions for the existence of the probabilistic P-supervisors. Moreover, the polynomial verification algorithms for the probabilistic controllability and observability are put forward. In addition, the infimal probabilistic controllable and observable superlanguage is introduced and computed as the solution of the optimal control problem of PDESs. Several examples are presented to illustrate the results obtained.

Cited in

(9)

• Optimal supervisory control under partial observation
• Supervisory Control of Partially Observable Marked Graphs
• Supervisory Control with Partial Observations
• Maximizing robustness of supervisors for partially observed discrete event systems.
• Offline supervisory control synthesis: taxonomy and recent developments
• State estimation in labeled time Petri net systems using observed modified state class graph
• Supervisory control of probabilistic discrete-event systems with recovery
• Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
• scientific article; zbMATH DE number 1820084 (Why is no real title available?)

This page was built for publication: Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5211270)