An improved approach for verifying delayed detectability of discrete-event systems

DOI10.1016/j.automatica.2020.109291zbMath1461.93314OpenAlexW3089339259MaRDI QIDQ2663854

Zhaocong Liu, Yang Liu, Xiang Yin, Shao-Yuan Li

Publication date: 20 April 2021

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2020.109291

zbMATH Keywords

detectabilitydelayed-state informationpartially-observed discrete-event systems

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07) Delay control/observation systems (93C43)

Cites Work

• Generalized detectability for discrete event systems
• On observability of discrete-event systems
• Verification of detectability in probabilistic finite automata
• Verification complexity of a class of observational properties for modular discrete events systems
• Trajectory detectability of discrete-event systems
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
• Deciding detectability for labeled Petri nets
• Detectability of networked discrete event systems
• Complexity of deciding detectability in discrete event systems
• State estimation of max-plus automata with unobservable events
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
• The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
• A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
• Observability of discrete event dynamic systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Detectability Measure for State Estimation of Discrete Event Systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Detectability of Discrete Event Systems
• Delayed Detectability of Discrete Event Systems
• Enforcing Detectability in Controlled Discrete Event Systems