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

scientific article; zbMATH DE number 3959244 (Why is no real title available?)
scientific article; zbMATH DE number 3311755 (Why is no real title available?)
Decentralized supervisory control of discrete-event systems
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

(33)

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

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)