Thomas decomposition and nonlinear control systems
From MaRDI portal
Abstract: This paper applies the Thomas decomposition technique to nonlinear control systems, in particular to the study of the dependence of the system behavior on parameters. Thomas' algorithm is a symbolic method which splits a given system of nonlinear partial differential equations into a finite family of so-called simple systems which are formally integrable and define a partition of the solution set of the original differential system. Different simple systems of a Thomas decomposition describe different structural behavior of the control system in general. The paper gives an introduction to the Thomas decomposition method and shows how notions such as invertibility, observability and flat outputs can be studied. A Maple implementation of Thomas' algorithm is used to illustrate the techniques on explicit examples.
Recommendations
- Thomas decomposition of algebraic and differential systems
- Algorithmic Thomas decomposition of algebraic and differential systems
- On decomposition of algebraic PDE systems into simple subsystems
- scientific article; zbMATH DE number 4104788
- Gauss-Bruhat decomposition as an example of Thomas decomposition
Cites work
- A characteristic set method for ordinary difference polynomial systems
- Algorithmic Thomas decomposition of algebraic and differential systems
- Characteristic set method for differential-difference polynomial systems
- Computing representations for radicals of finitely generated differential ideals
- Counting solutions of polynomial systems via iterated fibrations
- Decomposing polynomial systems into simple systems
- Differential-algebraic decision methods and some applications to system theory
- Elimination in control theory
- Elimination methods
- Flatness and defect of non-linear systems: introductory theory and examples
- Flatness and Monge parameterization of two-input systems, control-affine with 4 states or general with 3 states
- Formal algorithmic elimination for PDEs
- scientific article; zbMATH DE number 1650885 (Why is no real title available?)
- scientific article; zbMATH DE number 3116993 (Why is no real title available?)
- scientific article; zbMATH DE number 4200085 (Why is no real title available?)
- scientific article; zbMATH DE number 46299 (Why is no real title available?)
- scientific article; zbMATH DE number 517393 (Why is no real title available?)
- scientific article; zbMATH DE number 635677 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 3435336 (Why is no real title available?)
- scientific article; zbMATH DE number 1979251 (Why is no real title available?)
- scientific article; zbMATH DE number 829790 (Why is no real title available?)
- scientific article; zbMATH DE number 3207354 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- Involutive bases of polynomial ideals
- Nonlinear control systems. An algebraic setting
- Obstructions to genericity in study of parametric problems in control theory
- On decomposition of algebraic PDE systems into simple subsystems
- On necessary and sufficient conditions for differential flatness
- On the ext-computability of Serre quotient categories
- On the theories of triangular sets
- Recent progress in an algebraic analysis approach to linear systems
- The differential counting polynomial
- The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
- The RegularChains library in Maple 10
- Thomas decomposition of algebraic and differential systems
Cited in
(5)
Describes a project that uses
Uses Software
This page was built for publication: Thomas decomposition and nonlinear control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5118404)
