Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
From MaRDI portal
Publication:5002129
DOI10.1109/TAC.2020.3015453zbMath1467.93106OpenAlexW3048500797MaRDI QIDQ5002129
Publication date: 26 July 2021
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2020.3015453
Related Items (2)
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
This page was built for publication: Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications