Motivée par les besoins du domaine spatial en termes de diagnostic embarqué et d’autonomie, cette thèse s’intéresse aux problèmes de diagnostic, de diagnosticabilité et de diagnostic actif des systèmes hybrides. Un formalisme hybride est proposé pour représenter les deux dynamiques, continues et discrètes, du système. En s’appuyant sur ce modèle, une approche de diagnostic passif est proposée en mariant les techniques des systèmes à événements discrets et des systèmes continus. Un cadre formel pour la diagnosticabilité des systèmes hybrides a également été établi proposant des définitions et des critères pour la diagnosticabilité hybride. Suite à un diagnostic passif ambigu, le diagnostic actif est nécessaire afin de désambiguïser l’état du système. Cette thèse propose donc une approche de diagnostic actif, qui partant d’un état de croyance incertain, fait appel aux propriétés de diagnosticabilité du système pour déterminer la configuration où les fautes peuvent être discriminées. Une nouvelle machine à états finis appelée diagnostiqueur actif est introduite permettant de formaliser le diagnostic actif comme un problème de planification conditionnelle. Un algorithme d’exploration de graphes ET-OU est proposé pour calculer les plans de diagnostic actif. Finalement, l’approche de diagnostic a été testée sur le Système de Contrôle d’Attitude (SCA) d’un satellite de Thales Alenia Space. Le module de diagnostic a été intégré dans la boucle fermée de commande. Des scénarios de faute ont été testés donnant des résultats très satisfaisants. / Motivated by the requirements of the space domain in terms of on-board diagnosis and autonomy, this thesis addresses the problems of diagnosis, diagnosability and active diagnosis of hybrid systems. Supported by a hybrid modeling framework, a passive approach for model-based diagnosis mixing discrete-event and continuous techniques is proposed. The same hybrid model is used to define the diagnosability property for hybrid systems and diagnosability criteria are derived. When the diagnosis provided by the passive diagnosis approach is ambiguous, active diagnosis is needed. This work provides a method for performing such active diagnosis. Starting with an ambiguous belief state, the method calls for diagnosability analysis results to determine a new system configuration in which fault candidates can be discriminated. Based on a new finite state machine called the diagnoser, the active diagnosis is formulated as a conditional planning problem and an AND-OR graph exploration algorithm is proposed to determine active diagnosis plans. Finally, the diagnosis approach is tested on the Attitude Control System (ACS) of a satellite simulator provided by Thales Alenia Space. The diagnosis module is successfully tested on several fault scenarios and the obtained results are reported.

Kontrola řízení vozidla se stala významným problémem v automatizačních aplikacích v automobilovém průmyslu. Ta se stala reálnou díky zavedení různých "by-wire" subsystémů, jako je např. "steer-by-wire," "break-by-wire," atd. Tyto subsystémy reprezentují elektronické ekvivalenty již existujících mechanických a hydraulických subsystémů. Především pak může být zavedeno číslicové řízení, určené na základě vzorkování dynamiky vozidla. Výhodou periodického snímání vstupních veličin je vyvarování se určitých poruch spojitého řízení.

L'objectif premier de cette thèse est d'étudier certains aspects du contrôle d'attitude d'un corps rigide, afin d'optimiser la trajectoire d'un lanceur au cours de sa phase balistique. Nous y développons un cadre mathématique permettant de formuler ce problème comme un problème de contrôle optimal avec des contraintes intermédiaires sur l'état. En parallèle de l'étude théorique de ce problème, nous avons mené l'implémentation d'un logiciel d'optimisation basé sur la combinaison d'une méthode directe et d'un algorithme de point intérieur, permettant à l'utilisateur de traiter une phase balistique quelconque. Nous entendons par là qu'il est possible de spécifier un nombre quelconque de contraintes intermédiaires, correspondant à un nombre quelconque de largages de charges utiles. En outre, nous avons appliqué les méthodes dites indirectes, exploitant le principe du maximum de Pontryagin, à la résolution de ce problème de contrôle optimal. On cherche dans ce travail à trouver des trajectoires optimales du point de vue de la consommation en ergols, ce qui correspond à un coût L 1 . Réputé difficile numériquement, ce critère peut être atteint grâce à une méthode de continuation, en se servant d'un coût L 2 comme intermédiaire de calcul et en déformant progressivement ce problème L 2 . Nous verrons également d'autres exemples d'application des méthodes de continuation. Enfin, nous présenterons également un algorithme de contrôle robuste, permettant de rejoindre un état cible à partir d'un état perturbé, en suivant une trajectoire de référence tout en conservant la structure bang-bang des contrôles. La robustesse d'un contrôle peut également être améliorée par l'ajout de variations aiguilles, et un critère qualifiant la robustesse d'une trajectoire à partir des valeurs singulières d'une certaine application entrée-sortie est déduit. / The first objective of this work is to study some aspects of the attitude control problem of a rigid body, in order to optimize the trajectory of a launcher during a ballistic flight. We state this problem in a general mathematical setting, as an optimal control problem with intermediate constraints on the state. Meanwhile, we also implement an optimization software that relies on the combination of a direct method and of an interior-point algorithm to optimize any given ballistic flight, with any number of intermediate constraints, corresponding to any number of satellite separations. Besides, we applied the so-called indirect methods, exploiting Pontryagin maximum principle, to the resolution of this optimal control problem. In this work, optimal trajectories with respect to the consumption are looked after, which corresponds to a L 1 cost. Known to be numerically challenging, this criterion can be reached by performing a continuation procedure, starting from a L 2 cost, for which it is easier to provide a good initialization of the underlying optimization algorithm. We shall also study other examples of applications for continuation procedures. Eventually, we will present a robust control algorithm, allowing to reach a target point from a perturbed initial point, following a nominal trajectory while preserving its bang-bang structure. The robustness of a control can be improved introducing needle-like variations, and a criterion to measure the robustness of a trajectory is designed, involving the singular value decomposition of some end-point mapping.