From Timed to Hybrid Systems

  title={From Timed to Hybrid Systems},
  author={Oded Maler and Zohar Manna and Amir Pnueli},
  booktitle={REX Workshop},
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems For timed systems we propose a speci cation language that refers to time only through age functions which measure the length of the most recent time interval in which a given formula has been continuously true We then consider hybrid systems which are systems consisting of a non trivial mix ture of discrete and continuous components such as a digital controller that controls a continuous environment… CONTINUE READING
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 436 citations. REVIEW CITATIONS



Citations per Year

437 Citations

Semantic Scholar estimates that this publication has 437 citations based on the available data.

See our FAQ for additional information.