,
IEEE
IEEE Conference on Decision and Control
Scientific Computing

Collins, P., & Lygeros, J. (2005). Computability of finte-time sets for hybrid systems. In Proceedings of IEEE Conference on Decision and Control 2005 (pp. 4688–4693). IEEE.