Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem
From MaRDI portal
Publication:4562832
DOI10.1109/TAC.2018.2828098zbMath1423.93264MaRDI QIDQ4562832
Publication date: 18 December 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93C65: Discrete event control/observation systems
Related Items
Performance safety enforcement in strongly connected timed event graphs, Performance safety enforcement in stochastic event graphs against boost and slow attacks