Nedialko S. Nedialkov, Martin von Mohrenschildt. Rigorous simulation of hybrid dynamic systems with symbolic and interval methods. In American Control Conference, ACC 2002, Anchorage, Alaska, USA, May 8-10 2002. pages 140-147, IEEE, 2002. [doi]
Abstract is missing.