Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems

DOI10.1109/TAC.2010.2048634MaRDI QIDQ4978908zbMATH OpenOpenAlexFDO

Authors Shigemasa Takai, Ratnesh Kumar

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.2048634

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Recommendations

• Synthesis of Inference-Based Decentralized Control for Discrete Event Systems
• scientific article; zbMATH DE number 1836362
• scientific article; zbMATH DE number 2113059
• A framework for synthesis of communicating decentralised supervisors for discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control
• A general architecture for decentralized supervisory control of discrete-event systems
• scientific article; zbMATH DE number 238358
• Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems

Cited in

(1)

• A learning-based synthesis approach to decentralized supervisory control of discrete event systems with unknown plants

This page was built for publication: Synthesis of Over-Approximating Inference-Based Decentralized Supervisors for Discrete Event Systems

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