Abstract
This paper is devoted to the characterization of differentially flat nonlinear systems in implicit representation, after elimination of the input variables, in the differential geometric framework of manifolds of jets of infinite order. We extend the notion of Lie-Bäcklund equivalence, introduced in Fliess et al. (IEEE Trans Automat Contr 44(5):922–937, 1999), to this implicit context and focus attention on Lie-Bäcklund isomorphisms associated to flat systems, called trivializations. They can be locally characterized in terms of polynomial matrices of the indeterminate \({\frac{d}{dt}}\) , whose range is equal to the kernel of the polynomial matrix associated to the implicit variational system. Such polynomial matrices are useful to compute the ideal of differential forms generated by the differentials of all possible trivializations. We introduce the notion of a strongly closed ideal of differential forms, and prove that flatness is equivalent to the strong closedness of the latter ideal, which, in turn, is equivalent to the existence of solutions of the so-called generalized moving frame structure equations. Two sequential procedures to effectively compute flat outputs are deduced and various examples and consequences are presented.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Applicable Algebra in Engineering, Communication and Computing
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.