Metric Temporal Logic with Durations

@article{Lakhnech1995MetricTL,
  title={Metric Temporal Logic with Durations},
  author={Yassine Lakhnech and Jozef Hooman},
  journal={Theor. Comput. Sci.},
  year={1995},
  volume={138},
  pages={169-199}
}
We present a formal framework based on metric temporal logic (MTL) for specifying and verifying real-time systems with a continuous environment. Metric temporal logic is extended to allow speciication of properties about duration of system's states. We prove that every formula of the duration calculus (DC) can be translated into an equivalent MTL-R formula. Expressiveness of DC and MTL-R are compared. We formulate axioms for MTL-R and a sound rule for proving duration properties of timed… CONTINUE READING

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 12 extracted citations

Information flow in hybrid systems

ACM Trans. Embedded Comput. Syst. • 2004
View 3 Excerpts

References

Publications referenced by this paper.
Showing 1-10 of 35 references

De ning liveness

B. Alpern, F. B. Schneider
Inf. Proc. Letters 21 • 1985
View 5 Excerpts
Highly Influenced

An Old-Fashioned Recipe for Real Time

REX Workshop • 1991
View 6 Excerpts
Highly Influenced

From ATP to timed graphs and hybrid systems

Acta Informatica • 1991
View 4 Excerpts
Highly Influenced

The temporal logic of programs

18th Annual Symposium on Foundations of Computer Science (sfcs 1977) • 1977
View 13 Excerpts
Highly Influenced

Skakkeb k, Liveness and fairness in a Duration Calculus

J U.
Proc. CONCUR '94, • 1994
View 1 Excerpt

The Temporal Logic of Actions

ACM Trans. Program. Lang. Syst. • 1994

An approach to the description and analysis of hybrid systems

X. Nicollin, J Sifakis, S. Yovine
in: R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel, ed., Workshop on hybrid systems, Lecture Notes in Compute Science, Vol. 736 • 1993
View 1 Excerpt

System Speci cation and Re nement in Temporal Logic

A. Pnueli
in: Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Compute Science, Vol. 652 • 1993

Similar Papers

Loading similar papers…