Symbolic models for nonlinear control systems: Alternating approximate bisimulations,” (2009)

by G Pola, P Tabuada
Venue:SIAM Journal on Control and Optimization,