liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Constructive Commutative Algebra in Nonlinear Control Theory
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1991 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

This thesis consists of two parts. The first part is a short review of those results from commutative algebra, algebraic geometry and differential algebra that are needed in this work. The emphasis is on constructive methods. The second part contains applications of these methods to topics in control theory, mainly nonlinear systems.

When studying nonlinear control systems it is common to consider C00 affine systems, with differential geometry as a mathematical framework. If instead we regard systems where all nonlinearities are polynomial the most natura] tool is commutative algebra. One of the most important constructive methods in commutative algebra is Gröbner bases, which are used for several different purposes in this thesis.

Conversion from state space realization to input-output form is one of the problems solved. Furthermore, transformations between different realizations of the same input-output equation can be found with the help of elimination theory. Testing algebraic observability is also possible to do with Gröbner bases.

In Lyapunov theory the classical problem of finding the critical level of a local Lyapunov function of a system is addressed. Some variants of this problem are used to analyze the stability and performance robustness of a system subject to structured uncertainty. Similarly, it is possible to make the optimal choice of parameters in a family of local Lyapunov functions for a given system.

A problem that has not been solved entirely constructively is the question of when a polynomial input-output differential equation has a rational state space realization. This problem is showed to be strictly harder than the one of determining unirationality of hypersurfaces, which is an open question in algebraic geometry.

Place, publisher, year, edition, pages
Linköping: Linköping University , 1991. , 192 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 261
National Category
Control Engineering
URN: urn:nbn:se:liu:diva-98080ISBN: 91-7870-827-3OAI: diva2:652086
Public defence
1991-12-18, C3, hus C, Campus Valla, Linköpings universitet, Linköping, 10:15 (English)
Available from: 2013-10-09 Created: 2013-09-29 Last updated: 2013-11-21Bibliographically approved

Open Access in DiVA

No full text

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 158 hits
ReferencesLink to record
Permanent link

Direct link