Verification of Delay Co-Observability for Discrete Event Systems
From MaRDI portal
Publication:4969367
DOI10.1109/TCNS.2019.2913562OpenAlexW2940611068MaRDI QIDQ4969367FDOQ4969367
Feng Lin, Shaolong Shu, Pan Xu
Publication date: 5 October 2020
Published in: IEEE Transactions on Control of Network Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tcns.2019.2913562
Cited In (3)
- Verification of $k$-Step and Definite Critical Observability in Discrete-Event Systems
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method
This page was built for publication: Verification of Delay Co-Observability for Discrete Event Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4969367)