Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem

DOI10.1109/TAC.2018.2828098zbMath1423.93264OpenAlexW2800381196WikidataQ129953430 ScholiaQ129953430MaRDI QIDQ4562832

Xiang Yin, Stéphane Lafortune

Publication date: 18 December 2018

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

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items (3)

Performance safety enforcement in stochastic event graphs against boost and slow attacks ⋮ Modeling and control of heterogeneous field robots under partial observation ⋮ Performance safety enforcement in strongly connected timed event graphs

This page was built for publication: Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem