Approximately bisimilar symbolic models for nonlinear control systems (2007)

by Giordano Pola, Antoine Girard, Paulo Tabuada
Venue:In 46th IEEE Conference on Decision and Control