Les méthodologies de l'automatique ont joué au cours des dernières décennies un ´r^ole essentiel au sein de nombreux secteurs technologiques avancées. Cependant, de nombreuse questions restent ouvertes. Parmi celles-ci, celles concernant la stabilité et la stabilisation de systèmes non linéaires sont d'intérêt primordial. Afin de stabilizer un système (physique ou non), il est nécessaire de capter et interpreter en temps réel les informations hétérogènes caractérisant son fonctionnement afin intervenir efficacement. Actuellement ces informations ne sont pas captées en temps continu, mais de façon synchrone ou asynchrone et ceci est valable aussi pour les actuateurs. De façon très naturelle, on définit donc un système hybride, caractérisé par des dynamiques à la fois discrètes et continues. Dans ce contexte, cette thèse est orientée au développement de nouvelles méthodologies pour la stabilisation de systèmes échantillonnés non linéaires en se focalisant sur la stabilisation de formes cascades qui se retrouvent dans de nombreuse situations concretes. Pour cela, on étudiera l'effet de l'échantillonnage sur les propriétés de la dynamique continue et l'on proposera des méthodologies pour la conception de lois de commande qui ne requièrent pas d'assumptions supplémentaires au cas continu.Enfin, on étudiera l'effet de l'échantillonnage sur des systèmes présentant de retards sur les entrées. On développera des lois de commande stabilisantes exploitant la structure en cascade induite par l'échantillonnage. Des exemples académiques illustreront les calcules des solutions et leur performances tout au long du manuscript. / Over the last decades the methodologies of dynamical systems and control theory have been playing an increasingly relevant role in a lot of situations of practical interest. Though, a lot of theoretical problem still remain unsolved. Among all, the ones concerning stability and stabilization are of paramount importance. In order to stabilize a physical (or not) system, it is necessary to acquire and interpret heterogeneous information on its behavior in order to correctly intervene on it. In general, those information are not available through a continuous flow but are provided in a synchronous or asynchronous way. This issue has to be unavoidably taken into account for the design of the control action. In a very natural way, all those heterogeneities define an hybrid system characterized by both continuous and discrete dynamics. This thesis is contextualized in this framework and aimed at proposing new methodologies for the stabilization of sampled-data nonlinear systems with focus toward the stabilization of cascade dynamics. In doing so, we shall propose a small number of tools for constructing sampled-data feedback laws stabilizing the origin of sampled-data nonlinear systems admitting cascade interconnection representations. To this end, we shall investigate on the effect of sampling on the properties of the continuous-time system while enhancing design procedures requiring no extra assumptions over the sampled-data equivalent model.Finally, we shall show the way sampling positively affects nonlinear retarded dynamics affected by a fixed and known time-delay over the input signal by enforcing on the implicit cascade representation the sampling process induces onto the retarded system. Academic examples will illustrate the computational aspects together with their performances throughout the whole manuscript.

Les problèmes de planification dans les entreprises du secteur manufacturier sont très complexes. Pour prendre de bonnes décisions, le décideur doit utiliser des systèmes d’aides à la décision exploitant des modèles d’optimisation mathématiques. Malheureusement, les systèmes d’aide à la décision conventionnels sont souvent inadaptés et incompatibles avec les besoins des décideurs. Dans le cadre de ce mémoire, nous proposons un système interactif qui permet au décideur d’adapter les solutions proposées en fonction de ses préférences. Nous exploitons une approche interactive inspirée des systèmes multi-agents (l'un des agents est humain et l'autre est l'ordinateur). Dans la littérature, ces systèmes sont appelés systèmes à initiative partagée (en anglais : mixed-initiative system, ou MIS). Nous analysons et proposons différentes approches qui permettent au décideur d'interagir avec le modèle mathématique et de choisir sa solution. Pour tester et évaluer la faisabilité de ces méthodes, nous avons utilisé un cas industriel réel. Il s’agit d’un problème de planification collaborative des ventes, de la production et de la distribution dans l’industrie des produits forestiers.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2016-2017 / L’élucidation de la position qu’occupent les projections sérotoninergique (5-HT), cholinergique (ACh) et dopaminergique (DA) du tronc cérébral dans l’organisation anatomofonctionelle du globus pallidus externe (GPe) et interne (GPi) au sein des ganglions de la base chez le primate est primordiale à la compréhension de ce système neuronal hautement complexe impliqué dans le contrôle du comportement moteur. Les travaux de recherche consolidés dans la présente thèse rapportent les résultats principalement obtenus chez le singe écureuil (Saimiri sciureus) à l’aide de marquages immunohistochimiques et de quantifications stéréologiques servant à évaluer la distribution régionale et les caractéristiques ultrastructurales des varicosités axonales 5-HT, ACh et DA observées dans le pallidum. Nos données ont permis l’éloboration d’un nouveau modèle du neurone pallidal en tenant compte de la hiérarchie et des caractéristiques neurochimiques de ses entrées synaptiques. Ainsi, l’analyse quantitative en microscopie optique révèle que le GPe et le GPi reçoivent des innervations 5-HT, ACh et DA de densités variables et distribuées de façon hétérogène. Plus particulièrement, le GPe est innervé par 600 000 varicosités 5-HT/mm3 de tissu, 500 000 varicosités ACh/mm3 et 170 000 varicosités DA/mm3. En revanche, le GPi reçoit 600 000 varicosités 5-HT/mm3, 250 000 varicosités ACh/mm3 et 190 000 varicosités DA/mm3. De plus, la 5-HT, l’ACh et la DA ciblent préférentiellement les secteurs correspondant aux territoires fonctionnels associatifs et limbiques du pallidum, suggérant un rôle de ces projections dans la planification du comportement moteur ainsi que dans la régulation de l’attention et de l’humeur. Nos analyses en microscopie électronique révèlent que très peu de ces varicosités axonales établissent un contact synaptique, puisque plus de 70% des varicosités 5-HT, ACh et DA sont complètement dépouvues de jonction synaptique. Ainsi, bien que la 5-HT, l’ACh et la DA seraient en mesure de moduler directement les neurones pallidaux grâce à la transmission synaptique, leur plus grande influence s’opérerait par la transmission volumique, permettant d’influencer à la fois les neurones pallidaux et leurs afférences, principalement du striatum et noyau subthalamique. L’ensemble de ces résultats indique que les projections 5-HT, ACh et DA du tronc cérébral agissent de concert avec les afférences plus robustes en provenance du striatum et du noyau subthalamique. Ces nouvelles données neuroanatomiques positionnent le tronc cérébral en tant qu’acteur important dans l’organisation anatomique et fonctionnelle du pallidum chez le primate et doivent être prises en considération dans l’élaboration de nouvelles approches thérapeutiques visant à contrer les processus neurodégénératifs qui affectent les ganglions de la base, tel que la maladie de Parkinson. / A better understanding of the place that the brainstem serotoninergic (5-HT), cholinergic (ACh) and dopaminergic (DA) projections occupy in the anatomical and functional organization of the primate external (GPe) and internal (GPi) globus pallidus within the basal ganglia is primordial to enhance our comprehension of this complex neuronal system involved in the control of motor behaviors. The present thesis reports novel neuroanatomical findings gathered in the squirrel monkey (Saimiri sciureus) using immunohistochemical labelings and the stereological quantification approach to determine the distribution and ultrastructural features of the 5-HT, ACh and DA axon varicosities observed in the monkey pallidum. Our findings have led to the elaboration of a new model of the pallidal neuron based on a precise knowledge of the hierarchy and neurochemical features of its various synaptic inputs. Quantitative analyses at the light microscopic level reveal that the GPe and GPi receive heterogeneously distributed 5-HT, ACh and DA innervations in variable densities. More precisely, the GPe is innervated by 600,000 5-HT varicosities/mm3 of tissue, 500,000 ACh varicosities/mm3 and 170,000 DA varicosities/mm3. In contrast, the GPi receives 600,000 5-HT varicosities/mm3, 250,000 ACh varicosities/mm3 and 190,000 DA varicosities/mm3. Furthermore, the 5-HT, ACh and DA innervations preferentially target sectors corresponding to the associative and limbic pallidal functional territories, suggesting that these brainstem inputs are involved in the planification of motor behavior, more than in its execution, and in the regulation of attention and mood. Electron microscopic analyses reveal that very few of these axon varicosities establish genuine synaptic contacts, since more than 70% of these axon varicosities are devoid of any synaptic junction. Hence, even though the 5-HT, ACh and DA innervations can directly modulate pallidal neurons through synaptic delivery, the vast majority use volume transmission to influence both pallidal neurons and their major afferents from the striatum and the subthalamic nucleus. Altogether, these results indicate that the 5-HT, ACh and DA projections act in concert with the more robust striatopallidal and subthalamopallidal inputs. Our novel neuroanatomical data suggest that these brainstem projections are ideally positioned to act as major modulators of the primate globus pallidus. The understanding of the relation between the brainstem and the basal ganglia is a prerequisite for the development of new therapeutics avenues for the treatment of neurodegenerative disorders involving the basal ganglia network, such as Parkinson’s disease.

Face à l'évolution incessante des systèmes d'informations et de leur complexité croissante, l'enjeu, sans nul doute le plus important dans les années à venir, est de construire le « parfait » système d'informations ou du moins maintenir un système d'informations cohérent, compréhensible, non impossible à gérer et au sein duquel les labyrinthes ne conduisent pas à des impasses ou nulle part. Longtemps cantonnées dans une vision purement informatique, les organisations ne peuvent se passer d'une approche qui englobe aussi bien le monde des métiers que celui de l'informatique. Adopter une vision par processus métier, au lieu de celle par projet, par application ou par besoin isolé, contribuera certainement à instaurer un langage commun à travers lequel les responsables métiers et les techniciens de l'information communiquent et font correspondre leurs perceptions globales de la réalité opérationnelle de l'entreprise et ses conséquences sur les visions organisationnelle et informationnelle dont ils ont respectivement la charge. Cependant, la prolifération des méthodes et des outils de modélisation et leur complexité ne facilitent guère cette unification des vues. Dans ce travail, nous nous sommes intéressés aux processus métier et à leur modélisation. Le but de cette étude est de présenter un échantillon des méthodes et des outils disponibles sur le marché et traitant de la modélisation des processus métier, et de s'en inspirer afin de proposer les principes d'une nouvelle méthode qui soit simple, facile à utiliser et surtout applicable dans son intégralité. Cet objectif de simplicité, de facilité et d'intégralité émane principalement du constat que les méthodes actuelles sont trop complexes pour l'usager, soit par le langage utilisé, souvent sophistiqué ou trop technique, soit par leur recherche d'universalité (être applicables à tous les cas et à toutes les organisations). Ensuite, nous avons appliqué la méthode, proposée, à un cas réel afin de nous permettre de détecter les points forts, les points faibles ainsi que la perception des acteurs qui ont participé à l'application de la méthode. Un bilan sur les apports de la méthode proposée ainsi que ses limites et ses perspectives est fourni en conclusion.

La nécessité de prendre en considération les aspects sûreté de fonctionnement des systèmes automatisés, dès la phase de conception, pour tendre vers le concept de « systèmes automatisés sûrs de fonctionnement » représente aujourd'hui un enjeu majeur. <br />Nous présentons dans cette Habilitation à Diriger les Recherches le concept de systèmes automatisés sûrs de fonctionnement et procédons à une analyse de la problématique globale de la conception de tels systèmes. Nous identifions clairement les frontières des différents systèmes constituant les systèmes automatisés sûrs de fonctionnement : processus physique, systèmes d'automatisation, systèmes de sécurité, systèmes de contrôlabilité du risque (barrières). Pour ce faire, nous nous appuyons sur la notion de service rendu. <br />Nous introduisons ensuite les différents concepts de sûreté de fonctionnement des systèmes en dégageant deux grands niveaux : la sûreté de fonctionnement prédictive et la gestion de la sûreté de fonctionnement avec prise en compte des risques pour l'Homme et l'environnement. Cette étude aborde les aspects normatifs incontournables pour les systèmes industriels et décline notre point de vue sur la notion de complexité. L'identification de ces grands axes de recherche en conception des systèmes automatisés sûrs de fonctionnement nous permet de situer dans la communauté scientifique nos activités de recherche, dont les contributions et résultats sont présentés dans le mémoire selon deux axes :<br />• L'axe I porte sur la sûreté de fonctionnement de processus physiques avec une application à l'évaluation des paramètres FMD (Fiabilité-Maintenabilité-Disponibilité) des lignes de production dans le but d'en améliorer la performance,<br />• L'axe II porte sur la sûreté de fonctionnement des systèmes d'automatisation à intelligence distribuée avec la proposition d'une démarche de conception de tels systèmes et d'un formalisme pour la spécification des besoins et contraintes d'architecture, l'originalité de cette méthode repose sur la volonté d'obtenir une architecture validée par des paramètres de sûreté quantifiés. <br />De ces travaux découlent nos activités de recherche actuelles et futures relatives à l'analyse systémique de la sûreté de fonctionnement des systèmes complexes et à l'exploration de voies de recherche pour la proposition d'une méthodologie générique, indépendante du domaine d'application, pour la conception de systèmes complexes sûrs de fonctionnement.

L'optimisation convexe sur des contraintes inégalités matricielles affines (plus connues sous le sigle LMI) apparaît dans de nombreux problèmes d'Automatique. Dans cette thèse, on propose une méthodologie générale de mise de problèmes d'Automatique sous forme de problèmes d'optimisation. Inscrite dans l'approche entrée/sortie, elle repose sur la modélisation de systèmes comme des interconnexions de sous systèmes, sur la caractérisation des signaux entrée/sortie de ces derniers par des inégalités quadratiques et sur l'obtention de critères de stabilité et de performance par application d'arguments du type séparation des graphes et S procédure. Cette méthodologie est mise en oeuvre pour démontrer des théorèmes qui unifient et étendent des résultats d'analyse et de commande des systèmes. Parmi les nouveaux résultats, on peut citer la commande par séquencement de gains (qui a motivé cette thèse), la commande décentralisée, la commande avec saturation et la commande ``quadratique'' de systèmes non linéaires rationnels, etc... L'analyse de la robustesse est étendue à des classes d'incertitudes plus importantes. Une description plus fine est proposée et de nouveaux objectifs de performance sont aisément traités en caractérisant le comportement entrée/sortie du système incertain par des inégalités quadratiques. Cela permet d'aborder des problèmes comme l'analyse hiérarchisée de systèmes incertains de grande dimension. L'extension aux systèmes non linéaires, non stationnaires est ensuite considérée avec des critères pour des paramètres incertains non stationnaires (vitesse bornée, bornée en moyenne). Enfin, certains outils sont appliqués à un problème de pilotage de missile. On montre que la robustesse et la performance sont obtenues lorsque le missile, décrit par un modèle non linéaire, est bouclé par un correcteur proportionnel intégral. Un correcteur obtenu par la méthode de séquencement de gains permet d'améliorer les performances de la commande.

L'objectif de cette thèse est l'étude du problème de Cauchy pour les solutions faibles de trois problèmes (systèmes paraboliques dégénérés et fortement couplés) modélisant des écoulements diphasiques et compressibles en milieu poreux. La motivation de ce travail est un "benchmark" du GNR MoMaS pour l'étude de l'impact de l'écoulement du gaz d\^{u} à la corrosion des matériaux ferreux dans un site de stockage de déchets radioactifs. Cette thèse est divisée en trois chapitres indépendants. Premièrement, on s'intéresse à l'analyse mathématique d'un problème modélisant l'écoulement de deux phases immiscibles et en considérant qu'une phase est compressible et l'autre est incompressible (eau/gaz). Deuxièmement, on traite le cas général du déplacement de deux fluides compressibles et immiscibles dans un milieu poreux. Enfin, le dernier chapitre est consacré à la construction et à la convergence de la méthode des volumes finis pour le système eau-gaz sous l'hypothèse que la densité du gaz est une fonction de la pression globale.

Ce travail présente une nouvelle approche basée sur l'étude de la stabilité du mouvement de systèmes continus, multivariables, non linéaires. Elle repose sur l'utilisation de la seconde méthode de Lyapunov pour le calcul d'une loi de commande de suivi de trajectoire d'un processus dont l'évolution est décrite par son équation d'état. Cette commande est réalisée à partir d'informations accessibles concernant le processus et son évolution désirée.Cette approche est étudiée dans le cas où cette commande n'est pas définie.Afin d'étudier la robustesse de cette commande, nous présentons une approche basée sur la stabilité des systèmes non linéaires par le calcul des systèmes majorants. Cette approche est appliquée sur les systèmes décrivant l'erreur entre le système perturbé réel présentant d'importantes imprécisions et/ou incertitudes et le modèle théorique.

Ce mémoire est dédié à l'étude de la stabilité des systèmes non linéaires à commutation, systèmes qui peuvent être considérés comme une abstraction de haut niveau d'un système hybride, dans lequel la dynamique discrète est complètement omise. Ce problème est abordé de manières différentes : la stabilité conditionnelle par contrôle des commutations, la stabilisation uniforme et la commande sans modèle. Après une large introduction, le second chapitre se focalise sur la construction d'une séquence de commutation qui assure la stabilité du système. Cette approche repose sur la réécriture du système non linéaire par une représentation polytopique, utilisée pour dégager des conditions suffisantes en termes d'inégalités matricielles. Dans le troisième chapitre, la stabilisation uniforme est abordée. Une condition nécessaire et suffisante y est dégagée, construite sur la notion nouvelle de fonction de Lyapunov contrôlée commune. Dans le quatrième chapitre, un modèle formel est introduit pour représenter uniquement l'ensemble des scénarios admissibles par la physique du système. Pour ce faire, un réseau de Petri temporel est utilisé, permettant ainsi par son analyse la caractérisation de l'ensemble des scénarios admissibles. Divers concepts de stabilité sont par suite appliqués au modèle résultant. Un dernier chapitre propose une approche originale des systèmes à commutation, par une commande sans modèle de ces derniers, c'est-à-dire sans en connaître la dynamique des différents modes. L'algorithme proposé est basé sur des méthodes algébriques d'estimations rapides de dérivées et de paramètres, assurant ainsi une stabilité pratique si les commutations ne sont pas trop rapides.

Ces deux dernières décennies, les systèmes embarqués ont été introduits dans de nombreux domaines d’application (transport, industrie, habitat, médical...). Ces systèmes se sont vu confier des tâches plus importantes pour délivrer de nouveaux services aux utilisateurs avec des délais de mise sur le marché toujours plus courts et à moindre coût. L’intégration rapide de ces systèmes au sein de produits manufacturés est un avantage concurrentiel pour les industriels. Cependant, les pannes associées à ces systèmes et le niveau de complexité croissant des équipements ont rendu les interventions de maintenance bien plus délicates. L’identification des causes de certaines pannes représente actuellement un véritable challenge dans les activités de la maintenance. Elles entrainent une indisponibilité excessive des équipements.Cette thèse propose une architecture générique de surveillance “active” pour l’aide à la maintenance de systèmes mobiles. Cette architecture repose sur des entités de surveillance “intelligentes” capables d’évaluer l’état de santé des équipements surveillés. Notre contribution se situe à la rencontre de différentes communautés de Recherche et s’appuie notamment sur des concepts développés par lacommunauté PHM (Pronostics and Health Management).L’architecture proposée est mise en œuvre et appliquée a la surveillance d’un système réel de transport ferroviaire dans le cadre du projet SURFER (SURveillance active FERroviaire) conduit par Bombardier-Transport. / Over the last two decades, embedded systems have been introduced in several application areas (transportation, industry, housing, medical...). These systems have achieved more important tasks for delivering new services to users with ever shorter time-to-market deadlines at lower cost. The rapid integration of these systems within manufactured products is a competitive edge for companies. However, breakdowns related to these systems, along with the increasing level of equipment complexity, have made maintenance interventions much more difficult. Identifying root causes of some breakdowns currently represent a real challenge in the maintenance activities. They lead to an excessive downtime of equipment.This thesis proposes a versatile “active” monitoring architecture for the maintenance assistance of mobile systems. This architecture relies on “smart” monitoring entities that can assess the health state of monitored equipment. Our contribution gathers different Research communities and relies particularly on concepts developed by the PHM (Pronostics and Health Management) community.The proposed architecture is implemented and applied for monitoring a real railway transportation system within the SURFER project (SURveillance active FERroviaire) led by Bombardier-Transport.