Synthesis of Maximally-Permissive Supervisors for the Range Control Problem

DOI10.1109/TAC.2016.2644867MaRDI QIDQ4589448zbMATHOpenAlexFDO

Authors Xiang Yin, Stéphane Lafortune

Publication date 10 November 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2016.2644867

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Recommendations

• Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
• Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems
• Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
• Maximal Solutions in Decentralized Supervisory Control
• On asymptotically efficient solutions for a class of supervisory control problems
• Synthesis of optimal controllers for a class of maximization problems
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications

Cited in

(10)

• Marking diagnosability verification in labeled Petri nets
• Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• scientific article; zbMATH DE number 1820093 (Why is no real title available?)
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Optimal supervisory control with mean payoff objectives and under partial observation
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
• Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
• Supervisory control of state-tree structures with partial observation

This page was built for publication: Synthesis of Maximally-Permissive Supervisors for the Range Control Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589448)