L'objectif de cette thèse est de développer des méthodes de synthèses d'observateurs et des contrôleurs basés sur un observateur pour les systèmes à retard. Différentes classes de systèmes ont été traitées avec différents types de retard. Trois méthodes ont été développées. La première méthode traite des systèmes non linéaires avec des non-linéarités lipschitziennes et consiste à transformer le système d'origine à un système LPV grâce à une reformulation de la propriété classique de Lipschitz. Cette technique est formulée pour les cas continu et discret, respectivement. Nous avons démontré, à travers des exemples numériques, que cette technique offre des conditions de synthèse moins restrictives par rapport aux résultats existants dans la littérature. La seconde méthode est développée pour une classe de systèmes singuliers avec des perturbations. La principale difficulté résidait dans la présence des dérivées des perturbations qui entravent l'analyse de la stabilité et pour laquelle deux approches ont été proposées: une approche Hinf en utilisant une fonctionnelle de Lyapunov-Krasovskii spéciale dépendante des perturbations et une approche basée sur l'utilisation d'un critère de performance W1;2. La dernière méthode est basée sur l'utilisation des matrices de pondération libres pour résoudre le problème de contrôle des systèmes non-linéaires à retards inconnus. La solution proposée fournit une condition de synthèse LMI garantissant la stabilisation du système en boucle fermée malgré la présence du retard inconnu, au lieu d'une inégalité matricielle linéaire itérative ILMI trouvée habituellement dans la littérature.

Les activités de recherches menées dans le cadre de cette thèse sont divisées en deux parties: Dans la première partie de cette thèse, nous allons présenter un cas particulier du problème de classification des solutions algébriques de l'équation de Painlevé 6. Ce cas simple se produit quand une solution algébrique donnée satisfait chaque membre d'une famille non-triviale d'équations. Une telle famille non-triviale d'équations contenant au moins deux éléments distincts satisfait toute la famille correspondante à la droite affine contenant ces deux éléments. Ainsi, toute famille non-triviale définie comme précédent, correspondant à un plan affine de l'espace des paramètres. Dans cette partie, nous donnons une classification de tous ces espaces affines avec leurs solutions algébriques associées. La preuve du théorème n'utilise pas la notion d'équations de Picard-Fuchs. On pourra constater que les solutions coïncident avec les solutions obtenues récemment par Doran qui a utilisé des déformations des surfaces elliptiques avec quatres fibres singulières et leurs équations de Picard-Fuchs associées. Dans la suite, on va essayer de donner une explication partielle de cette coïncidence. Rappelons que chaque solution d'une équation de Painlevé 6 donnée est gouvernée par une déformation isomonodromique d'un système Fuchsian approprié possédant quatre points singuliers. Nous disons qu'une telle déformation est géométrique si le système fondamental de solutions est entièrement constituté d'intégrales Abéliennes, qui dépendent algébriquement du paramètre de déformation. Une déformation géométrique d'un système Fuchsien est isomonodormique et définit une solution algébrique d'une équation de Painlevé 6 appropriée. Quand ceci est vrai, nous disons que la solution algébrique de l'équation de Painlevé 6 est d'origine géométrique. Nous montrons que lorsque une solution satisfait une famille d'équations de Painlevé 6, alors ils existent aux moins deux autres familles d'équations de Painlevé 6, telles que cette solution soient d'origine géométrique pour les deux familles. Dans le deuxième partie, on va présenter quelques définitions et notions de base sur les systèmes à retard. Le modèle choisi sera présenté, ainsi que l'existence et l'unicité des solutions pour les équations différentielles fonctionnelles (EDFR) associées. On introduit les méthodes des fonctionnelles de Lyapunov-Krasovskii et de fonction de Razumikhin, qui donnent des conditions suffisantes pour assurer la stabilité de ces systèmes à retard. Puis, on considère des classes de systèmes incertains à retard dans l'état et dans la commande. En utilisant des techniques de Lyapunov, on propose des classes de contrôleurs continus, qui assurent la stabilité globale uniforme exponentielle de ces systèmes en boucle fermée, en imposant quelques conditions assorties sur les incertitudes. La fonction de Laypunov quadratique du système nominal stable (c'est-à-dire, le système assosié en l'absence des incertitudes et du retard) est utilisé comme fonction de Lyapunov candidate du système global. Puis, on va étudier la stabilité absolue d'une classe de systèmes à retard de type de Lurie. Cette classe est présentée comme une interconnexion du feedback d'un système dynamique linéaire et d'une non-linéarité staisfaisant la condition du secteur. En utilisant quelques inégalités intégrales, on obtient une nouvelle condition suffisante de stabilité absolue présentée sous forme d'inégalités matricielles linéaires (LMI). Cette condition améliore celle donnée par Han. Par la suite, on utilisera cette nouvelle condition pour construire un contrôleur basé sur un observateur dépendant du retard, tel que le système erreur soit présenté comme une interconnexion du feedback d'un système linéaire et d'une non-linéarité multiple dépendante aussi du retard et satisfaisant la condition du secteur. Dans la conception de l'observateur, on va étendre les travaux d'Arcak, Kokotovic et Fan dans le cas sans retard.

Les interfaces haptiques à retour d'effort sont des dispositifs robotiques capables deproduire des forces à destination de l'utilisateur en téléopération et en réalité virtuelle. L'utilisation d'interface à retour d'effort en Conception Assistée par Ordinateur (CAO) offre de nouvelles perspectives pour la création et la conception de formes 3D grâce à une interactivité à la fois visuelle et kinesthésique. Elles permettent à la fois de visualiser, de manipuler en temps réel des objets virtuels et d'en ressentir les efforts (liés aux contacts, à la déformation, etc.).Les travaux présentés dans cette thèse contribuent au développement d'interfaces àretour d'effort pour répondre au mieux aux besoins de la CAO. Dans ce mémoire, l'accent est placé sur la problématique de la stabilité et son exploitation pour la commande de l'interface mais aussi pour la conception électromécanique. L'ensemble des travaux porte sur une interface à un degré de liberté.Dans un premier temps, différents facteurs liés au système mécanique (amortissement, modes vibratoires) et à l'environnement virtuel (échantillonnage, retard. . .) agissant sur la stabilité d'une interface sont mis en évidence à l'aide de critères fréquentiels. Ensuite, la conception d'une interface (choix et dimensionnement des composants) est ramenée sous forme d'un problème d'optimisation incluant une contrainte liée à la stabilité (en termes de domaine d'utilisation) et un critère de maximisation de la transparence (en termesd'inertie du dispositif).Dans un second temps, l'architecture de commande des dispositifs haptiques est étudiée. À l'aide d'une nouvelle condition de stabilité asymptotique pour les systèmes en temps discret à retard variable et en utilisant un observateur d'état augmenté comme alternative à l'utilisation standard de la méthode des différences finies arrières, la synthèse d'une nouvelle architecture de commande est proposée.La dernière partie du mémoire aborde la description du banc d'essai expérimental développé pendant le travail de thèse ainsi que les résultats des tests réalisés.

Un logiciel critique est un logiciel dont le mauvais fonctionnement peut avoir un impact important sur la sécurité ou la vie des personnes, des entreprises ou des biens.L'ingénierie logicielle pour les systèmes critiques est particulièrement difficile et combine différentes méthodes pour garantir la qualité des logiciels produits.Parmi celles-ci, les méthodes formelles peuvent être utilisées pour prouver qu'un logiciel respecte ses spécifications.Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes critiques, et plus particulièrement des propriétés numériques de logiciels embarqués dans des systèmes de contrôle-commande.La première partie de cette thèse est consacrée aux preuves de stabilité au sens de Lyapunov.Ces preuves s'appuient sur des calculs en nombres réels, et ne sont pas valables pour décrire le comportement d'un programme exécuté sur une plateforme à arithmétique machine.Nous présentons un cadre théorique générique pour adapter les arguments des preuves de stabilité de Lyapunov aux arithmétiques machine.Un outil effectue automatiquement la traduction de la preuve en nombres réels vers une preuve en nombres a virgule flottante.La seconde partie de la thèse porte sur l'analyse des relations affines, en utilisant une interprétation abstraite basée sur l'approximation des valuations associées aux points de contrôle d'un programme par des polyèdres convexes.Nous présentons ALICe, un framework permettant de comparer différentes techniques de génération d'invariants.Il s'accompagne d'une collection de cas de tests tirés de publications sur l'analyse de programmes, et s'interface avec trois outils utilisant différents algorithmes de calcul d'invariants: Aspic, iscc et PIPS.Afin d'affiner les résultats de PIPS, deux techniques de restructuration de code sont introduites, et plusieurs améliorations sont apportées aux algorithmes de génération d'invariants et évaluées à l'aide d'ALICe. / A critical software is a software whose malfunction may result in death or serious injury to people, loss or severe damage to equipment or environmental harm.Software engineering for critical systems is particularly difficult, and combines different methods to ensure the quality of produced software.Among them, formal methods can be used to prove that a software obeys its specifications.This thesis falls within the context of the validation of safety properties for critical software, and more specifically, of numerical properties for embedded software in control-command systems.The first part of this thesis deals with Lyapunov stability proofs.These proofs rely on computations with real numbers, and do not accurately describe the behavior of a program run on a platform with machine arithmetic.We introduce a generic, theoretical framework to adapt the arguments of Lyapunov stability proofs to machine arithmetic.A tool automatically translates the proof on real numbers to a proof with floating-point numbers.The second part of the thesis focuses on linear relation analysis, using an abstract interpretation based on the approximation by convex polyhedrons of valuations associated with each control point in a program.We present ALICe, a framework to compare different invariant generation techniques.It comes with a collection of test cases taken from the program analysis literature, and interfaces with three tools, that rely on different algorithms to compute invariants: Aspic, iscc and PIPS.To refine PIPS results, two code restructuring techniques are introduced, and several improvements are made to the invariant generation algorithms and evaluated using ALICe.

Les interfaces haptiques à retour d’effort sont des dispositifs robotiques capables deproduire des forces à destination de l’utilisateur en téléopération et en réalité virtuelle. L’utilisation d’interface à retour d’effort en Conception Assistée par Ordinateur (CAO) offre de nouvelles perspectives pour la création et la conception de formes 3D grâce à une interactivité à la fois visuelle et kinesthésique. Elles permettent à la fois de visualiser, de manipuler en temps réel des objets virtuels et d’en ressentir les efforts (liés aux contacts, à la déformation, etc.).Les travaux présentés dans cette thèse contribuent au développement d’interfaces àretour d’effort pour répondre au mieux aux besoins de la CAO. Dans ce mémoire, l’accent est placé sur la problématique de la stabilité et son exploitation pour la commande de l’interface mais aussi pour la conception électromécanique. L’ensemble des travaux porte sur une interface à un degré de liberté.Dans un premier temps, différents facteurs liés au système mécanique (amortissement, modes vibratoires) et à l’environnement virtuel (échantillonnage, retard. . .) agissant sur la stabilité d’une interface sont mis en évidence à l’aide de critères fréquentiels. Ensuite, la conception d’une interface (choix et dimensionnement des composants) est ramenée sous forme d’un problème d’optimisation incluant une contrainte liée à la stabilité (en termes de domaine d’utilisation) et un critère de maximisation de la transparence (en termesd’inertie du dispositif).Dans un second temps, l’architecture de commande des dispositifs haptiques est étudiée. À l’aide d’une nouvelle condition de stabilité asymptotique pour les systèmes en temps discret à retard variable et en utilisant un observateur d’état augmenté comme alternative à l’utilisation standard de la méthode des différences finies arrières, la synthèse d’une nouvelle architecture de commande est proposée.La dernière partie du mémoire aborde la description du banc d’essai expérimental développé pendant le travail de thèse ainsi que les résultats des tests réalisés. / Force feedback haptic interfaces are robotic devices which are able to produce forces for the user in a teleoperation or virtual reality context. The integration of force feedback haptic interfaces in Computer-Aided Design (CAD) systems offers new perspectives for modeling and design of 3D objects by combining both visual and kinesthetic interaction. It allows viewing and manipulating virtual objects in real-time with a sense of touch (linked to contact, deformation, etc.).The works presented in this thesis contribute to the development of a force feedbackhaptic device to meet the needs of CAD at the best. In this thesis manuscript, the emphasis is put on the stability issue and its exploitation for the control of the device but also for the electromechanical conception. All the presented works concern an interface with one degree of freedom. First, several factors relative to the mechanic system (physical damping, vibration modes) and to the virtual environment (sampling period, delay-time, etc.) acting on the interface stability are highlighted through frequency domain stability criteria. Then, the interface design (choice and sizing of components) is expressed on the form of an optimization problem including a constraint linked to stability (in terms of application area).In a second part, the control architecture of haptic devices is studied. Using a newstability criterion for systems in discrete time with variable delay and an augmented state observer as an alternative to the standard finite difference scheme, the synthesis of novel control architecture is proposed.The last part of the manuscript deals with the description of the experimental testbench developed during the thesis period together with the results of some realized tests.

L'objectif de cette thèse est de développer des méthodes de synthèses d'observateurs et des contrôleurs basés sur un observateur pour les systèmes à retard. Différentes classes de systèmes ont été traitées avec différents types de retard. Trois méthodes ont été développées. La première méthode traite des systèmes non linéaires avec des non-linéarités lipschitziennes et consiste à transformer le système d'origine à un système LPV grâce à une reformulation de la propriété classique de Lipschitz. Cette technique est formulée pour les cas continu et discret, respectivement. Nous avons démontré, à travers des exemples numériques, que cette technique offre des conditions de synthèse moins restrictives par rapport aux résultats existants dans la littérature. La seconde méthode est développée pour une classe de systèmes singuliers avec des perturbations. La principale difficulté résidait dans la présence des dérivées des perturbations qui entravent l'analyse de la stabilité et pour laquelle deux approches ont été proposées: une approche $\mathcal{H}_{\infty}$ en utilisant une fonctionnelle de Lyapunov-Krasovskii spéciale dépendante des perturbations et une approche basée sur l'utilisation d'un critère de performance $\mathcal{W}^{1,2}$. La dernière méthode est basée sur l'utilisation des matrices de pondération libres pour résoudre le problème de contrôle des systèmes non-linéaires à retards inconnus. La solution proposée fournit une condition de synthèse LMI garantissant la stabilisation du système en boucle fermée malgré la présence du retard inconnu, au lieu d'une inégalité matricielle linéaire itérative ILMI trouvée habituellement dans la littérature / The objective of this dissertation is to develop observers and observer-based controllers synthesis methods for time-delay systems. Different classes of systems were treated with different types of delay. Three different methods were developed. The first one treats nonlinear systems with Lipschitz nonlinearities and consists in transforming the original system into an LPV system based on a reformulation of the classical Lipschitz property. This technique was formulated for continuous and discrete cases respectively and it was proven to provide less restrictive synthesis conditions when compared to the existing results in the literature. The second method deals with singular systems with disturbances. The main difficulty lay in the presence of the derivatives of the disturbances which hinder the stability analysis and for which two approaches are proposed:~a $\mathcal{H}_{\infty}$ criterion combined with a special Lyapunov-Krasovskii functional depending on disturbances and a $\mathcal{W}^{1,2}$ criterion based on the use of Sobolev norms. The last method is based on the Free Weighting Matrices technique to solve the observation and control problems of a class of nonlinear systems with unknown delays. The proposed solution provides a sufficient LMI synthesis condition ensuring the asymptotic stabilization of the closed loop system, instead of the iterative LMI condition usually found in the literature

La problématique étudiée dans cette thèse concerne le guidage en formation d’une flotte de robots mobiles en environnement naturel. L’objectif poursuivi par les robots est de suivre une trajectoire connue (totalement ou partiellement) en se coordonnant avec les autres robots pour maintenir une formation décrite comme un ensemble de distances désirées entre les véhicules. Le contexte d’évolution en environnement naturel doit être pris en compte par les effets qu’il induit sur le déplacement des robots. En effet, les conditions d’adhérence sont variables et créent des glissements significatifs des roues sur le sol. Ces glissements n’étant pas directement mesurables, un observateur est mis en place, permettant d’obtenir une estimation de leur valeur. Les glissements sont alors intégrés au modèle d’évolution, décrivant ainsi un modèle cinématique étendu. En s’appuyant sur ce modèle, des lois de commande adaptatives sur l’angle de braquage et la vitesse d’avance d’un robot sont alors conçues indépendamment, asservissant respectivement son écart latéral à la trajectoire et l’interdistance curviligne de ce robot à une cible. Dans un second temps, ces lois de commande sont enrichies par un algorithme prédictif, permettant de prendre en compte le comportement de réponse des actionneurs et ainsi d’éviter les erreurs conséquentes aux retards de la réponse du système aux commandes. À partir de la loi de commande élémentaire en vitesse permettant d’assurer un asservissement précis d’un robot par rapport à une cible, une stratégie de commande globale au niveau de la flotte est établie. Celle-ci décline l’objectif de maintien de la formation en consigne d’asservissement désiré pour chaque robot. La stratégie de commande bidirectionnelle conçue stipule que chaque robot définit deux cibles que sont le robot immédiatement précédent et le robot immédiatement suivant dans la formation. La commande de vitesse de chaque robot de la formation est obtenue par une combinaison linéaire des vitesses calculées par la commande élémentaire par rapport à chacune des cibles. L’utilisation de coefficients de combinaison constants au sein de la flotte permet de prouver la stabilité de la commande en formation, puis la définition de coefficients variables est envisagée pour adapter en temps réel le comportement de la flotte. La formation peut en effet être amenée à évoluer, notamment en fonction des impératifs de sécurisation des véhicules. Pour répondre à ce besoin, chaque robot estime en temps réel une distance d’arrêt minimale en cas d’urgence et des trajectoires d’urgence pour l’évitement du robot précédent. D’après la configuration de la formation et les comportements d’urgence calculés, les distances désirées au sein de la flotte peuvent alors être modifiées en ligne afin de décrire une configuration sûre de la formation. / This thesis focuses on the issue of the control of a formation of wheeled mobile robots travelling in off-road conditions. The goal of the application is to follow a reference trajectory (entirely or partially) known beforehand. Each robot of the fleet has to track this trajectory while coordinating its motion with the other robots in order to maintain a formation described as a set of desired distances between vehicles. The off-road context has to be considered thoroughly as it creates perturbations in the motion of the robots. The contact of the tire on an irregular and slippery ground induces significant slipping and skidding. These phenomena are hardly measurable with direct sensors, therefore an observer is set up in order to get an estimation of their value. The skidding effect is included in the evolution of each robot as a side-slip angle, thus creating an extended kinematic model of evolution. From this model, adaptive control laws on steering angle and velocity for each robot are designed independently. These permit to control respectively the lateral distance to the trajectory and the curvilinear interdistance of the robot to a target. Predictive control techniques lead then to extend these control laws in order to account for the actuators behavior so that positioning errors due to the delay of the robot response to the commands are cancelled. The elementary control law on the velocity control ensures an accurate longitudinal positioning of a robot with respect to a target. It serves as a base for a global fleet control strategy which declines the overall formation maintaining goal in local positioning objective for each robot. A bidirectionnal control strategy is designed, in which each robot defines 2 targets, the immediate preceding and following robot in the fleet. The velocity control of a robot is finally defined as a linear combination of the two velocity commands obtained by the elementary control law for each target. The linear combination parameters are investigated, first defining constant parameters for which the stability of the formation is proved through Lyapunov techniques, then considering the effect of variable coefficients in order to adapt in real time the overall behavior of the formation. The formation configuration can indeed be prone to evolve, for application purposes and to guarantee the security of the robots. To fulfill this latter requirement, each robot of the fleet estimates in real time a minimal stopping distance in case of emergency and two avoidance trajectories to get around the preceding vehicle if this one suddenly stops. Given the initial configuration of the formation and the emergency behaviors calculated, the desired distances between the robots can be adapted so that the new configuration thus described ensures the security of each and every robot of the formation against potential collisions.

Depuis l'introduction du premier système ABS par Bosch, en 1978, de nombreux algorithmes de commande pour les systèmes ABS ont été proposés dans la littérature. En général, ces algorithmes peuvent être divisés en deux catégories : ceux basés sur une logique de régulation déterminée par des seuils sur l'accélération angulaire des roues et ceux basés sur la régulation du taux de glissement. Chaque approche a ses avantages et ses inconvénients. D'une manière simplifiée, on peut dire que le point fort du premier type est sa robustesse ; tandis que ceux du deuxième type sont leur courte distance de freinage (sur les terrains secs) et leur absence de cycles limite. Au milieu de cette dichotomie industrielle/académique, en se basant sur un concept appelé extended braking stiffness (XBS), une classe complètement différente de stratégies de commande pour l'ABS a été proposée par certains chercheurs. Ce concept combine les avantages des deux approches. Néanmoins, puisque l’XBS n'est pas directement mesurable, elle introduit la question de son estimation en temps réel. La première partie de cette thèse est consacrée à l'étude de ce problème d'estimation et à une généralisation de la technique proposée à une plus grande classe de systèmes. D'un point de vue technologique, la conception des systèmes de contrôle pour l'ABS est fortement dépendante des caractéristiques physiques du système et des performances de l'actionneur. Les algorithmes de commande actuels pour l'ABS sur les véhicules, par exemple l'algorithme ABS de Bosch, sont basés sur des approches heuristiques qui sont profondément liées à la nature hydraulique de l'actionneur. Ils ne fonctionnent correctement qu'en présence d'un retard spécifique associé à la nature hydraulique de l'actionneur. Pour les systèmes de freinage qui ont un retard différent de ceux des actionneurs hydrauliques, comme les moteurs-roues électriques par exemple (un retard plus court) ou les freins pneumatiques des semi-remorques (un retard plus grand), ils ne sont plus appropriés et ont un fonctionnement déficient. Par conséquent, l'adaptation des algorithmes standards de l'ABS pour d'autres actionneurs avancés devient un objectif primordial dans l'industrie automobile. Cet objectif peut être atteint par la compensation des retards induits par les actionneurs. La deuxième partie de cette thèse se concentre sur cette question, et à la généralisation de la technique proposée à une classe particulière de systèmes non linéaires.Tout au long de cette thèse, nous utilisons deux techniques de linéarisation différentes : la linéarisation de la dynamique d'erreur dans la construction des observateurs basés sur des modèles et la linéarisation basée sur le retour d'état restreint. La première est l'une des façons les plus simples pour synthétiser un observateur pour des systèmes dynamiques avec sortie et pour analyser sa convergence. L'idée principale est de transformer le système non linéaire original via un changement de coordonnées en un système différemment formalisé, qui admette un observateur avec une dynamique d'erreur linéaire et les gains de l'observateur peuvent donc être facilement calculés pour en assurer la convergence. Cette dernière est une méthode classique pour commander des systèmes non linéaires en les convertissant en une équation d'état linéaire contrôlable via l'annulation de leurs non-linéarités. Il convient de mentionner que les résultats existants pour la synthèse des observateurs par la linéarisation de l'erreur dans la littérature ne sont appliqués que pour le cas des changements réguliers de l'échelle de temps. Cette thèse explique comment les étendre aux cas des changements singuliers de l'échelle de temps. Par ailleurs, la thèse combine la linéarisation classique par retour d'état avec une nouvelle méthode de compensation du retard de l'entrée pour résoudre le problème de suivi de la sortie pour des systèmes linéarisables par retour d'état restreint avec des retards de l'entrée. / Many control algorithms for ABS systems have been proposed in the literature since the introduction of this equipment by Bosch in 1978. In general, one can divide these control algorithms into two different types: those based on a regulation logic with wheel acceleration thresholds that are used by most commercial ABS systems; and those based on wheel slip control that are preferred in the large majority of academic algorithms. Each approach has its pros and cons [Shida 2010]. Oversimplifying, one can say that the strength of the first ones is their robustness; while that of the latter ones their short braking distances (on dry grounds) and their absence of limit cycles. At the midpoint of this industry/academy dichotomy, based on the concept of extended braking stiffness (XBS), a quite different class of ABS control strategies has been proposed by several researchers (see, e.g., [Sugai 1999] and [Ono 2003]). This concept combines the advantages from both the industrial and academic approaches. Nevertheless, since the slope of the tyre characteristic is not directly measurable, it introduces the question of real-time XBS estimation. The first part of this thesis is devoted to the study of this estimation problem and to a generalization of the proposed technique to a larger class of systems. From the technological point of view, the design of ABS control systems is highly dependent on the ABS system characteristics and actuator performance. Current ABS control algorithms on passenger cars, for instance the Bosch ABS algorithm, are based on heuristics that are deeply associated to the hydraulic nature of the actuator. An interesting observation is that they seem to work properly only in the presence of a specific delay coming from the hydraulic actuation [Gerard 2012]. For brake systems that have different delays compared to those of hydraulic actuators, like electric in-wheel motors (with a smaller delay) or pneumatic trailer brakes (with a bigger delay), they might be no longer suitable [Miller 2013]. Therefore, adapting standard ABS algorithms to other advanced actuators becomes an imperative goal in the automobile industry. This goal can be reached by the compensation of the delays induced by actuators. The second part of this thesis is focused on this issue, and to the generalization of the proposed technique to a particular class of nonlinear systems. Throughout this thesis, we employ two different linearization techniques: the linearization of the error dynamics in the construction of model-based observers [Krener 1983] and the linearization based on restricted state feedback [Brockett 1979]. The former is one of the simplest ways to build an observer for dynamical systems with output and to analyze its convergence. The main idea is to transform the original nonlinear system via a coordinate change to a special form that admits an observer with a linear error dynamics and thus the observer gains can be easily computed to ensure the observer convergence. The latter is a classical method to control nonlinear systems by converting them into a controllable linear state equation via the cancellation of their nonlinearities. It is worth mentioning that existing results for observer design by error linearization in the literature are only applied to the case of regular time scalings ([Guay 2002] and [Respondek 2004]). The thesis shows how to extend them to the case of singular time scalings. Besides, the thesis combines the classical state feedback linearization with a new method for the input delay compensation to resolve the output tracking problem for restricted feedback linearizable systems with input delays.