The infimal prefix-closed and observable superlanguage of a given language

DOI10.1016/0167-6911(90)90059-4zbMath0746.93061OpenAlexW2036978485MaRDI QIDQ1814432

Karen Rudie, W. Murray Wonham

Publication date: 25 June 1992

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6911(90)90059-4

zbMATH Keywords

supervisory control of discrete-event systems

Mathematics Subject Classification ID

Discrete-time control/observation systems (93C55) Control/observation systems in abstract spaces (93C25) Controllability, observability, and system structure (93B99)

Related Items (12)

Solvability of centralized supervisory control under partial observation ⋮ Formulae relating controllability, observability, and co-observability ⋮ Information tracking in games on graphs ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Extremal solutions of inequations over lattices with applications to supervisory control ⋮ A modified normality condition for decentralized supervisory control of discrete event systems ⋮ Logical models of discrete even systems: a comparative exposition ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Supervisory Control with Partial Observations ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formulas for calculating supremal controllable and normal sublanguages
• On observability of discrete-event systems
• Fixed point theorems and semantics: A folk tale
• A lattice-theoretical fixpoint theorem and its applications
• The infimal closed controllable superlanguage and its application in supervisory control
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations

This page was built for publication: The infimal prefix-closed and observable superlanguage of a given language