TY - RPRT TI - Thomas decompositions of parametric nonlinear control systems AU - Markus Lange-Hegermann AU - Daniel Robertz PY - 2012 UR - https://arxiv.org/abs/1212.0377 ID - 1212.0377 ER -