Search for dissertations about: "Fault diagnosability"

Found 4 swedish dissertations containing the words Fault diagnosability.

  2. 1. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Author : Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

    Abstract : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. READ MORE

  4. 2. Diagnosability performance analysis of models and fault detectors

    Author : Daniel Jung; Erik Frisk; Mattias Krysander; Michael Hofbaur; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault detection; Fault isolation; FDI; Kullback-Leibler divergence; Engine misfire detection;

    Abstract : Model-based diagnosis compares observations from a system with predictions using a mathematical model to detect and isolate faulty components. Analyzing which faults that can be detected and isolated given the model gives useful information when designing a diagnosis system. READ MORE

  5. 3. Diagnosability analysis and FDI system design for uncertain systems

    Author : Daniel Eriksson; Erik Frisk; Mattias Krysander; Alexander Medvedev; Linköpings universitet; []
    Keywords : ;

    Abstract : Our society depends on advanced and complex technical systems and machines, for example, cars for transportation, industrial robots in production lines, satellites for communication, and power plants for energy production. Consequences of a fault in such a system can be severe and result in human casualties, environmentally harmful emissions, high repair costs, or economical losses caused by unexpected stops in production lines. READ MORE

  6. 4. An Approach to Diagnosability Analysis for Interacting Finite State Systems

    Author : Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

    Abstract : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. READ MORE