Towards Refining Temporal Specifications into Hybrid Systems


Thomas A. Henzinger, Zohar Manna, and Amir Pnueli

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.

In Hybrid Systems I, Lecture Notes in Computer Science 736, Springer, 1993, pp. 60-76.


Download inofficial, sometimes updated PostScript / PDF document. © 1993 Springer.