Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
From MaRDI portal
Publication:2059364
DOI10.1016/J.AUTOMATICA.2021.109978zbMath1478.93404OpenAlexW3211782872MaRDI QIDQ2059364
Publication date: 14 December 2021
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2021.109978
partial observationmaximally permissive supervisorsimilarity controlnondeterministic discrete event system
Cites Work
- Unnamed Item
- 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
- On-line control of partially observed discrete event systems
- Effective computation of an \(L_{m}(G)\)-closed, controllable, and observable sublanguage arising in supervisory control
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- A lattice-theoretical fixpoint theorem and its applications
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
- Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control
This page was built for publication: Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems