TY - RPRT TI - Symbolic models for nonlinear control systems without stability assumptions AU - Majid Zamani AU - Giordano Pola AU - Manuel Mazo Jr. AU - Paulo Tabuada PY - 2011 UR - https://arxiv.org/abs/1002.0822 ID - 1002.0822 ER -