Fault-detection and diagnosis scheme by dynamic computation of finite-state automaton tables

Abstract

This paper addresses the problem of Fault-detection and Diagnosis using Finite-state Automaton (FSA) Models. These models partition the state-space into finite regions and contain information on system trajectory across these regions. A framework for modeling faults using FSA models is discussed. A Fault-detection shell which dynamically generates Automaton tables is developed. The algorithm is illustrated with a case study.