,
IEEE
IEEE Conference on Decision and Control
Scientific Computing

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