On the complexity of synthesizing a minimum-weighted supervisor under partial observation

DOI10.1016/J.AUTOMATICA.2014.04.009MaRDI QIDQ458885zbMATH OpenOpenAlexFDO

Authors Rong Su

Publication date 8 October 2014

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2014.04.009

zbMATH Keywords

normalitycontrollabilityweighted automatanatural observerNP-completeness/hardnesssupervisor synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Controllability (93B05) Hierarchical systems (93A13) Observability (93B07)

Recommendations

• Undecidability in decentralized supervision
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
• Effective control synthesis for partially observed discrete-event systems
• On-line control of partially observed discrete event systems
• Online supervisor synthesis for partially observed discrete-event systems

Cites work

• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• A note on two problems in connexion with graphs
• An Optimal Control Theory for Discrete Event Systems
• Hierarchical control of discrete-event systems
• On observability of discrete-event systems
• On optimal attraction in discrete-event processes
• On optimal control of a class of partially observed discrete event systems
• On the computation of observers in discrete-event systems
• Optimal Supervisory Control of Discrete Event Dynamical Systems
• Supervisory Control Architecture for Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(2)

• Verification complexity of a class of observational properties for modular discrete events systems
• Polynomial time decidability of weighted synchronization under partial observability

This page was built for publication: On the complexity of synthesizing a minimum-weighted supervisor under partial observation

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