# 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 :
Type de document :
Communication dans un congrès
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, 2008, 〈10.1109/CACSD.2008.4627339〉

https://hal.archives-ouvertes.fr/hal-00287399
Contributeur : Franck Cazaurang <>
Soumis le : mercredi 11 juin 2008 - 18:39:19
Dernière modification le : jeudi 11 janvier 2018 - 06:21:07

### 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, 2008, 〈10.1109/CACSD.2008.4627339〉. 〈hal-00287399〉

### Métriques

Consultations de la notice