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 language | English |
---|---|
Title of host publication | Hybrid Systems III - Verification and Control |
Editors | Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag |
Pages | 258-269 |
Number of pages | 12 |
DOIs | |
State | Published - 1996 |
Event | 5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 - New Brunswick, United States Duration: Oct 22 1995 → Oct 25 1995 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1066 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995 |
---|---|
Country/Territory | United States |
City | New Brunswick |
Period | 10/22/95 → 10/25/95 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1996.
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science