From Duration Calculus To Linear Hybrid Automata


We relate two diierent approaches for the speciication and veriication of hybrid systems. The rst one is logic-based and uses the framework of the Calculus of Durations (CoD), the second one is automata-based and uses algorithmic analysis techniques for hybrid automata. Fragments of CoD have been identiied in 13, 19] for the description of control systems… (More)
DOI: 10.1007/3-540-60045-0_51


Cite this paper

@inproceedings{Bouajjani1995FromDC, title={From Duration Calculus To Linear Hybrid Automata}, author={Ahmed Bouajjani and Yassine Lakhnech and Riadh Robbana}, booktitle={CAV}, year={1995} }