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)
Analysis of algorithms and problem complexity (68Q25) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)
Related Items (4)
Robust and nonlinear control literature survey (No. 26) ⋮ Verification complexity of a class of observational properties for modular discrete events systems ⋮ How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
This page was built for publication: On Tractable Instances of Modular Supervisory Control