M. R. Laurence, Michael P. Spathopoulos. The non-blocking forbidden state problem for compact rectangular hybrid automata. In 5th European Control Conference, ECC 1999, Karlsruhe, Germany, August 31 - September 3, 1999. pages 3364-3369, IEEE, 1999. [doi]
Abstract is missing.