Title
Towards a computer algebraic algorithm for flat output determination
Abstract
This contribution deals with nonlinear control systems. More precisely, we are interested in the formal computation of a so-called flat output, a particular generalized output whose property is, roughly speaking, that all the integral curves of the system may be expressed as smooth functions of the components of this flat output and their successive time derivatives up to a finite order (to be determined). Recently, a characterization of such flat output has been obtained in the framework of manifolds of jets of infinite order that yields an abstract algorithm for its computation. In this paper it is discussed how these conditions can be checked using computer algebra. All steps of the algorithm are discussed for the simple (but rich enough) example of a non holonomic car.
Year
DOI
Venue
2008
10.1145/1390768.1390773
ISSAC
Keywords
Field
DocType
integral curve,computer algebraic algorithm,computer algebra,abstract algorithm,particular generalized output,finite order,formal computation,contribution deal,flat output determination,so-called flat output,flat output,infinite order,control system,control systems
Flatness (systems theory),Discrete mathematics,Holonomic,Nonlinear control,Symbolic computation,Algebraic algorithms,Control system,Manifold,Mathematics,Computation
Conference
Citations 
PageRank 
References 
4
0.74
5
Authors
2
Name
Order
Citations
PageRank
Felix Antritter1165.75
Jean Lévine223151.06