Bounded model checking of hybrid dynamical systems (2005)

by N Giorgetti, G J Pappas, A Bemporad
Venue:In Proc. of 44th IEEE Int Conf. CDC