Sökning: "Fault diagnosability"

Hittade 4 avhandlingar innehållade orden Fault diagnosability.

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

    Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :Daniel Eriksson; Erik Frisk; Mattias Krysander; Alexander Medvedev; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER