Diagnosability of Discrete Faults with Uncertain Observations

DOI10.1007/978-3-319-74962-4_10zbMath1458.93162OpenAlexW2793308926MaRDI QIDQ5117253

Marina Zanella, Alban Grastien

Publication date: 20 August 2020

Published in: Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74962-4_10

zbMATH Keywords

discrete-event systemsuncertain observationsdiagnosis taskobservable effecttwin plants

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Observability (93B07) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Diagnosability of discrete event systems with modular structure
• Diagnosis of discrete-event systems from uncertain temporal observations
• Diagnosis of large active systems
• Diagnosability analysis of hybrid systems cast in a discrete-event framework
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Introduction to Discrete Event Systems
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Diagnosability of discrete-event systems
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Global and local consistencies in distributed fault diagnosis for discrete-event systems
• Advances in Artificial Intelligence
• Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems