Dans la première partie de cette thèse, nous caractérisons complètement toutes les x-sorties plates et leurs lieux singuliers pour un système avec deux contrôles qui est équivalent au système chaîné. Nous appliquons aussi ce résultat au système de robot mobile avec des remorques pour calculer toutes ses x-sorties plates. Dans la deuxième partie, nous présentons un nouveau modèle pour le système à n-barres dans l'espace de dimension m+1. Nous montrons que ce système est localement équivalent au système m-chaîné et caractérisons aussi ses lieux singuliers. Ensuite, nous analysons sa propriété de platitude et donnons ses sorties plates minimales. Dans la troisième partie, nous donnons des conditions nécessaires et suffisantes pour qu'une distribution soit équivalente à la distribution de Cartan pour des surfaces. Finalement, dans la quatrième partie, nous donnons des conditions nécessaires et suffisantes vérifiables pour qu'un système multi-entrées soit linéarisable par bouclage orbital. / In the first part of the Ph.D thesis, we characterize all x-flat outputs and their singular loci of any 2-inputs driftless control system wich is equivalent to the chained system. Then we apply that result to the n-trailer system in order to calculate all its x-flats outputs. In the second part, we establish a new model of the n-bar system in (m+1)-dimensional space. With the help of this model, we show that the system is locally equivalent to the m-chained system and also describe its singular locus. Furthermore we analyse its flatness property and determine its minimal flat outputs. In the third part, we give necessary and sufficient conditions for a distribution to be lacally equivalent to the Cartan distribution for surfaces. Finally, in the fourth part, we give necessary and sufficient verifiable conditions for a multi-input affine control system to be orbital feedback linearizable.

No description available.

No description available.

No description available.

No description available.

No description available.

State estimation is an essential part of any robotic autonomy solution. Continuous-time trajectory estimation is an attractive method because continuous trajectories can be queried at any time, allowing for fusion of multiple asynchronous, high-frequency measurement sources. This dissertation investigates various continuous-time estimation algorithms and their application to a handful of mobile robot autonomy and sensor calibration problems. In particular, we begin by analyzing and comparing two prominent continuous-time trajectory representations from the literature: Gaussian processes and splines, both on vector spaces and Lie groups. Our comparisons show that the two methods give comparable results so long as the same measurements and motion model are used. We then apply spline-based estimation to the problem of calibrating the extrinsic parameters between a camera and a GNSS receiver by fusing measurements from these two sensors and an IMU in continuous-time. Next, we introduce a novel estimation technique that uses the differential flatness property of dynamic systems to model the continuous-time trajectory of a robot on its flat output space, and show that estimating in the flat output space can provide superior accuracy and computation time than estimating on the configuration manifold. We use this new flatness-based estimation technique to perform pose estimation for velocity-constrained vehicles using only GNSS and IMU and show that modeling on the flat output space renders the global heading of the system observable, even when the motion of the system is insufficient to observe attitude from the measurements alone. We then show how flatness-based estimation can be used to calibrate the transformation between the dynamics coordinate frame and the coordinate frame of a sensor, along with other sensor-to-dynamics parameters, and use this calibration to improve the performance of flatness-based estimation when six-degree-of-freedom measurements are involved. Our final contribution involves nonlinear control of a quadrotor aerial vehicle. We use Lie theoretic concepts to develop a geometric attitude controller that utilizes logarithmic rotation error and prove that this controller is globally-asymptotically stable. We then demonstrate the ability of this controller to track highly-aggressive quadrotor trajectories.

Die Arbeit ist der regelungstheoretischen Betrachtung von mechanischen Systemen mit mehr Freiheitsgraden als Stellgrößen gewidmet. Dabei werden Aspekte aus den Teilgebieten Modellbildung, Systemanalyse, Steuerungsentwurf und Reglerentwurf behandelt. Den Ausgangspunkt bilden die aus dem Lagrange-Formalismus resultierenden Bewegungsgleichungen, für welche neben verschiedene partiell linearisierten Zustandsdarstellungen auch eine spezielle Byrnes-Isidori-Normalform eingeführt wird. Im Unterschied zu einer früher vorgeschlagenen ähnliche Normalform existiert diese "Lagrange-Byrnes-Isidori-Normalform" immer. Weiterhin wird die bedeutende Eigenschaft der differentiellen Flachheit im Zusammenhang mit mechanischen Systemen untersucht. Die bestehende Lücke zwischen den bekannten notwendigen und hinreichenden Flachheitsbedingungen bildet die Motivation zur Anpassung der Regelflächenbedingung auf mechanische Systeme in Lagrange-Byrnes-Isidori-Normalform. Parallel dazu wird die Flachheitsanalyse auf Basis des sogenannten Variationssystems betrachtet. Dabei handelt es sich um ein System von 1-Formen, die durch Anwendung der äußeren Ableitung auf die impliziten Systemgleichungen entstehen. Äquivalent dazu können auch die in einer rechteckigen Polynommatrix bezüglich des Zeitableitungsoperators zusammengefassten Koeffizienten der Basisformen untersucht werden. Die Flachheit eines Systems ist nun gerade äquivalent zur Existenz einer unimodularen Vervollständigung dieser Matrix, welche zudem noch eine bestimmte Integrabilitätsbedingung erfüllen muss. Durch Anwendung des Satzes von Frobenius können aus diesen in der bisherigen Formulierung nur schwer überprüfbaren Bedingungen deutlich einfachere hergeleitet werden. Für den Eingrößenfall ergibt sich dadurch eine erheblich Verringerung des Rechenaufwandes im Vergleich zum Referenzansatz. Im Mehrgrößenfall ist die Situation komplizierter: Durch das Fallenlassen der Unimodularitätsforderung und die Ausnutzung der speziellen Struktur mechanischer Systeme erhält man eine neue notwendige Bedingung für Flachheit, welche sich in endlich vielen Schritten auswerten lässt. Allerdings konnte mit dieser die vermutete Nichtflachheit für die untersuchten mechanischen Beispielsysteme nicht nachgewiesen werden. Einen weiteren Untersuchungsgegenstand bildet das Konzept der Konfigurationsflachheit. Für diese Eigenschaft ist gefordert, dass ein flacher Ausgang existieren muss, der nur von den Konfigurationskoordinaten abhängt. Basierend auf theoretischen Überlungen und dem Fehlen von Gegenbeispielen wird die Hypothese aufgestellt, dass für konservative mechanische Systeme Flachheit und Konfigurationsflachheit äquivalent sind. Für lineare mechanische Systeme kann diese Hypothese mit Hilfe der Kronecker-Normalform von Matrizenscharen verifiziert werden. Bezüglich des Entwurfs von Solltrajektorien werden neben der Darstellung bekannter Verfahren für lineare und für flache Systeme zwei weitere Ansätze genauer diskutiert. Der erste basiert auf der numerischen Lösung des aus dem Steuerungsentwurf resultierenden Randwertproblems. Dazu wird ein angepasstes Kollokationsverfahren konstruiert, welches die Elimination von Systemgrößen durch die explizite Berücksichtigung von Integratorketten ermöglicht, die bei partiell linearisierten Systemen stets auftreten. Unter bestimmten Bedingungen bewirkt dies eine erhebliche Reduktion der Rechenzeit. Der zweite Ansatz betrachtet die Überführung zwischen zwei Ruhelagen und beruht auf der Zeitumkehrsymmetrie, die alle konservativen mechanischen Systeme aufweisen. Er besteht aus mehreren Schritten: Zunächst wird für beide Ruhelagen eine Rückführung mit möglichst großem Attraktivitätsgebiet entworfen. Danach wird das System simulativ ausgehend von der Zielruhelage in der Startruhelage stabilisiert. Die so erhaltene Eingangstrajektorie kann dann bezüglich der Zeit invertiert werden, um das System aus der Startruhelage in die Nähe der Zielruhelage zu überführen, wo schließlich der entsprechende Regler aktiviert wird. In praktischen Realisierungen von unteraktuierten Regelungssystemen treten auf Grund von Effekten wie trockener Reibung und Getriebespiel oft Dauerschwingungen mit schwer vorhersagbaren und beeinflussbaren Parametern auf. Als Alternative zur klassischen Stabilisierung einer (theoretischen) Ruhelage wird deshalb eine Rückführung hergeleitet, welche für ein gegebenes lineares System einen stabilen Grenzzyklus mit vorgebbarer Frequenz und Amplitude asymptotisch stabilisiert.

Die Arbeit ist der regelungstheoretischen Betrachtung von mechanischen Systemen mit mehr Freiheitsgraden als Stellgrößen gewidmet. Dabei werden Aspekte aus den Teilgebieten Modellbildung, Systemanalyse, Steuerungsentwurf und Reglerentwurf behandelt. Den Ausgangspunkt bilden die aus dem Lagrange-Formalismus resultierenden Bewegungsgleichungen, für welche neben verschiedene partiell linearisierten Zustandsdarstellungen auch eine spezielle Byrnes-Isidori-Normalform eingeführt wird. Im Unterschied zu einer früher vorgeschlagenen ähnliche Normalform existiert diese "Lagrange-Byrnes-Isidori-Normalform" immer. Weiterhin wird die bedeutende Eigenschaft der differentiellen Flachheit im Zusammenhang mit mechanischen Systemen untersucht. Die bestehende Lücke zwischen den bekannten notwendigen und hinreichenden Flachheitsbedingungen bildet die Motivation zur Anpassung der Regelflächenbedingung auf mechanische Systeme in Lagrange-Byrnes-Isidori-Normalform. Parallel dazu wird die Flachheitsanalyse auf Basis des sogenannten Variationssystems betrachtet. Dabei handelt es sich um ein System von 1-Formen, die durch Anwendung der äußeren Ableitung auf die impliziten Systemgleichungen entstehen. Äquivalent dazu können auch die in einer rechteckigen Polynommatrix bezüglich des Zeitableitungsoperators zusammengefassten Koeffizienten der Basisformen untersucht werden. Die Flachheit eines Systems ist nun gerade äquivalent zur Existenz einer unimodularen Vervollständigung dieser Matrix, welche zudem noch eine bestimmte Integrabilitätsbedingung erfüllen muss. Durch Anwendung des Satzes von Frobenius können aus diesen in der bisherigen Formulierung nur schwer überprüfbaren Bedingungen deutlich einfachere hergeleitet werden. Für den Eingrößenfall ergibt sich dadurch eine erheblich Verringerung des Rechenaufwandes im Vergleich zum Referenzansatz. Im Mehrgrößenfall ist die Situation komplizierter: Durch das Fallenlassen der Unimodularitätsforderung und die Ausnutzung der speziellen Struktur mechanischer Systeme erhält man eine neue notwendige Bedingung für Flachheit, welche sich in endlich vielen Schritten auswerten lässt. Allerdings konnte mit dieser die vermutete Nichtflachheit für die untersuchten mechanischen Beispielsysteme nicht nachgewiesen werden. Einen weiteren Untersuchungsgegenstand bildet das Konzept der Konfigurationsflachheit. Für diese Eigenschaft ist gefordert, dass ein flacher Ausgang existieren muss, der nur von den Konfigurationskoordinaten abhängt. Basierend auf theoretischen Überlungen und dem Fehlen von Gegenbeispielen wird die Hypothese aufgestellt, dass für konservative mechanische Systeme Flachheit und Konfigurationsflachheit äquivalent sind. Für lineare mechanische Systeme kann diese Hypothese mit Hilfe der Kronecker-Normalform von Matrizenscharen verifiziert werden. Bezüglich des Entwurfs von Solltrajektorien werden neben der Darstellung bekannter Verfahren für lineare und für flache Systeme zwei weitere Ansätze genauer diskutiert. Der erste basiert auf der numerischen Lösung des aus dem Steuerungsentwurf resultierenden Randwertproblems. Dazu wird ein angepasstes Kollokationsverfahren konstruiert, welches die Elimination von Systemgrößen durch die explizite Berücksichtigung von Integratorketten ermöglicht, die bei partiell linearisierten Systemen stets auftreten. Unter bestimmten Bedingungen bewirkt dies eine erhebliche Reduktion der Rechenzeit. Der zweite Ansatz betrachtet die Überführung zwischen zwei Ruhelagen und beruht auf der Zeitumkehrsymmetrie, die alle konservativen mechanischen Systeme aufweisen. Er besteht aus mehreren Schritten: Zunächst wird für beide Ruhelagen eine Rückführung mit möglichst großem Attraktivitätsgebiet entworfen. Danach wird das System simulativ ausgehend von der Zielruhelage in der Startruhelage stabilisiert. Die so erhaltene Eingangstrajektorie kann dann bezüglich der Zeit invertiert werden, um das System aus der Startruhelage in die Nähe der Zielruhelage zu überführen, wo schließlich der entsprechende Regler aktiviert wird. In praktischen Realisierungen von unteraktuierten Regelungssystemen treten auf Grund von Effekten wie trockener Reibung und Getriebespiel oft Dauerschwingungen mit schwer vorhersagbaren und beeinflussbaren Parametern auf. Als Alternative zur klassischen Stabilisierung einer (theoretischen) Ruhelage wird deshalb eine Rückführung hergeleitet, welche für ein gegebenes lineares System einen stabilen Grenzzyklus mit vorgebbarer Frequenz und Amplitude asymptotisch stabilisiert.

The aim is to explore form through squares and with material create expression in dress / Program: Modedesignutbildningen