Generalized detectability for discrete event systems

DOI10.1016/j.sysconle.2011.02.001zbMath1214.93066OpenAlexW2057595388WikidataQ41762986 ScholiaQ41762986MaRDI QIDQ539906

Feng Lin, Shaolong Shu

Publication date: 31 May 2011

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: http://europepmc.org/articles/pmc3117620

zbMATH Keywords

state estimationdiscrete event systemsdetectabilityD-detectability

Mathematics Subject Classification ID

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

Related Items (21)

An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete ⋮ Unnamed Item ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ On detectability of labeled Petri nets and finite automata ⋮ Trajectory detectability of discrete-event systems ⋮ Complexity of detectability, opacity and A-diagnosability for modular discrete event systems ⋮ Deciding detectability for labeled Petri nets ⋮ Minimal sensor activation and minimal communication in discrete-event systems ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Detectability of discrete event systems with dynamic event observation ⋮ Verification of C-detectability using Petri nets ⋮ Detectability of networked discrete event systems ⋮ Complexity of deciding detectability in discrete event systems ⋮ Detectability verification of probabilistic Boolean networks ⋮ Analysis of strong and strong periodic detectability of bounded labeled Petri nets ⋮ On verification of D-detectability for discrete event systems ⋮ Matrix approach to detectability of discrete event systems ⋮ Detectability of labeled weighted automata over monoids

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• On observability of discrete-event systems
• Diagnosability of discrete event systems and its applications
• Decentralized supervisory control of discrete-event systems
• Stabilization of discrete-event processes
• Observability of discrete event dynamic systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Output stabilizability of discrete-event dynamic systems
• Control of Infinite Behavior of Finite Automata
• Discrete-event control of nondeterministic systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Detectability of Discrete Event Systems

This page was built for publication: Generalized detectability for discrete event systems