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

DOI10.1109/TAC.2020.3015453zbMATH Open1467.93106OpenAlexW3048500797MaRDI QIDQ5002129FDOQ5002129

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]
• Title not available (Why is that?)
• 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)