Abstract
In this paper, we consider the modeling power of condition templates, a framework for representing discrete event 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-instance and multiple-instance behaviors, and was developed for use in fault monitoring applications. We compare the class of timed languages representable by template models with classes of timed languages from timed automata models.
| Original language | English |
|---|---|
| Pages (from-to) | 4619-4625 |
| Number of pages | 7 |
| Journal | Proceedings of the IEEE Conference on Decision and Control |
| Volume | 5 |
| DOIs | |
| State | Published - 1997 |
| Event | Proceedings of the 1997 36th IEEE Conference on Decision and Control. Part 1 (of 5) - San Diego, CA, USA Duration: Dec 10 1997 → Dec 12 1997 |
ASJC Scopus subject areas
- Control and Systems Engineering
- Modeling and Simulation
- Control and Optimization