Minimization of Timed Transition Systems (1992)
by
Rajeev Alur
,
Costas Courcoubetis
,
R. Alur
,
C. Courcoubetis
,
N. Halbwachs
,
D. Dill
,
H. Wong-toi
| Citations: | 70 - 6 self |
BibTeX
@INPROCEEDINGS{Alur92minimizationof,
author = {Rajeev Alur and Costas Courcoubetis and R. Alur and C. Courcoubetis and N. Halbwachs and D. Dill and H. Wong-toi},
title = {Minimization of Timed Transition Systems},
booktitle = {},
year = {1992},
pages = {340--354},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, we show how to apply state-minimization techniques to verification algorithms for real-time systems. We use timed automata as a representation of real-time systems [11, 2]. A timed automaton provides a way of annotating a state-transition graph of the system with timing constraints. It operates with a finite-state control and a finite number of fictitious time-measuring elements called
