Auswahl der wissenschaftlichen Literatur zum Thema „Décisions automatisées“

Les fortes contraintes d’élevage dans les systèmes peu intensifiés (grands troupeaux, larges surfaces, alimentation au pâturage, voire faible productivité par animal) laissent tout de même entrevoir des formes originales d’élevage de précision. Cet élevage de précision peut notamment s’appuyer sur l’identification électronique des animaux qui permet de les reconnaitre et de les localiser. Selon que les lecteurs d’identifiants sont utilisés manuellement, à poste fixe, ou portés par un mâle, il est possible de réaliser, respectivement, des inventaires, des opérations automatisées de tri ou la détection des femelles en chaleurs. C’est au pâturage que la maîtrise du comportement des animaux est la plus délicate car un positionnement judicieux de points d’attraction des animaux (abreuvement, pierres à sel, complémentation) ne suffit pas toujours à maîtriser la répartition de la pression de pâturage pour répondre aux objectifs pastoraux et environnementaux. Dans les situations où la pose de clôtures fixes n’est pas possible ou pas souhaitable et que le gardiennage n’est pas envisageable, les clôtures virtuelles, basées sur un apprentissage comportemental spécifique des animaux, pourraient constituer une aide précieuse à l’utilisation durable des parcours. Dans ces systèmes d’élevage, la précision visée ne se situe pas à l’échelle des individus mais plutôt sur des conduites ajustées à des lots virtuels d’animaux homogènes, qui sont séparés et regroupés grâce à des dispositifs de tri efficaces. L’utilisation de systèmes automatisés de suivi du troupeau où chaque animal est identifié génère une grande quantité de données. Quels que soient les capteurs utilisés, les données recueillies doivent être stockées dans un système d’information et traitées avec des méthodes d’analyse adaptées (algorithmes, statistiques…) pour être ensuite transformées en indicateurs d’aide à la décision ou en action exécutée par des automates (porte de tri, pesées, distributions d’aliments). En alternative à des suivis individuels, une utilisation parcimonieuse des capteurs peut être envisagée pour délivrer des alertes (intrusion, attaque de prédateur, sortie d’une zone géographique définie) ; la quantité de données produites est alors minimisée. Un travail de recherche important reste à mener pour proposer des méthodes d’analyse des données et des règles de décisions pertinentes, basées sur une modélisation du comportement animal. Dans les systèmes d’élevage peu intensifiés, la place de l’éleveur est essentielle car au sein d’un grand troupeau et face à de larges surfaces de parcours les dispositifs électroniques sont à envisager comme des aides spécifiques, à intégrer dans une stratégie de conduite plus large. Notamment, il s’agit pour l’éleveur de choisir quels animaux équiper et où positionner des capteurs, relais ou clôtures virtuelles, et à choisir de le faire aux périodes critiques. Actuellement l’offre matérielle et logicielle est freinée par le manque de souplesse des solutions proposées.

On peut considérer une dizaine d’aspects : nous pouvons choisir entre la centralisation de malades graves dans des institutions de référence et leur maintien grâce à une supervision par télémédecine. Il y a un continuum entre les différents endroits où peut se trouver le malade, du domicile à la réanimation…. La surveillance dans les services hospitaliers est automatisée, avec des appareils de surveillance petits et non contraignants. Le traitement en réanimation aussi largement automatisé. La prise en charge est essentiellement non-invasive, mais le support extracorporel est néanmoins largement utilisé. La douleur est mieux contrôlée, mais les traitements sédatifs ont quasi disparu, et les malades sont mobilisés précocement, et amenés à l’extérieur dès que possible. Leur distraction est assurée et la présence d’animaux domestiques est autorisée. L’automatisation de la surveillance et des traitements permet la réduction des besoins en personnel, qui est aussi plus disponible pour parler aux malades et aux familles, qui sont beaucoup plus présentes. Les décisions éthiques sont facilitées par une meilleure évaluation du devenir du malade et une meilleure compréhension par la société des questions de fin de vie. Les études cliniques évoluent aussi, grâce à une meilleure sélection des malades et l’analyse de large bases de données.

Les activités humaines en forêt humide tropicale sont à l'origine de perturbations et de dégradations du fait de leur mitage du couvert forestier. Des capacités permettant de mesurer l'étendue des dégâts sont indispensables au calcul des émissions de carbone dans le cadre des programmes Redd+ (Réduction des émissions dues à la déforestation et la dégradation des forêts). La télédétection est un outil puissant pour le recueil de ce type d'information (concernant, par exemple, l'exploitation forestière ou minière ou les projets d'infrastructure). Différentes techniques sont mises en ¿uvre pour identifier et quantifier l'ouverture du couvert forestier. Il s'agit ici de les compléter en comparant l'ouverture passée et actuelle du couvert forestier afin de documenter le renouvellement des écosystèmes suite aux opérations d'exploitation forestière. Cet article présente une approche mettant en ¿uvre une chaîne de traitement semi-automatisée adaptée à l'imagerie Landsat. En post-traitement, l'information portant sur l'ouverture de la canopée est extraite à l'aide d'algorithmes spécifiques. Un index spatial, calibré sur des données radiométriques à basse résolution, indique les taux d'ouverture passés et actuels. Ce procédé fournit des estimations de la dégradation forestière permettant de décrire les données de télédétection à basse résolution (issues de Modis, par exemple) utilisées pour la cartographie terrestre. Ces estimations sont alors croisées avec des cartes de couverture terrestre afin de distinguer des catégories forestières actuelles. Cet outil a été développé dans le cadre du projet CoForChange, dont l'objectif global est de prévoir l'évolution du couvert forestier et de la distribution des essences dans le Bassin du Congo liée aux changements globaux, et de développer des outils d'aide à la décision. Cet article présente un exemple en grandeur et en temps réels, situé dans la forêt humide aux frontières de la République centrafriquaine, de la République du Congo et du Cameroun, analysé année par année à l'aide de trente années d'archives Landsat.

Le renouvellement des réseaux est une problématique très présente dans les milieux de l’eau et de l’assainissement. Évidemment, le réseau entier ne peut pas être remplacé chaque année, c’est pourquoi il faut choisir les portions de canalisations à renouveler. Ce choix est guidé par des problématiques économiques, politiques, de sécurité, et liées aux contraintes du terrain. Ces différents aspects peuvent être extrêmement compliqués à prendre en compte simultanément, c’est pourquoi la mise en place d’algorithmes est parfois nécessaire pour aider les experts dans leur travail. La recherche opérationnelle est le domaine de prédilection pour ce type de problématique : elle permet une optimisation selon un ou plusieurs objectifs donnés, tout en respectant les contraintes propres au métier. Dans notre cas, l’objectif porte sur différents critères guidant le choix des canalisations à renouveler : la probabilité de casse, l’âge de la canalisation, le matériau et la probabilité de casse des branchements. Les contraintes quant à elles sont liées directement au métier : la plus importante d’entre elles est de réaliser des chantiers continus, avec un linéaire minimal et maximal par chantier à respecter. En mettant en équation cet objectif et ces contraintes, nous obtenons un programme linéaire à résoudre afin de trouver le plan de renouvellement optimal pour le cas de figure en question. Nous avons donc mis en place ce modèle, puis nous l’avons résolu à l’aide d’un solveur de programme linéaire pour répondre à ce besoin de construction automatisée de chantiers et fournir au client un outil d’aide à la décision dans l’élaboration des plans de renouvellement. Ce projet a été mené pour le réseau d’eau potable de Bordeaux, mais la méthodologie employée est réutilisable pour tout type de réseau, avec un nombre de contraintes métier plus ou moins important.

Le rapport annuel sur le prix et la qualité du service de l’eau (RPQS) constitue une source potentielle pour accéder à des informations indisponibles dans le système d’information des services publics d’eau et d’assainissement (Sispea). Cependant, le format textuel des rapports rend difficile leur exploitation sur plusieurs années ou à grande échelle dans une optique d’analyse de données massives. Notre travail s’intéresse à l’utilisation d’approches de traitement automatique du langage pour puiser de l’information dans ces rapports afin de constituer une base de connaissances à l’échelle soit d’un service, soit de plusieurs services. Cette base peut servir pour valider/compléter en partie les données contenues dans la base Sispea sujette à des erreurs ou à des oublis, mais elle peut également constituer une source qui alimente des modèles prédictifs à des fins d’aide à la décision. Dans cet article, nous développons un programme informatique fondé sur notre solution Ro-CamemBERT (Recurrence over CamemBERT) qui est un modèle de traitement automatique de la langue française basé sur l’apprentissage profond ou « deep learning », ce dernier consiste à faire apprendre à un modèle ou à une machine à partir d’un réseau neuronal artificiel, qui est une architecture spécifique formée de couches qui structurent des fonctions explicatives entre des extrants (variables expliquées) et une masse de données (variables explicatives). Le programme ainsi développé permet de répondre automatiquement à des questions dont les réponses se trouvent potentiellement dans les RPQS. Le décideur peut formuler des questions dont la réponse constitue une donnée recherchée. Il est alors possible de compléter une base de données existante ou d’en créer une nouvelle. Le processus d’analyse des rapports est ainsi automatisé, une évaluation de l’erreur des réponses automatiques est également effectuée pour mesurer l’écart possible entre les réponses obtenues et celles attendues. Le modèle développé apparaît comme fiable à hauteur de 80 %. Il a été testé sur des RPQS de service d’eau en Alsace.

