Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
From MaRDI portal
Publication:4589448
DOI10.1109/TAC.2016.2644867zbMath1373.93221MaRDI QIDQ4589448
Publication date: 10 November 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Related Items
Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems, 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, Optimal supervisory control with mean payoff objectives and under partial observation, Marking diagnosability verification in labeled Petri nets