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)

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

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)