P Tabuada

Symbolic models for unstable nonlinear control systems

M Zamani, G Pola, P Tabuada, 2010, Proceedings of the 2010 American Control Conference.

Approximate time-optimal control via approximate alternating simulations

P Tabuada, M Mazo, P. Tabuada, 2010, Proceedings of the 2010 American Control Conference.