Résumé Les machines de fabrication du papier sont les plus grandes installations de production en continu au monde et la fabrication de la pâte, en tant que processus de travail, est particulièrement complexe. Le processus de fabrication du papier étant rapide, les conséquences des modifications apportées dans le premier temps de fabrication (partie humide de la machine), notamment au niveau de la concentration de la masse ou du réglage de la tête de la machine, n’apparaissent souvent que dans les paramètres de qualité du papier parvenus dans la « partie sèche » de la machine. Par conséquent, la fabrication du papier ne repose pas sur un ouvrier isolé, mais bien sur un groupe d’ouvriers. Tous ceux qui travaillent sur une machine et qui surveillent le processus au moyen des dispositifs informatiques du système de fonctionnement automatisé doivent émettre des hypothèses quant à l’état du processus et des actions à entreprendre. Ils doivent également communiquer aux autres membres du groupe leurs observations, leurs actions ou leurs décisions. Les retards sont fréquents et à l’occasion, il peut s’écouler plusieurs heures avant que les effets d’une modification dans les paramètres se manifestent. Les équipes doivent donc pouvoir compter sur des moyens efficaces pour se transmettre l’information et, conséquemment, avoir une même compréhension des concepts de la fabrication du papier. Les pratiques visant à créer et à améliorer les compétences professionnelles dans les moulins à papier ont beaucoup changé et plusieurs problèmes associés à des pratiques de formation inadéquates ont été constatés. Des programmes ont été élaborés dans le but de supporter l’amélioration de la maîtrise du processus de travail des ouvriers et de permettre le développement du processus de travail lui-même. Jusqu’à maintenant, la méthodologie a été appliquée sur environ 15 des 100 machines de fabrication du papier en Finlande. Les programmes de développement sont basés sur l’analyse des processus de production et du travail. L’analyse de ces processus nécessite la prise en compte des éléments de l’activité humaine au travail, des outils et de la division du travail. De plus, les modes d’action de l’équipe de travail dans différentes situations, la coopération des sujets à l’intérieur du processus de travail et des tâches y étant associées comme la maintenance ou le contrôle de la qualité sont également analysés. Pour y arriver, les chercheurs définissent des catégories ou identifient des questions clés en construisant des modèles. Ces catégories sont basées sur des analyses préliminaires du processus de travail de même que sur des entrevues et des observations avec le travailleur en activité. Lors de l’élaboration du programme, les participants doivent procéder à une analyse approfondie des processus de production et du travail. Les équipes doivent verbaliser et élaborer les différents modèles pouvant rendre compte de chacune des parties constituant le procédé de travail. Au cours de ce processus, les équipes apprennent à utiliser les connaissances disponibles dans le groupe. Les compétences et l’expertise du directeur de la production, de l’ingénieur des procédés de travail, des experts des procédés chimiques, des experts des systèmes de fonctionnement automatisé des opérations et des agents de marketing peuvent également être sollicitées. Quatre sessions de deux jours sont nécessaires pour élaborer le programme. Chaque session doit être tenue deux fois afin de permettre la participation des représentants de tous les quarts de travail de l’organisation. Les résultats des programmes de développement ont été évalués à plusieurs niveaux. La principale cible de ces programmes est d’améliorer la maîtrise conceptuelle du travail. Le premier niveau d’évaluation concerne l’apprentissage par la mesure de la maîtrise conceptuelle du travail et des perturbations possibles de même que le potentiel d’apprentissage que représentent les propositions de développement. Dans chaque programme de développement, plusieurs propositions de développement sont soulevées. Elles sont analysées en fonction des buts visés et du contenu du développement proposé. Les connexions entre la maîtrise objective et subjective du travail, à savoir l’évaluation que les ouvriers font de leur travail et le bien-être exprimé, et leur développement durant le programme ont aussi été étudiés. Ces connexions sont utilisées pour évaluer les conséquences du programme de développement sur les métacognitions traitant avec les facteurs des réactions subjectives, comme la satisfaction ou le stress au travail. Dans cet article, les résultats de deux études complémentaires concernant les programmes de développement sont abordés. Ils révèlent que la maîtrise conceptuelle du processus de fabrication du papier peut être considérablement améliorée à l’aide d’un programme de développement basé sur une analyse systématique et un modelage du processus de travail. Les résultats indiquent également que l’analyse du processus actuel de travail est un moyen adéquat pour favoriser son développement. En effet, dans chacune des études considérées, plus de cent propositions ont été formulées pour améliorer le processus de travail. Les propositions de développement portent autant sur le développement technique que sur la coopération entre les différents groupes de professionnels. Elles touchent donc le processus de travail en entier. De plus, elles représentent les besoins actuels de développement dans le processus de travail, en plus d’être des sources d’information importantes pour débuter des actions de développement. Les propositions de développement ont également été analysées du point de vue du potentiel d’apprentissage qu’elles représentent. La majorité des propositions visent essentiellement le développement du processus de production technique, c’est-à-dire une simple adaptation au contexte. De telles propositions représentent uniquement le niveau inférieur d’ap-prentissage. Cependant, les propositions visant à améliorer les modes d’action de l’équipe ou à augmenter la maîtrise cognitive du processus indiquent que les participants considèrent leur propre activité comme un objet de développement. Le besoin de comprendre le processus de travail et ses lois a clairement augmenté, démontrant ainsi une certaine augmentation de la motivation à travailler dans le nouveau contexte. Cette étude a également voulu vérifier si le bien-être au travail nécessite des caractéristiques de travail positives ainsi qu’une bonne maîtrise conceptuelle du processus de travail. Les rapports présumés ont émergé seulement à la suite du programme de développement. En effet, après le programme, un haut niveau de maîtrise des perturbations pouvant survenir en cours de production a été associé à la satisfaction. Dans l’analyse de régression, 72 % de la variance de la satisfaction au travail était expliquée par la maîtrise de ces perturbations de la production ainsi que par une évaluation positive du défi au travail et une attitude active face au développement du travail. Le programme de développement a semblé réorganiser les bases d’évaluation des sujets, spécialement en regard avec leurs qualifications actuelles et leurs évaluations subjectives. Les participants ont appris à évaluer les relations entre leurs propres compétences et les besoins découlant du processus de travail, indiquant ainsi que leur métacognitions du processus de travail se sont améliorées. L’émergence des connexions entre la maîtrise du processus de travail et la satisfaction suite au programme suggère que les qualifications professionnelles peuvent être une source de bien-être dans une organisation qui accorde de l’importance aux compétences et qui le démontre notamment par l’adoption continue du développement du processus de travail et de la maîtrise de ce processus en tant que caractéristique organisationnelle. Les résultats concernant les programmes de développement ou la formation au niveau organisationnel sont rares. La seconde étude considérée dans cet article se concentre sur les expériences de plusieurs fabricants de papier expérimentés devant maintenant travailler sur une nouvelle ligne de production compte tenu d’un déclin important de la productivité de la vieille ligne de production. Suite au programme, les ouvriers étant toujours affectés à la vieille ligne de production possédaient une maîtrise conceptuelle similaire à ceux qui ont été affectés à la nouvelle ligne de production et qui ont participé à une formation. De plus, la quantité et la qualité de la production sur la vieille ligne se sont grandement améliorée. De nos jours, la maîtrise du travail ou encore les connaissances reliées au travail sont considérées comme des préalables nécessaires au succès organisationnel. Les principes didactiques appliqués dans les programmes de développement sont devenus de plus en plus fréquents dans les pratiques de formation dans les écoles et dans les universités, mais elles sont encore rares dans les ateliers. L’application de ces principes devrait cependant supporter les organisations dans leur apprentissage par leurs propres activités.

Depuis 1978, le droit encadre les algorithmes décisionnels, c’est-à-dire les algorithmes aidant ou remplaçant la décision humaine. Pourtant, le développement effréné de ces outils et leur diffusion dans tous les domaines questionnent la pertinence de ces règles ; En particulier, il apparaît que l’encadrement des algorithmes décisionnels s’oriente aujourd’hui vers la protection du destinataire de la décision, soit la personne soumise à la décision prise sur le fondement de l'algorithme. Ce faisant, une part essentielle des enjeux sont oubliés : la protection de l’auteur de la décision et du caractère humain de la décision. La réintégration à sa juste valeur de la protection de l’auteur de la décision, sans oublier celle du destinataire, permet alors de donner toute sa force au droit des algorithmes. Ainsi, les deux catégories classiques d’algorithmes de prise de décision et d’algorithmes d’aide à la décision peuvent être réinterprétées. De la même manière, les règles de conception et d’utilisation des algorithmes décisionnels peuvent également être lues sous la double fonction de la protection de l’auteur et du destinataire de la décision. Dans le premier cas, c’est la faculté même de décider qui est protégée. L’interdiction des algorithmes de prise de décision dans certains domaines ou l’encadrement strict de la légalité de ces outils en sont deux illustrations. Dans le second cas, c’est le droit de ne pas être soumis à une décision prise par une machine qui doit être mis en avant. On retrouve alors de nombreux mécanismes issus du droit du pouvoir tels que la faculté de demander le réexamen de la décision ou l'obligation de motivation
In France, decision-making algorithms have been regulated for almost 50 years. However, given the constant development of these tools and their ever-broadening use, the effeetivity of this control has come into question. In particular, the law seems to focus on the protection of the person subjected to an automated decision. In doing so, it neglects one of the most important issues at stake : the protection of the authors of the decision themselves. This thesis argues that it is only through a subtle balance between the protection of the authors and the subjects of a given decision that the law might be able to properly regulate decision-making algorithms. Using this approach, the two classic categories of decision-making algorithms namely algorithms serving as the only basis for a decision versus algorithms serving as a simple help for the decision - can be reinterpreted. At the same time, rules regulating the conception and the use of such algorithms can be reinforced. The interdiction of all decision-making algorithms in certain domains can be seen as a proper protection of the human decision. Other mechanisms, such as the right to obtain human intervention, or to contest the decision, arc specifically designed to protect the person subjected to a decision based on an algorithm

