Diagnosis and supervision: model-based approaches
From MaRDI portal
Publication:6602236
DOI10.1007/978-3-030-06164-7_21zbMATH Open1547.6872MaRDI QIDQ6602236FDOQ6602236
Authors: Marie-Odile Cordier, Philippe Dague, Yannick Pencolé, Louise Travé-Massuyès 
Publication date: 11 September 2024
Recommendations
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Discrete event control/observation systems (93C65)
Cites Work
- Diagnosing multiple faults
- A theory of diagnosis from first principles
- The interacting multiple model algorithm for systems with Markovian switching coefficients
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Characterizing diagnoses and systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Distributed monitoring of concurrent and asynchronous systems
- Analytical redundancy and the design of robust failure detection systems
- Diagnosis of intermittent faults
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
- Qualitative modelling of linear dynamical systems with quantized state measurements
- A spectrum of definitions for temporal model-based diagnosis
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- A correction to the algorithm in Reiter's theory of diagnosis
- Diagnosability analysis of hybrid systems cast in a discrete-event framework
- Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
- Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study
- Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems
- Title not available (Why is that?)
- Hierarchical model-based diagnosis based on structural abstraction
- Process algebras for systems diagnosis.
- Title not available (Why is that?)
- A decentralised symbolic diagnosis approach
- Explanatory diagnoses and their characterization by circumscription
- Formalizing the repair process --- extended report
- Title not available (Why is that?)
- Diagnosis of hybrid dynamic systems based on the behavior automaton abstraction
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- An Optimized Algorithm of General Distributed Diagnosability Analysis for Modular Structures
- AI*IA 2005: Advances in Artificial Intelligence
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)
