Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
From MaRDI portal
Publication:5002129
Cited in
(7)- Comments on ``Maximally permissive supervisor synthesis based on a new constraint transformation method [Automatica 48 (2012), 1097-1101]
- scientific article; zbMATH DE number 6936842 (Why is no real title available?)
- A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
- Verification and enforcement of strong infinite- and k-step opacity using state recognizers
- Optimal supervisory control of discrete event systems for cyclic tasks
This page was built for publication: Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5002129)