Présentation de la coopération homme-calculateur dans les systèmes de supervision des procédés automatisés pour assister les opérateurs dans les tâches décisionnelles de haut niveau cognitif telles que la détection de mauvais fonctionnements, le diagnostic et la reprise de défaut

Dans ce travail, nous étudions des méthodes d’aides à la décision en temps-réel pour la maintenance des systèmes distribués, avec d’importantes contraintes logistiques entre les différents sites de ces systèmes avec des ressources de maintenance partagées. Les méthodes proposées utilisent des approches d’ordonnancement d’activités. Pour la prise de décision, nous avons développé des règles localement optimales qui sont ensuite adaptées dans des algorithmes temps-réel pour la planification dynamique des tâches de maintenance des systèmes de grandes tailles. L’objectif est d’assurer une bonne disponibilité du système et de minimiser les coûts d’exploitation, tout en garantissant dans le même temps une grande réactivité dans les prises de décision. Les coûts concernés sont dus notamment aux états critiques du système (coûts de dégradation avancée ou de pannes fortuites), à des fréquences trop élevées de maintenance ou à des retards de maintenance. Les décisions tiennent compte des fonctions disponibilités, très souvent révélatrices de l’état de dégradation des entités du système. Les résultats obtenus permettent non seulement la maîtrise des coûts, mais également de dimensionner les ressources de maintenance par rapport à la taille et aux caractéristiques de fonctionnement du système
In this thesis, we study methods for real-time decision making in the maintenance process of large distributed systems with important set-up times between the different sites in the system and shared maintenance resources. The methods are based on scheduling approaches in which we proved local optimality rules. These rules are adapted in algorithms for real-time decision making in the maintenance process of large size distributed systems. The aim is to ensure a required availability of systems and to minimize the costs of exploitation, while guaranteeing great reactivity in decision-making. The costs are namely due to critical states of systems (great degradation of fortuitous breakdowns), to over-frequent maintenance, and to tardiness of maintenance. The decisions take account of the availability functions, which often reveal the systems degradation states. The results enable not only to minimize costs, but also to dimension the maintenance resources according to the size and according to their operation characteristics

La fabrication de semi-conducteurs est un processus long et très complexe avec de nombreuses contraintes. Le processus de fabrication d'un lot peut durer plusieurs mois avec plusieurs centaines d'opérations. Plusieurs milliers de lots doivent ainsi être transportés et stockés en permanence. Un système de transport efficace est par conséquent critique pour garantir que les centaines de machines dans l'usine sont livrées dans les temps.Cette thèse s'intéresse à la modélisation et à l'optimisation d'un système de transport et destockage automatisé (AMHS) dans une unité moderne de fabrication de semi-conducteurs. Différentes problématiques ont été étudiées. La première a visé à analyser l'impact de paramètres clés de l'AMHS et à proposer de nouvelles approches pour déterminer ces paramètres clés. Un modèle de simulation a permis de valider les résultats obtenus. La deuxième problématique a porté sur la gestion de situations de crises liées à une ou plusieurs pannes sur le réseau, avec pour objectif de minimiser les perturbations sur le fonctionnement de l'AMHS. La dernière problématique concerne la conception d'un nouvel AMHS pour le transport de ressources auxiliaires dans un atelier spécifique.Ces travaux de thèse ont été réalisés dans le cadre d'une convention CIFRE entre l'Ecole des Mines de Saint-Étienne et le site de Crolles de STMicroelectronics. Les approches scientifiques proposées ont conduit à plusieurs applications industrielles en cours d'utilisation
The manufacturing of semiconductors is a long and very complex process with many constraints. The process of manufacturing a lot can last several months with several hundred operations. Several thousand lots must be transported and stored permanently. An efficient transportation system is therefore critical to ensure that the hundreds of machines in the factory are delivered on time.This thesis focuses on the modeling and optimization of a transport and automated storage (AMHS) system in a modern semiconductor manufacturing unit.Different issues have been studied. The first aimed to analyze the impact of key parameters of the AMHS system and to propose new approaches to determine these key parameters. A simulation model has allowed to validate the results obtained. The second issue focused on the management of crisis situations related to one or more failures on the network, with the aim of minimizing disruption to the operation of the AMHS system. The last issue concerns the design of a new AMHS system for the transportation of auxiliary resources in a specific workshop.These thesis work was carried out within the framework of a CIFRE agreement between the Ecole des Mines de Saint-Etienne and the Crolles site of STMicroelectronics. The proposed scientific approaches have led to several industrial applications in use

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé en portes logiques élémentaires, ce qui permet d'effectuer une projection technologique. De plus, une étude formelle réalisée durant la thèse démontre que les circuits synthétisés respectent la contrainte de quasi insensibilité aux délais. Cette technique de synthèse a été développé au sein du projet TAST. Elle a été validée sur un ensemble de circuits de tests
In an asynchronous circuit, the synchronization between the blocs is local: the constraints due to the clock do not apply. These circuits are more robust, modular, have less noise and a lower dynamic power consumption that asynchronous circuits. However, the lack of design tools for such circuits prevents them from spreading widely. This thesis aimed at developping an automatic synthesis technique targeting asynchronous quasi delay insensitive (QDI) circuits, which are particularly robust. The technique synthesizes a circuit totally decomposed in elemetary logical gates, which allows a later technology mapping. Moreover, a formal study done during this thesis proves that the circuits synthesized respect the constraint of quasi delay insensitivity. This synthesis technique was developped in the TAST project. Is has been validated on a set of test circuits

