Towards refining temporal specifications into hybrid systems (1993)
Cached
Download Links
by
Thomas A. Henzinger
,
Zohar Manna
,
Amir Pnueli
| Venue: | HYBRID SYSTEMS, LECTURE NOTES IN COMPUTER SCIENCE 736 |
| Citations: | 17 - 2 self |
BibTeX
@INPROCEEDINGS{Henzinger93towardsrefining,
author = {Thomas A. Henzinger and Zohar Manna and Amir Pnueli},
title = {Towards refining temporal specifications into hybrid systems},
booktitle = {HYBRID SYSTEMS, LECTURE NOTES IN COMPUTER SCIENCE 736},
year = {1993},
pages = {60--76},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a formal framework for designing hybrid systems by stepwise refinement. Starting with a specification in hybrid temporal logic, we make successively more transitions explicit until we obtain an executable system.
Citations
| 514 | Conjoining specifications - Abadi, Lamport - 1995 |
| 437 | Symbolic Model Checking for Real-Time Systems - Henzinger, Nicollin, et al. - 1992 |
| 242 | A calculus of durations - Chaochen, Hoare, et al. - 1991 |
| 201 | An Old-Fashioned Recipe for Real Time - Abadi, Lamport - 1991 |
| 173 | Logics and models of real time: A survey - Alur, Henzinger - 1991 |
| 146 | Temporal Logic For Multilevel Reasoning About Hardware - Moszkowski - 1985 |
| 137 | From timed to hybrid systems - Maler, Manna, et al. - 1992 |
| 78 | From atp to timed graphs and hybrid systems - Nicollin, Sifakis, et al. - 1991 |
| 73 | A.: Timed Transition Systems - Henzinger, Manna, et al. - 1992 |
| 42 | Composing speci cations - Abadi, Lamport - 1993 |
| 21 | Sooner is safer than later - Henzinger - 1992 |
