On Tractable Instances of Modular Supervisory Control
From MaRDI portal
Publication:5347774
DOI10.1109/TAC.2010.2089563zbMath1368.93373MaRDI QIDQ5347774
Nikhil Singh, Ramakrishna Gummadi, Ramavarapu S. Sreenivas
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
68Q25: Analysis of algorithms and problem complexity
93A13: Hierarchical systems
93C65: Discrete event control/observation systems
Related Items
How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems, 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, Robust and nonlinear control literature survey (No. 26)