@article{6082386,
    Author = {Zamani, Majid and Pola, Giordano and Mazo, Manuel and Tabuada, Paulo},
    File = {Symbolic models for nonlinear control systems without stability assumptions - 1002.0822 - t.pdf},
    Journal = {IEEE Transactions on Automatic Control},
    Number = {7},
    Pages = {1804-1809},
    Title = {Symbolic Models for Nonlinear Control Systems Without Stability Assumptions},
    Volume = {57},
    Year = {2012},
    bdsk-url-1 = {https://doi.org/10.1109/TAC.2011.2176409},
    date-added = {2021-05-17 18:47:42 +0200},
    date-modified = {2021-05-17 18:47:42 +0200},
    doi = {10.1109/TAC.2011.2176409}
}

@article{6082386, Author = {Zamani, Majid and Pola, Giordano and Mazo, Manuel and Tabuada, Paulo}, File = {Symbolic models for nonlinear control systems without stability assumptions - 1002.0822 - t.pdf}, Journal = {IEEE Transactions on Automatic Control}, Number = {7}, Pages = {1804-1809}, Title = {Symbolic Models for Nonlinear Control Systems Without Stability Assumptions}, Volume = {57}, Year = {2012}, bdsk-url-1 = {https://doi.org/10.1109/TAC.2011.2176409}, date-added = {2021-05-17 18:47:42 +0200}, date-modified = {2021-05-17 18:47:42 +0200}, doi = {10.1109/TAC.2011.2176409} }