Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar. Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition. In Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA. pages 6177-6182, IEEE, 2010. [doi]
Abstract is missing.