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

(34)

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

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)