Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations

DOI10.1007/BF02088297zbMath0683.68062MaRDI QIDQ4733422

Steven I. Marcus, Hangju Cho

Publication date: 1989

Published in: Mathematical Systems Theory (Search for Journal in Brave)

zbMATH Keywords

finite automatoncontrollable languagesdiscrete event dynamical systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of operating systems (68N25)

Related Items (11)

Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ On controllability and normality of discrete event dynamical systems ⋮ Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control ⋮ Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage ⋮ On the corrective control of sequential machines ⋮ Formulas for calculating supremal controllable and normal sublanguages ⋮ The infimal prefix-closed and observable superlanguage of a given language ⋮ Supervisory Control with Partial Observations ⋮ Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Control of discrete-event systems with partial observations using coalgebra and coinduction

Cites Work

• Unnamed Item
• Unnamed Item
• On observability of discrete-event systems
• On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
• Modular supervisory control of discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Circuits including a given set of vertices
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Modular Feedback Logic for Discrete Event Systems

This page was built for publication: Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations