Formulas for calculating supremal controllable and normal sublanguages

Recommendations

Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
On nonconflicting languages that arise in supervisory control of discrete event systems
On computation of supremal controllable, normal sublanguages
On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control

Cites work

Decentralized supervisory control of discrete-event systems
scientific article; zbMATH DE number 3959244 (Why is no real title available?)
scientific article; zbMATH DE number 3311755 (Why is no real title available?)
Modular supervisory control of discrete-event systems
On observability of discrete-event systems
On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
Supervisor specification and synthesis for discrete event systems
Supervisory Control of a Class of Discrete Event Processes
Supervisory control of discrete-event processes with partial observations
Supervisory control of timed discrete-event systems under partial observation
Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations

Cited in

(36)

On tolerable and desirable behaviors in supervisory control of discrete event systems
On nonconflicting languages that arise in supervisory control of discrete event systems
On controllability and normality of discrete event dynamical systems
Decentralized supervisory control of discrete event systems with nonhomogeneous control structure
Input/output discrete event processes and communication delays
On-line control of partially observed discrete event systems
Maximizing robustness of supervisors for partially observed discrete event systems.
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
Characterizations and effective computation of supremal relatively observable sublanguages
Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
The infimal prefix-closed and observable superlanguage of a given language
On optimal control of a class of partially observed discrete event systems
Supervisory control of discrete event systems
Supervisory control synthesis of discrete-event systems using a coordination scheme
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Supervisory control of state-tree structures with partial observation
Estimate based limited lookahead supervisory control for closed language specifications
Robust nonblocking supervisory control of discrete-event systems under partial observation
Supervisory control of modular systems with global specification languages
Control of discrete-event systems with modular or distributed structure
On computation of supremal controllable, normal sublanguages
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages
Supremum Operators and Computation of Supremal Elements in System Theory
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
An algorithm for computing the mask value of the supremal normal sublanguage of a legal language
Supervisory Control with Complete Observations
Supervisory Control with Partial Observations
Coordination control of distributed discrete-event systems
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
Logical models of discrete even systems: a comparative exposition
A survey on compositional algorithms for verification and synthesis in supervisory control
Extremal solutions of inequations over lattices with applications to supervisory control
Hierarchical supervisory control of networked and cyber-attacked discrete-event systems
Opacity of discrete event systems and its applications
Control of discrete-event systems with partial observations using coalgebra and coinduction

This page was built for publication: Formulas for calculating supremal controllable and normal sublanguages

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