Les bénéfices engendrés par l’utilisation croissante de l’automatisation masquent un problème fondamental. En cas de pannes ou de situations imprévues, les opérateurs présentent souvent des difficultés dans la reprise en main de tels systèmes. Le but de cette thèse était d’étudier comment le cadre théorique de l’agentivité pouvait nous aider à identifier et évaluer les informations requises pour rendre la supervision de systèmes fortement automatisés plus efficace, pour restaurer un sentiment de contrôle approprié et pour augmenter l’acceptabilité du système par les opérateurs. Pour y parvenir, nous avons réalisé quatre expériences lors desquelles les participants devaient superviser le vol d’un avion sous pilote automatique. Dans un premier temps, nous avons montré que fournir des informations sur les intentions du système augmentait le sentiment de contrôle des participants. Cependant, ce gain d’information ne nous a pas permis d’observer le phénomène de liage intentionnel. Nous avons également trouvé que cette information entraînait de meilleures performances pour détecter des décisions non-optimales du système, conduisait à un changement dans la façon dont les participants allouaient leurs ressources attentionnelles et aussi augmentait le niveau d’acceptabilité du système. De façon intéressante, nous avons également montré dans la dernière expérience que le délai entre l’apparition de l’information sur les intentions du système et l’implémentation de son action impactait différemment la performance et les sentiments de contrôle et d’acceptabilité des opérateurs
Human operators seem often helpless to takeover an automated system in case of failure. This "out-of-the-loop” problem occurs when an operator is unable to understand the intentions and to predict the outcome of actions of the system. The goal of this thesis was to study how the theoretical framework of agency can help identifying and evaluating the information required to make supervision of fully automated systems more efficient, to restore an appropriate sense of control and to increase the user acceptance of what the system is doing. To achieve this goal, we tested participants in four aircraft supervision tasks. We first showed that providing greater information about the system’s intentions increased the participants' sense of control. However, this condition did not produce any change in a frequently-used implicit marker of the sense of agency, the so-called “intentional binding effect”. We also found that this information led to better performances in detecting when the system’s decisions were non-optimal, to a change in the way participants allocated their attentional resources and also to increase the level of user acceptance. Interestingly, we also showed in the last experiment that the delay between prime messages providing information about the system's intentions and the system's actions impacted differently the performance and the operator's levels of control and acceptance. In the last section, we discuss the implications of our results for the field of human-machine interaction. We claim that the science of agency may be useful to elaborate concrete recommendations for designing automatic systems in which operators remain "in the loop" of control

