Template languages for fault monitoring of timed discrete event processes

Deepa N. Pandalai; Larry E. Holloway

doi:10.1109/9.855548

Template languages for fault monitoring of timed discrete event processes

Deepa N. Pandalai, Larry E. Holloway

Research output: Contribution to journal › Article › peer-review

103 Scopus citations

Abstract

This paper introduces a new framework for modeling discrete event processes. This framework, called condition templates, allows the modeling of processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single and multiple-instance behaviors. This representation can then be used in on-line fault monitoring for confirming the correct operation of a system. In order to analyze the modeling power of condition templates, we compare the class of timed languages representable by template models with classes of timed languages from timed automata models. It is shown that templates are able to model timed languages corresponding to single and multiple-instance behaviors and combinations thereof. Templates can thus represent languages that could not be represented or monitored using time automata alone.

Original language	English
Pages (from-to)	868-882
Number of pages	15
Journal	IEEE Transactions on Automatic Control
Volume	45
Issue number	5
DOIs	https://doi.org/10.1109/9.855548
State	Published - May 2000

Bibliographical note

Funding Information:
Manuscript received August 4, 1998; revised June 12, 1999. Recommended by Associate Editor, W. Lin. The work of L. E. Holloway was supported by Rockwell International, by the National Science Foundation under Grants ECS-9807106 and CDA-9502645, by NASA under Grant NGT-40049, by the ARO under Grant DAAH04-96-1-0399, and by the Center for Robotics and Manufacturing Systems at the University of Kentucky. D. N. Pandalai is with Motorola Labs, Schaumberg, IL USA.

ASJC Scopus subject areas

Control and Systems Engineering
Computer Science Applications
Electrical and Electronic Engineering

Access to Document

10.1109/9.855548

Cite this

@article{68a2d6da14444a10b19c5865cdb8ca95,

title = "Template languages for fault monitoring of timed discrete event processes",

abstract = "This paper introduces a new framework for modeling discrete event processes. This framework, called condition templates, allows the modeling of processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single and multiple-instance behaviors. This representation can then be used in on-line fault monitoring for confirming the correct operation of a system. In order to analyze the modeling power of condition templates, we compare the class of timed languages representable by template models with classes of timed languages from timed automata models. It is shown that templates are able to model timed languages corresponding to single and multiple-instance behaviors and combinations thereof. Templates can thus represent languages that could not be represented or monitored using time automata alone.",

author = "Pandalai, {Deepa N.} and Holloway, {Larry E.}",

note = "Funding Information: Manuscript received August 4, 1998; revised June 12, 1999. Recommended by Associate Editor, W. Lin. The work of L. E. Holloway was supported by Rockwell International, by the National Science Foundation under Grants ECS-9807106 and CDA-9502645, by NASA under Grant NGT-40049, by the ARO under Grant DAAH04-96-1-0399, and by the Center for Robotics and Manufacturing Systems at the University of Kentucky. D. N. Pandalai is with Motorola Labs, Schaumberg, IL USA.",

year = "2000",

month = may,

doi = "10.1109/9.855548",

language = "English",

volume = "45",

pages = "868--882",

number = "5",

}

TY - JOUR

T1 - Template languages for fault monitoring of timed discrete event processes

AU - Pandalai, Deepa N.

AU - Holloway, Larry E.

N1 - Funding Information: Manuscript received August 4, 1998; revised June 12, 1999. Recommended by Associate Editor, W. Lin. The work of L. E. Holloway was supported by Rockwell International, by the National Science Foundation under Grants ECS-9807106 and CDA-9502645, by NASA under Grant NGT-40049, by the ARO under Grant DAAH04-96-1-0399, and by the Center for Robotics and Manufacturing Systems at the University of Kentucky. D. N. Pandalai is with Motorola Labs, Schaumberg, IL USA.

PY - 2000/5

Y1 - 2000/5

N2 - This paper introduces a new framework for modeling discrete event processes. This framework, called condition templates, allows the modeling of processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single and multiple-instance behaviors. This representation can then be used in on-line fault monitoring for confirming the correct operation of a system. In order to analyze the modeling power of condition templates, we compare the class of timed languages representable by template models with classes of timed languages from timed automata models. It is shown that templates are able to model timed languages corresponding to single and multiple-instance behaviors and combinations thereof. Templates can thus represent languages that could not be represented or monitored using time automata alone.

AB - This paper introduces a new framework for modeling discrete event processes. This framework, called condition templates, allows the modeling of processes in which both single-instance and multiple-instance behaviors are exhibited concurrently. A single-instance behavior corresponds to a trace from a single finite-state process, and a multiple-instance behavior corresponds to the timed interleavings of an unspecified number of identical processes operating at the same time. The template framework allows the modeling of correct operation for systems consisting of concurrent mixtures of both single and multiple-instance behaviors. This representation can then be used in on-line fault monitoring for confirming the correct operation of a system. In order to analyze the modeling power of condition templates, we compare the class of timed languages representable by template models with classes of timed languages from timed automata models. It is shown that templates are able to model timed languages corresponding to single and multiple-instance behaviors and combinations thereof. Templates can thus represent languages that could not be represented or monitored using time automata alone.

UR - http://www.scopus.com/inward/record.url?scp=0034186976&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0034186976&partnerID=8YFLogxK

U2 - 10.1109/9.855548

DO - 10.1109/9.855548

M3 - Article

AN - SCOPUS:0034186976

VL - 45

SP - 868

EP - 882

IS - 5

ER -

Template languages for fault monitoring of timed discrete event processes

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this