On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Fault monitoring is the online analysis of process observations to determine if they correspond to correct process operation. In automated manufacturing systems, the observed input and output signals can commonly be characterized as observed time functions of discrete events, and fault monitoring can only rely on the analysis of the giming and sequencing of these events. In many situations, these timing and sequencing relationships are not fixed, but rather depend upon underlying continuous state dynamics of the system. In this paper, we examine the issue of on-line fault monitoring of a class of hybrid dynamical systems in which the evolution of a continuous state is observed through and influenced by discrete events. Specifically, we consider a process for which the correct behavior is defined by the concurrent operation of any number of instances of a given hybrid automaton, where the hybrid automaton has a special structure formed from the composition of the discrete state structure of the actuators with the continuous state variable. We develop a distributed method for examining the discrete event observations from the process and determining on-line whether they are consistent with the model of correct behavior. The method presented, dynamically scaled templates, is an extension of the template monitoring method developed for monitoring of automated manufacturing systems.

Original languageEnglish
Title of host publicationHybrid Systems III - Verification and Control
EditorsRajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
Pages258-269
Number of pages12
DOIs
StatePublished - 1996
Event5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 - New Brunswick, United States
Duration: Oct 22 1995Oct 25 1995

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1066
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995
Country/TerritoryUnited States
CityNew Brunswick
Period10/22/9510/25/95

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

Dive into the research topics of 'On-line fault monitoring of a class of hybrid systems using templates with dynamic time scaling'. Together they form a unique fingerprint.

Cite this