A general architecture for intersection-based decentralized supervisory control of discrete event systems
From MaRDI portal
Publication:6575741
DOI10.1109/TAC.2023.3299552zbMATH Open1546.93471MaRDI QIDQ6575741FDOQ6575741
Authors: Akihito Hayano, Shigemasa Takai 
Publication date: 21 July 2024
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)
This page was built for publication: A general architecture for intersection-based decentralized supervisory control of discrete event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6575741)