Au cours de ces dernières décennies, les systèmes technologiques ont beaucoup évolué. Dans le même temps, leurs installations sont de plus en plus distribuées sur plusieurs sites. Ceci conduit à la résolution de problèmes logistiques lors des prises de décision en vue d'actions de maintenance qui exigent par ailleurs des approches coopératives dans un contexte de gestion à distance. Dans ce travail, nous étudions des méthodes d'aides à la décision temps-réel pour la maintenance des systèmes multi-sites distribués dans un environnement à ressources partagées, avec des contraintes logistiques non négligeables entre les différents sites. Les exigences sont de planifier et d'ordonnancer les tâches de maintenance, de les affecter en temps-réel aux ressources de maintenance disponibles, tout en minimisant les coûts inhérents au fonctionnement et en maîtrisant les délais d'intervention des ressources. Les coûts sont relatifs notamment au fonctionnement en état dégradé (état critique), aux fréquences trop élevées ou au déficit de maintenance. Ils dépendent aussi de combinaisons linéaires ou convexes d'ensemble de paramètres tels que les temps de réponse (temps de séjour), les retards et avances ainsi que des facteurs de pondération des tâches de maintenance. Les coûts sont également fonction de la disponibilité, cette dernière étant révélatrice des dégradations des entités constituant le système. Pour satisfaire ces exigences, différents problèmes doivent être résolus dans le but de maintenir la disponibilité du système au dessus d'une limite minimale, de minimiser le coût des opérations de maintenance et d'affecter en temps-réel les tâches aux ressources de maintenance, le tout dans un processus optimal de décision. Ce processus doit tenir compte de différentes contraintes : dates d'arrivée inégales des tâches, temps logistiques non négligeables entre les sites, séquences optimales des tâches d'une intervention, précédences entre les tâches d'une même entité et critères de priorité et d'urgence de chaque tâche. Dans cette démarche, les caractéristiques et lois de comportement en fiabilité et en maintenabilité, et les sollicitations d'intervention sur les entités sont connues. Pour résoudre ces problèmes, nous proposons une approche mettant en oeuvre des méthodes d'ordonnancement d'activités (tâches ou actions) de maintenance basées sur des règles de priorité dont nous montrons l'optimalité locale (par rapport au temps) dans ce document. Partant d'une ressource de maintenance, ces règles de décision s'inspirent des principes d'ordonnancement sur une seule machine. Elles sont utilisées dans des algorithmes d'aide à la décision en temps-réel pour la planification dynamique des tâches de maintenance des systèmes distribués. Aux solutions fournies par la plupart de ces règles nous avons déterminé des bornes inférieures. Nous avons structuré ce document en six chapitres dont le premier introduit de façon générale la maintenance et ses différentes pratiques dans les entreprises. Le chapitre 2 propose une analyse de l'état de l'art des travaux de recherche scientifique dans le domaine de la gestion des activités de maintenance. Ensuite, dans le chapitre 3, des approches de résolution des problèmes relatifs aux coûts des états critiques du système sont proposées. Le chapitre 4 traite alors les différents problèmes relatifs aux contraintes de délais sur les opérations de maintenance induisant notamment des coûts combinés liés aux états critiques et aux retards d'intervention d'une part, et des coûts dus aux avances ou retards des tâches d'autre part. Il apparut alors nécessaire d'étudier la robustesse des performances des approches proposées dans les chapitres 3 et 4 en environnements incertains. Cette étude fût donc réalisée dans le chapitre 5 par des simulations Monte Carlo de la maintenance à partir des données d'un système réel soumis à des aléas de défaillance appelant des actions correctives. Enfin, de l'ensemble des investigations menées dans ce travail furent tirées les principales conclusions et les perspectives proposées dans le chapitre 6.

L'intelligence artificielle est la science informatique qui permet de construire des machines capables de procéder à des opérations relevant habituellement de l'esprit humain. L'un de ses champs d'application a porté sur le développement de systèmes à base de connaissances, visant à simuler le raisonnement d'un expert humain dans un domaine limité. Le développement de ces systèmes comporte une tâche d'acquisition de connaissances auprès d'un expert humain. Depuis les années 80, l'acquisition des connaissances est vue comme un processus de modélisation, elle a pour résultat un modèle de l'expertise. La tâche de construction de modèles est complexe. Différents travaux visent à réduire sa difficulté. Notre travail de thèse d'inscrit dans cette préoccupation : nous proposons un outil informatique, ASTREE - pour aide à la structuration de l'expertise -, visant à aider la modélisation d'une expertise. Cet outil est capable de construire, en intéraction avec son utilisateur, des parties d'un modèle de l'expertise étudiée. Cet outil s'intègre dans un environnement de modélisation des connaissances, MACAO, développé à l'IRIT (Toulouse). Le modèle de l'expertise comporte une description des connaissances du domaine d'application et une description du raisonnement. ASTREE aide son utilisateur à modéliser les connaissances du domaine disponibles dans l'expertise. Il propose pour cela un langage de modélisation, issu du modèle entité-association, ayant une syntaxe précise et une sémantique formelle. ASTREE aide son utilisateur à construire le modèle de résolution de problèmes en construisant automatiquement des composants du modèle. Il exploite pour cela des correspondances entre la structuration des connaissances du domaine et des procédures de résolution de problème. Notre approche a été testée sur un problème d'allocation de personnes dans des bureaux (SISYPHUS-I), sur un problème de diagnostic financier, pour lequel nous avons réalisé une acquisition de connaissances en situation réelle auprès d'un expert

