Synthesis of Maximally-Permissive Supervisors for the Range Control Problem

DOI10.1109/TAC.2016.2644867zbMATH Open1373.93221OpenAlexW2566064614MaRDI QIDQ4589448FDOQ4589448

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

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

Mathematics Subject Classification ID

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

Cited In (10)

• 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
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions
• Supervisory control of state-tree structures with partial observation
• Marking diagnosability verification in labeled Petri nets
• Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
• Optimal supervisory control with mean payoff objectives and under partial observation
• Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis
• Title not available (Why is that?)

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)