Diagnosis and supervision: model-based approaches

DOI10.1007/978-3-030-06164-7_21zbMATH Open1547.6872MaRDI QIDQ6602236

Louise Travé-Massuyès, Philippe Dague, Yannick Pencolé, Marie-Odile Cordier

Publication date: 11 September 2024

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Discrete event control/observation systems (93C65)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
Diagnosis of intermittent faults
Hierarchical model-based diagnosis based on structural abstraction
Diagnosing multiple faults
A theory of diagnosis from first principles
A correction to the algorithm in Reiter's theory of diagnosis
Characterizing diagnoses and systems
A spectrum of definitions for temporal model-based diagnosis
Qualitative modelling of linear dynamical systems with quantized state measurements
Distributed monitoring of concurrent and asynchronous systems
Process algebras for systems diagnosis.
Explanatory diagnoses and their characterization by circumscription
Formalizing the repair process --- extended report
Coordinated decentralized protocols for failure diagnosis of discrete event 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
A distributed approach for fault detection and diagnosis based on time Petri nets
A Decentralised Symbolic Diagnosis Approach
Analytical redundancy and the design of robust failure detection systems
The interacting multiple model algorithm for systems with Markovian switching coefficients
A polynomial algorithm for testing diagnosability of discrete-event systems
Diagnosability of discrete-event systems
Abstractions Refinement for Hybrid Systems Diagnosability Analysis
Diagnosis of Hybrid Dynamic Systems Based on the Behavior Automaton Abstraction
Polynomial-time verification of diagnosability of partially observed discrete-event systems
An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study
AI*IA 2005: Advances in Artificial Intelligence
Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems
Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks

This page was built for publication: Diagnosis and supervision: model-based approaches

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