Les travaux présentés dans la thèse étudient dans quelle mesure les modèles d'aide a la décision issus des sciences de gestion sont susceptibles de remédier aux carences formelles des méthodes usuelles d'optimisation des décisions de maintenance. Résolument orientée + risk-management, la recherche préconise de recourir a l'analyse décisionnelle par utilité multi attribut dans un cadre théorique plus général que celui de l'utilité espérée. En guise de préliminaire, le chapitre 1 présente les concepts de bases de la maintenance. Le chapitre 2 consiste en une analyse critique des modèles d'optimisation de la maintenance issus de la recherche opérationnelle. En s'appuyant sur cette critique, il est propose, dans le chapitre 3, de recourir a l'analyse décisionnelle par utilité multi attribut. Le chapitre 4 étudie dans quelle mesure, cette méthode peut être utilisée dans le cadre théorique plus général des modèles d'utilite à dépendance de rang. Le chapitre 5 consiste en une présentation d'une procédure interactive d'estimation des fonctionnelles d'utilite multi attribut généralisée. Le chapitre 6, enfin, est consacre a une étude de cas
Thesis studies formal methodologies that will be helpful in the maintenance decision- making process and preconises to use an extension of multi-attribut utility theory to non-expected utility theories. Thesis does not only discuss attribute independence axioms and their decompositional effects on non-expected utility theories, but focuses rather on practical procedures and methods to elicit the multi-attributed utility function that remain valid in non-expected utility framework. In chapter 1, basic maintenance concepts are explained. Chapter 2 deals with maintenance optimisation models issu of operation research area. Chapters 3 and 4 preconise to use multi-attributed generalized expected utility framework in nuclear power plants maintenance. Chapter 5 presents a multi-attributed utility assessment program under risk based on generalized expected utility models. Chapter 6 consists in a case study

Le cadre de travail dans lequel s'inscrit cette thèse porte sur le développement d'une structure de pilotage prenant en compte simultanément les contraintes prévisionnelles et les contraintes réelles du système de production. Ces premières s'expriment en terme d'objectifs globaux et les secondes en terme de réactivité et de flexibilité. Plusieurs études ont montré les possibilités offertes par la structure distribuée pour absorber les fonctionnements dégradés. L'objectif de ce mémoire est d'étendre et de compléter la structure de pilotage de Tchako afin: • de permettre la prise en compte de la notion d'objectif global, • d'accroître la capacité intrinsèque de réactivité de l'approche distribuée. Nous montrons d'une part que l'intégration de la notion d'objectif global peut être obtenue par l'adjonction d'un niveau de supervision au modèle de Tchako. D'autre part, afin de conserver un niveau de réactivité satisfaisant, nous montrons qu'un compromis efficace entre les besoins en termes de réactivité et de gestion prévisionnelle (objectifs globaux) consiste à ordonnancer une partie des opérations à réaliser (ordonnancement partiel). Nous élaborons une liste des différentes approches possibles concernant les opérations (ou les ressources de production) à ordonnancer, et justifions une approche par ordonnancement partiel d'une ressource critique. Nous désignons la structure de pilotage correspondante sous le terme de pilotage hybride. L'accroissement de la capacité intrinsèque de réactivité résulte de la conception et du développement d'une structure de communication décomposée en deux niveaux, intégrant chacun une gestion de la robustesse. Ce point constitue une conceptualisation et une extension de la structure de communication de Tchako. Un autre point porte sur le développement d'un module de gestion de contraintes dynamiques portant sur le processus de fabrication. Par ailleurs, l'étude des processus de décision dans un cadre de pilotage temps-réel et distribué montre que les décisions sont de nature multicritère. L'étude de faisabilité que nous présentons a porté sur l'intégration d'une approche multicritère au niveau des processus décisionnels, prenant en compte les contraintes imposées au niveau du pilotage hybride. Elle a mis en évidence le faible niveau de structuration des processus décisionnels et conduit à analyser les possibilités d'intégration de l'opérateur humain via un système interactif d'aide multicritère à la décision.

Le développement des techniques de traitement automatisés s'impose dans les organisations publiques ou privées, et appelle une nouvelle réflexion éthique pour préserver le principe fondamental du droit de l'Union Européenne qui repose sur le principe de dignité de la personne humaine. Parce que l'homme n'est pas une «~machine~» parce qu'il est doué de la faculté de penser et de parler en rapport avec ses émotions il doit pouvoir garder la main sur les décisions automatisées qui de plus en plus tendant à lui offrir l'image du monde qu'il observe. Le RGPD offre notamment par son article 22 qui définit les principes organisationnels de la décision individuelle automatisée de larges potentialités dont le juriste doit construire la «~plasticité~» de l'application car l'automaticité doit être régulée et les possibilités légales existent pour le faire indépendamment des codes de conduite interne des responsables de traitement et du droit souple.