Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

DOI10.1109/TAC.2020.3015453MaRDI QIDQ5002129zbMATH OpenOpenAlexFDO

Authors Shigemasa Takai

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

Mathematics Subject Classification ID

Synthesis problems (93B50)

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)