Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
From MaRDI portal
Publication:5353060
DOI10.1109/TAC.2012.2200373zbMath1369.93383OpenAlexW1998419498MaRDI QIDQ5353060
Klaus Werner Schmidt, José E. R. Cury
Publication date: 8 September 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2012.2200373
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Control/observation systems governed by ordinary differential equations (93C15)
Related Items
Verification complexity of a class of observational properties for modular discrete events systems ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems ⋮ Employing behavioral preorders to define controllability for nondeterministic discrete-event systems