# On the Formal Characterization of Reduced-Order Flat Outputs over an Ore Algebra

Abstract : In this paper, a formal and effective methodology is proposed to characterize a subset of reduced-order flat outputs for nonlinear implicit systems described in the differential geometric framework of jets of infinite order. The proposed methodology includes an original management of the degrees of freedom left by the polynomial matrices approach. First, a reduced-order basis of the free left $D$-module, finitely presented by the variational system, is obtained by computing some reduced-order bases of the left nullspace of Ore polynomial matrices and by using the weak Popov form over an Ore algebra. Under the assumption that the latter module is free, a structural constraint is introduced in the generalized Cartan moving frame structure equations in order to obtain a subset of reduced-order flat outputs.
Keywords :
Domain :

https://hal.archives-ouvertes.fr/hal-00287399
Contributor : Franck Cazaurang <>
Submitted on : Wednesday, June 11, 2008 - 6:39:19 PM
Last modification on : Thursday, January 11, 2018 - 6:21:07 AM

### Citation

Vincent Morio, Franck Cazaurang, Ali Zolghadri. On the Formal Characterization of Reduced-Order Flat Outputs over an Ore Algebra. 2nd IEEE Multi-conference on Systems and Control (MSC) / 9th IEEE International Symposium on Computer-aided Control System Design (CACSD), Sep 2008, San Antonio, Texas, United States. pp.207 - 214, ⟨10.1109/CACSD.2008.4627339⟩. ⟨hal-00287399⟩

Record views