Discrete-Event Systems Fault Diagnosis

DOI10.1007/978-3-030-17728-7_9zbMath1425.93180OpenAlexW2952254402MaRDI QIDQ5237329

Alban Grastien, Marina Zanella

Publication date: 17 October 2019

Published in: Fault Diagnosis of Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17728-7_9

zbMATH Keywords

automata theorydiscrete-event systemsdiagnosisdiagnosabilityevents

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Observability (93B07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Diagnosis of discrete-event systems from uncertain temporal observations
• Diagnosis of large active systems
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Active acquisition of information for diagnosis and supervisory control of discrete event systems
• Graph-Based Algorithms for Boolean Function Manipulation
• A polynomial algorithm for testing diagnosability of discrete-event systems
• Introduction to Diagnosis of Active Systems
• Diagnosability of discrete-event systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Global and local consistencies in distributed fault diagnosis for discrete-event systems
• Fault Diagnosis for Timed Automata
• Formal Modeling and Analysis of Timed Systems