On Tractable Instances of Modular Supervisory Control

DOI10.1109/TAC.2010.2089563MaRDI QIDQ5347774zbMATH OpenFDO

Authors Ramakrishna Gummadi, Nikhil Singh, R. Sreenivas

Publication date 25 August 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2010.2089563

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Modular supervisory control of discrete-event systems
• scientific article; zbMATH DE number 3959244
• Modular supervisory control and coordination of state tree structures
• scientific article; zbMATH DE number 1836359
• scientific article; zbMATH DE number 4101059
• Modular Implementation of Robust Supervisory Controllers for Discrete Event Systems
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
• Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
• Supervisory control of modular systems with global specification languages
• On deadlock-free modular supervisory control of discrete-event systems

Cited in

(6)

• 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
• Modular supervisory control and coordination of state tree structures
• Robust and nonlinear control literature survey (No. 26)
• How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems
• Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution

This page was built for publication: On Tractable Instances of Modular Supervisory Control

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5347774)