TY - RPRT TI - Change-Of-Bases Abstractions for Non-Linear Systems AU - Sriram Sankaranarayanan PY - 2012 UR - https://arxiv.org/abs/1204.4347 ID - 1204.4347 ER -