[go: up one dir, main page]

Alonso-González et al., 2019 - Google Patents

Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach

Alonso-González et al., 2019

Document ID
10659892273894876170
Author
Alonso-González C
Pulido B
Publication year
Publication venue
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches

External Links

Snippet

In this chapter, the artificial intelligence approach to model-based diagnosis is introduced. First, we present the main ideas of the Consistency-Based Diagnosis (CBD) methodology (the no-function-in-structure principle, the use of models of correct behavior, and the …
Continue reading at link.springer.com (other versions)

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
    • G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
    • G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G06N5/025—Extracting rules from data
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/27—Built-in tests
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models

Similar Documents

Publication Publication Date Title
Cimatti et al. Formal verification of diagnosability via symbolic model checking
Metodi et al. A novel sat-based approach to model based diagnosis
US20090018802A1 (en) Modeling when connections are the problem
Nauta et al. LIFT: learning fault trees from observational data
Xiao et al. Robust fault prognosis of discrete-event systems against loss of observations
Fensel et al. Assumptions in model-based diagnosis
Adolfi et al. The computational complexity of circuit discovery for inner interpretability
Paoli et al. Diagnosability analysis of a class of hierarchical state machines
Alonso-González et al. Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach
Balduccini Answer set based design of highly autonomous, rational agents.
Cao et al. Active fault isolation for discrete event systems
van Cuyck et al. Compositionality in model-based testing
Bayerkuhnlein et al. Model-based diagnosis with ASP for non-groundable domains
De Roo et al. Verification and analysis of domain-specific models of physical characteristics in embedded control software
Toguyéni et al. Study of the diagnosability of automated production systems based on functional graphs
Cholewa et al. Statement networks development environment REx
Cavalcanti et al. Fault-based testing for refinement in CSP
Reshmila et al. Component level diagnosability of discrete event systems based on observations
Bogaerts 4 Reasoning with first-order logic
Bennoui et al. CBPNs: coloured behavioural petri nets for model-based diagnosis
Ligęza et al. Model-based diagnosis
De Santis et al. Observability, Diagnosability, and Predictability of Finite State Machines
OKKER et al. A pragmatic approach to active failure diagnosis of discrete-event systems
Padalkar Graph-based real-time fault diagnosis
Sarazin et al. Model Transformation from CBM to EPL Rules to Detect Failure Symptoms