Observability and diagnosability of finite state systems: a unifying framework

DOI10.1016/J.AUTOMATICA.2017.02.042MaRDI QIDQ2409221zbMATH OpenOpenAlexFDO

Authors Elena De Santis, Maria D. Di Benedetto

Publication date 11 October 2017

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1608.03195

zbMATH Keywords

diagnosabilityfinite state systemsobservability

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Observability (93B07) Design techniques (robust design, computer-aided design, etc.) (93B51) Application models in control theory (93C95)

Abstract: In this paper, a general framework is proposed for the analysis and characterization of observability and diagnosability of finite state systems. Observability corresponds to the reconstruction of the system's discrete state, while diagnosability corresponds to the possibility of determining the past occurrence of some particular states, for example faulty states. A unifying framework is proposed where observability and diagnosability properties are defined with respect to a critical set, i.e. a set of discrete states representing a set of faults, or more generally a set of interest. These properties are characterized and the involved conditions provide an estimation of the delay required for the detection of a critical state, of the precision of the delay estimation and of the duration of a possible initial transient where the diagnosis is not possible or not required. Our framework makes it possible to precisely compare some of the observability and diagnosability notions existing in the literature with the ones introduced in our paper, and this comparison is presented.

Recommendations

• On observability with delay: antitheses and syntheses
• Diagnosis and automata
• Diagnosability of a class of discrete event systems based on observations
• Diagnosability of discrete faults with uncertain observations
• Secure diagnosability of hybrid dynamical systems

Cites work

• An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
• Codiagnosability and coobservability under dynamic observations: transformation and verification
• Critical observability of a class of hybrid systems and application to air traffic management
• Delayed Detectability of Discrete Event Systems
• Design of decentralized critical observers for networks of finite state machines: a formal method approach
• Detectability of Discrete Event Systems
• Diagnosability of discrete event systems and its applications
• Diagnosability of discrete-event systems
• Editorial: Observability and observer-based control of hybrid systems
• Fault diagnosis in discrete-event systems: incorporating timing information
• scientific article; zbMATH DE number 1956652 (Why is no real title available?)
• scientific article; zbMATH DE number 2085317 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Observability and controllability of piecewise affine and hybrid systems
• Observability and diagnosability of finite state systems: a unifying framework
• Observability for Switched Linear Systems: Characterization and Observer Design
• Observability of discrete event dynamic systems
• On Codiagnosability and Coobservability With Dynamic Observations
• On decentralized and distributed control of partially-observed discrete event systems
• On observability of discrete-event systems
• On the observability of nonlinear systems. I
• Supervisory control of discrete-event processes with partial observations
• The design of dynamical observers for hybrid systems: theory and application to an automotive control problem
• Think globally, act locally: decentralized supervisory control
• Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

Cited in

(8)

• Mode discernibility and bounded-error state estimation for nonlinear hybrid systems
• Robust discerning controls for the operating modes of linear switched systems subject to bounded unknown inputs
• Approximate predictability of pseudo-metric systems
• Observability and diagnosability of finite state systems: a unifying framework
• Secure diagnosability of hybrid dynamical systems
• Approximate current state observability of discrete-time nonlinear systems under cyber-attacks
• A new look at the critical observability of finite state machines from an algebraic viewpoint
• LMI-based conditions for mode detectability analysis of discrete-time switched linear systems estimated with minimum distance algorithm

This page was built for publication: Observability and diagnosability of finite state systems: a unifying framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409221)