Thomas decompositions of parametric nonlinear control systems

Markus Lange-Hegermann,Daniel Robertz
DOI: https://doi.org/10.48550/arXiv.1212.0377
2012-12-03
Abstract:This paper presents an algorithmic method to study structural properties of nonlinear control systems in dependence of parameters. The result consists of a description of parameter configurations which cause different control-theoretic behaviour of the system (in terms of observability, flatness, etc.). The constructive symbolic method is based on the differential Thomas decomposition into disjoint simple systems, in particular its elimination properties.
Optimization and Control
What problem does this paper attempt to address?