Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas. Approximate timed abstractions of hybrid automata. In 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007. pages 4045-4050, IEEE, 2007. [doi]
Abstract is missing.