Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
From MaRDI portal
Publication:4589448
DOI10.1109/TAC.2016.2644867zbMath1373.93221OpenAlexW2566064614MaRDI QIDQ4589448
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
Related Items (8)
Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ Marking diagnosability verification in labeled Petri nets ⋮ On the relation between reactive synthesis and supervisory control of non-terminating processes ⋮ Supervisory control of state-tree structures with partial observation ⋮ Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
This page was built for publication: Synthesis of Maximally-Permissive Supervisors for the Range Control Problem