Solvability of centralized supervisory control under partial observation

DOI10.1007/s10626-006-0023-7zbMath1103.93015OpenAlexW2021484753MaRDI QIDQ858155

Stéphane Lafortune, Tae-Sic Yoo

Publication date: 8 January 2007

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-006-0023-7

zbMATH Keywords

DecidabilitySupervisory controlNonblockingPartial observation

Mathematics Subject Classification ID

Controllability (93B05) Discrete-time control/observation systems (93C55) Observability (93B07) Synthesis problems (93B50)

Related Items (3)

Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation ⋮ Active fault tolerant control of discrete event systems using online diagnostics ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations

Uses Software

• UMDES

Cites Work

• Unnamed Item
• On observability of discrete-event systems
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
• On the control of discrete-event dynamical systems
• Games for synthesis of controllers with partial observation.
• A general architecture for decentralized supervisory control of discrete-event systems
• The infimal prefix-closed and observable superlanguage of a given language
• The infimal closed controllable superlanguage and its application in supervisory control
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control
• The computational complexity of decentralized discrete-event control problems

This page was built for publication: Solvability of centralized supervisory control under partial observation