Skip to Main content Skip to Navigation
Conference papers

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 [14, 15], in the framework of manifolds of jets of infinite order (see e.g. [18, 9]), 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal-mines-paristech.archives-ouvertes.fr/hal-00575672
Contributor : François Chaplais <>
Submitted on : Thursday, March 10, 2011 - 11:56:26 PM
Last modification on : Monday, September 28, 2020 - 2:14:06 PM
Long-term archiving on: : Saturday, June 11, 2011 - 2:52:25 AM

File

ISSAC08_FA_JL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00575672, version 1

Citation

Felix Antritter, Jean Lévine. Towards a Computer Algebraic Algorithm for Flat Output Determination. International Symposium on Symbolic and Algebraic Computation 2008, Jul 2008, Hagenberg, Austria. ⟨hal-00575672⟩

Share

Metrics

Record views

373

Files downloads

369