Verification of Delay Co-Observability for Discrete Event Systems

DOI10.1109/TCNS.2019.2913562MaRDI QIDQ4969367zbMATH OpenOpenAlexFDO

Authors Pan Xu, Shaolong Shu, Feng Lin

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

Mathematics Subject Classification ID

Operations research, mathematical programming (90-XX) Systems theory; control (93-XX)

Cited in

(4)

• 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
• Verification of k-Step and Definite Critical Observability in Discrete-Event Systems
• Minimization of sensor activation in discrete-event systems with control delays and observation delays

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)