Literatura académica sobre el tema "Contrôle par événement"

RésuméLe Tribunal de Première Instance des Communautés Européennes (TPICE) a récemment retoqué trois vetos des autorités communautaires de la concurrence. Au-delà du camouflet que représentent ces décisions, c'est principalement l'insuffisance de preuves et la faiblesse de l'analyse économique de la Commission Européenne qui sont à chaque fois critiquées. Afin d'évaluer la véracité de ces critiques, nous cherchons à analyser de manière précise si les décisions de la Commission sont corroborées par l'anticipation des marchés. Pour se faire, nous utilisons et étendons la méthodologie d'Eckbo-Stillman (1983), plus communément appelée méthode événementielle. Le principe de base en est simple. Il consiste à tester l'hypothèse de pouvoir de marché (ou de collusion) en analysant comment le cours des actions réagit à des événements importants. L'hypothèse testée est la suivante : si la concentration projetée est susceptible de réduire l'intensité de la concurrence (de se traduire par un surcroît d'efficacité), alors les firmes rivales doivent voir leur valeur boursière augmenter (baisser) lors de l'annonce d'un événement augmentant la probabilité de réalisation de la concentration et se déprécier (augmenter) lorsque la probabilité de survenance de celle-ci diminue. Nos résultats montrent que dans la majorité des affaires, il est impossible de valider l'hypothèse d'effets anti-concurrentiels.

Cet article s’intéresse au rôle des nouveaux médias dans l’élaboration du discours médiatique sur les Jeux Olympiques de Sotchi 2014. Les JO de Sotchi y sont appréhendés en tant qu’ « événement médiatique », c’est-à-dire en tant qu’événement sportif mondial dont les représentations sont construites par les médias de masse. L’article étudie le discours officiel et non officiel sur les JO au sein des nouveaux médias comprenant des sites internet russes et le réseau social Vkontakte. Ces discours sont ensuite comparés aux perceptions de l’opinion publique russe sur les JO à travers une analyse des données d’un sondage mené auprès de citoyens russes pendant la période précédant les Jeux (janvier-février 2014). Il révèle l’existence de perceptions contrastées au sein de l’opinion publique russe sur les questions liées à l’organisation des JO et à la construction de l’identité nationale. Il démontre par ailleurs que les processus de convergence et de regroupement à l’œuvre au sein des nouveaux médias russes favorisent la mise en place d’un contrôle sur leur contenu et en limite l’accès.

AbstractControl over and access to land in Nso, Cameroon, has always depended on social identity. Control over land is a central symbol of leadership, both historically and today. Since the mid-1970s the Cameroonian state has instituted land ordinances and stressed privatisation and land titling, while Nso ideology has continued to emphasise access to land as a right of Nso citizenship. The contradictions set up by these two differing views are exacerbated by disputes between the Fon Nso and his sub-chiefs, in this case the Fon Nseh, over the right to control access to land. This prerogative, represented by the licence to collect taxes for the people farming on the land, is further complicated by the relationship of the two rulers and their constituents to the national state. Each Fon reinvents tradition by reinterpreting a series of historical events to buttress his claim, the Fon Nso stressing rights in people and the Fon Nseh stressing rights in territory by virtue of his ritual obligation to the ancestors residing there. This article examines the complex relationships and the distribution of power among these traditional rulers, the new elites and the national state.RésuméLe contrôle et l'accession à la terre à Nso, au Cameroun, a toujours dépendu de l'identité sociale. Le controle de la terre symbolise l'idée de chef, à la fois dans le passé et encore de nos jours. Depuis le milieu des années 1970, l'état camerounais a établi des arrêtes fonciers et renforce la privatisation et le droit foncier, alors que l'idéologie Nso a continué à accentuer l'accession à la terre comme un droit de citoyenneté Nso. Les contradictions produites par ces deux points de vues différents sont encore plus exacerbées par les désaccords entre le Fon Nso et ses sous-chefs, dans ce cas le Fon Nseh, sur le droit de controler l'accession à la terre. Ce privilege, representé par le droit de percevoir les impôts payables par les fermiers travaillant sur la terre, se complique encore davantage quant au rapport des deux chefs et de leurs partisans à l'état moderne. Chaque Fon réinvente la tradition en dormant une nouvelle interpretation à certains événement historiques pour étayer sa revendication: le Fon Nso met en valeur les droits du point de vue des gens, alors que le Fon Nseh renforce les droits dans la perspective du territoire en vertue de l'engagement rituel qu'il porte envers les ancêtres qui y résident. Cet article analyse les rélations complexes et la repartition du pouvoir parmi ces chefs traditionnels, les nouvelles élites et l'état moderne.

Accueillir des consommateurs dans ses locaux est un défi quotidien pour le manageur : celui de la gestion de chaque épisode expérientiel. Face à un tel défi, le chercheur peut activement participer à l’identification des attributs et de la symbolique des événements et des expériences, au repérage des facteurs d’incidents et à la mesure des seuils de dégradation expérientielle, et à l’anticipation et à la retranscription des emblèmes de l’expérience vécue. Ces contributions étant limitées par de possibles comportements de transgression et par la multiplicité des variables intervenantes, la conception d’un programme de gestion des expériences vécues sur les lieux de l’entreprise tient sans doute dans l’accroissement des collaborations entre chercheurs et professionnels .

Les psychoses majeures telles la schizophrénie sont des troubles complexes qui peuvent impliquer des interactions multiparamétriques comprenant des facteurs génétiques et environnementaux comme des infections. Des études successives ont montré une association entre la schizophrénie et les rétrovirus endogènes humains (HERV). Les HERVs sont des composants du génome humain qui représentent 8 % de l’ADN chromosomique. Depuis plus d’une décennie, une famille spécifique de HERV, HERV-W, a été associée à la schizophrénie. Or, une fois activée, l’expression HERV-W peut être à l’origine de la production d’une protéine d’enveloppe (HERV-W Env) aux propriétés pro-inflammatoires et cytopathogènes via une très haute affinité pour le toll-like receptor 4 (TLR4). Ainsi la sécrétion de cette « toxine endogène » ou sa présentation à la surface des cellules productrices, induit une forte activation des voies de signalisation TLR4 dans les cellules du système immunitaire ou du tissu cérébral (microglie, en particulier). Une transcription élevée des gènes HERV-W a été rapportée dans des études effectuées sur différentes populations de patients schizophrènes en Europe, en Amérique du Nord et en Chine. Les antigènes de capside et d’enveloppe des protéines HERV-W ont été mis en évidence dans des échantillons de sang de patients schizophrène corrélant avec le dosage de CRP (marqueur d’inflammation), ceci, dans la sous-population des patients ayant une CRP positive. Par ailleurs, on a montré que certains Herpesviridae (CMV, HSV…), le virus influenza ou le parasite Toxoplasma gondii, qui sont des facteurs positivement associés à un risque plus élevé de développer une schizophrénie, avaient la capacité d’activer des éléments de la famille HERV-W dans certaines cellules. Les études expérimentales ainsi effectuées, démontrent que des facteurs environnementaux peuvent induire une modification de l’expression de ces éléments génétiques et, ainsi, induire une production auto-entretenue de protéine pathogène codée par certaines copies HERV-W. Différentes études ont aussi montré un effet potentiel de HERV-W Env sur le développement et le fonctionnement neuronal, via la dérégulation de neurorécepteurs (NMDA/DRD3) ou de facteurs comme le BDNF. D’autres paramètres de ces interactions complexes ont aussi été mis en évidence, comme certains profils immunogénétiques (HLA/génotype TLR4 susceptibles aux infections), un faible contrôle épigénétique (infections périnatales), des toxiques (cannabis ?) ou des stress particuliers. La résultante de ces interactions multiples, peuvent permettre de relayer les effets des facteurs environnementaux au niveau d’une expression génique HERV-W anormale codant pour une protéine immuno- et neurotoxique. Ainsi, HERV-W pourrait constituer un élément pivot dans la pathogenèse de la maladie, une fois activé au niveau du génome de certaines cellules. Par conséquent, notre hypothèse est qu’un événement infectieux ou inflammatoire majeur au cours de la grossesse, peut déclencher l’activation des éléments de HERV-W dans l’embryon ou le nouveau-né. L’activation de ces HERVs qui peuvent rétrotransposer dans le génome affecté, pourrait provoquer des modifications de l’ADN telles qu’observées ultérieurement chez les malades atteints de schizophrénie (CNV, microdélétions ou réarrangements génétiques, etc.). Un remaniement du génome HERV-W et d’éléments « génétique mobiles » associés, pourrait causer une expression aberrante HERV-W et conduire à un développement neurologique anormal, dans un contexte général de neurotoxicité inflammatoire. Des conditions de stress particulières et/ou des infections secondaires avec des agents neurotropes tels que, par exemple, le cytomegalovirus (CMV) ou le virus de l’herpès simplex de type 1 (HSV-1), pourraient alors venir augmenter ou réactiver l’expression des éléments modifiés de HERV-W modifiés ou dérégulés. Ceci conduirait à atteindre un seuil d’expression qui déclencherait des épisodes neuro-inflammatoires et/ou neurotoxiques à l’origine d’une symptomatologie psychotique aiguë. L’existence d’anticorps neutralisant cette toxine endogène, dont une IgG4 humanisée est actuellement développée en phase II d’essais cliniques pour d’autres pathologies neuro-inflammatoires, suggère que des études précliniques sont nécessaires pour étayer des stratégies de traitement spécifiques analogues. Une telle approche innovante ciblant une protéine endogène qui agirait en amont de la cascade pathogénique responsable de l’évolution de la maladie schizophrénique, pourrait la neutraliser et, potentiellement, réduire puis prévenir la survenue d’épisodes psychotiques ainsi que les conséquences neuropathologiques induites.

Comment le Mexique, dirigé à l’époque par le gouvernement conservateur du Parti Action Nationale (PAN), a-t-il commémoré le Bicentenaire de son Indépendance et le Centenaire de la Révolution mexicaine en 2010 ? Comment les trois pouvoirs de l’État et les États fédérés ont-ils célébré ces événements ayant donné origine à l’État-nation mexicain alors qu’ils représentent une défaite des conservateurs, dont les héritiers sont au pouvoir fédéral au moment des célébrations ? Cet article s’attachera à répondre à ces questions grâce à des entretiens semi-directifs menés avec des acteurs clés de ces célébrations, à l’analyse des événements organisés en 2010, et des rapports produits par les organisations de contrôle de l’Exécutif suite à des dénonciations de malversations. Nous explorons l’hypothèse selon laquelle ces célébrations sont utilisées par le gouvernement comme un « rite commémoratif » permettant de réactiver le sentiment d’union et de « communauté d’intérêts et de traditions » des Mexicains dans un contexte de crise politique et sociale.

RésuméLes événements en Afghanistan consécutifs à l’intervention militaire américaine d’octobre 2001 sont perçus par nombre de commentateurs et de journalistes dans une continuité historique et à l’aide d’une grille d’analyse prête à l’emploi : celle de tribus indociles contestant un État central faible dont le contrôle ne s’étendrait guère au-delà de la capitale. Deux régimes auraient tenté de briser cette continuité en imposant un État central fort parce qu’idéologique : les communistes, de 1978 à 1992, et les Taliban, de 1996 à 2001. Mais l’Afghanistan serait retourné à ses vieux démons : ceux des « seigneurs de la guerre», des tribus rebelles et des conflits ethniques. Or cette vision, qui fait quelque peu partie du sens commun sur un pays brièvement très médiatisé, n’est pas corroborée par une analyse de l’histoire du XXe siècle. Aucun Afghan ne conteste aujourd’hui le fait de l’État central ; mais l’État afghan reste très tributaire de l’aide internationale, et l’accroissement spectaculaire du trafic de drogue peut bouleverser la donne, en créant une masse de ressources en dehors du contrôle de l’État, et qui pourrait, dès 2005, dépasser le budget de l’État.

Les transitions (développementales, écologiques, etc.) au cours du cycle de vie des organismes sont essentielles à la survie de nombreuses espèces animales. Cependant, les mécanismes contrôlant ces événements sont encore largement méconnus. Les poissons des récifs coralliens vivent plusieurs transitions majeures au cours de leur vie. En effet, les adultes se reproduisent à proximité du récif, émettant des œufs qui se dispersent et éclosent dans l’océan où les larves vont se développer. Les larves retournent ensuite vers les récifs où elles s’installent et persistent, cette étape constituant le recrutement larvaire. Cette transition écologique (du grand bleu au récif) qui a lieu au cours du recrutement larvaire est accompagnée d’une transition développementale permettant à la larve de devenir un juvénile. Cette transition essentielle, considérée comme une métamorphose, est contrôlée par les hormones thyroïdiennes (TH : T4, T3) et leurs récepteurs nucléaires (TRαa, TRαb et TRβ). Ainsi, une augmentation des taux de TH et de l’expression des TR chez les larves entraîne le déclenchement de leur métamorphose leur permettant ainsi de s’installer dans les récifs à l’état de juvénile. Nous avons observé ces évènements chez différentes espèces de poissons coralliens, laissant à penser qu’ils pourraient intervenir chez toutes. Du fait de ce contrôle hormonal, la transition de la larve en juvénile peut être affectée par des perturbateurs endocriniens dans l’environnement ainsi que par d’autres polluants. Nous avons notamment montré qu’un pesticide, le chlorpyrifos, perturbe la métamorphose du poisson chirurgien et du poisson clown, diminuant ainsi la qualité des juvéniles sortant de cette transition. La métamorphose et le recrutement larvaire étant essentiels au maintien des populations de poissons et, par voie de conséquence, à la résilience des récifs coralliens, il est important de mieux comprendre aux niveaux moléculaire, développemental et comportemental, comment le changement global et la pollution peuvent menacer les écosystèmes récifaux.

RésuméÀ Rome, au XVIe siècle, les principales scansions d’un pontificat donnent lieu à d’innombrables paris, qui mobilisent des moyens financiers considérables et suscitent l’enthousiasme de toute la société romaine. Les bulletins des parieurs révèlent la probabilité, pour les joueurs, d’un événement: ce faisant, ils centralisent les rumeurs et informations. La multiplication anarchique de paris finit par brouiller la réalité: comme des papes meurent ou sont élus sur les comptoirs des parieurs, il devient difficile de distinguer les chronologies réelles, de savoir si le pape est élu ou mort. Cette disparition de l’événement réel a des conséquences politiques inattendues: en singeant les conclaves par les paris, la foule invente un rituel parallèle à même de combler les vacances du pouvoir. La continuité du pouvoir pontifical, la pacification politique des États pontificaux, doit paradoxalement beaucoup aux parieurs qui, par leurs jeux, s’octroyaient les attributs du pouvoir souverain. Dans le même temps se développe la crainte d’une élection pontificale guidée non par l’Esprit saint, mais par les intérêts financiers en jeu, ce qui conduit le pouvoir pontifical à interdire ces paris, à contrôler la parole publique à Rome, pour que le secret du prince ne soit pas confisqué par la rue.

Résumé Depuis plusieurs années, des études ont démontré que les événements stressants pendant la grossesse affectent le niveau de développement neurologique, de même que le fonctionnement cognitif et psychologique ultérieurs de l'enfant. Par exemple, Mednick (1997) a examiné l'impact d'un important séisme survenu en Chine sur le développement intellectuel et psychologique d'enfants à naître. Vingt-trois ans plus tard, des différences significatives dans le fonctionnement intellectuel, la dépression et la taille de certaines régions du cerveau ont été constatées chez ce groupe en comparaison aux enfants du groupe témoin. Des événements de moindre envergure, tels un divorce ou la perte d'emploi durant la grossesse, peuvent également augmenter l'incidence des complications obstétricales et avoir un impact sur le fonctionnement neurologique du bébé, son poids à la naissance et la circonférence de sa tête. Le décès du père ou l'exposition à un désastre naturel durant la grossesse ont été associés à la dépression, à la schizophrénie et à la criminalité à l'âge adulte. Divers effets adverses reliés aux événements stressants ont aussi été notés chez les primates. L'ensemble de ces études suggèrent que le second trimestre de la grossesse constitue une période critique pendant laquelle les événements stressants peuvent affecter le développement du foetus. Des contraintes méthodologiques nuisent actuellement à la recherche sur le stress prénatal maternel. Les études sur des animaux offrent d'excellents contrôles des environnements prénatal et postnatal. Cependant, les résultats de ces études sont difficilement applicables à l'humain à cause de la présence chez ce dernier, de nombreux facteurs de risque ou de protection absents chez les animaux. De plus, on ne peut assigner les stresseurs de façon aléatoire, dans les études sur les effets des événements de vie pendant la grossesse humaine. En effet, les traits de personnalité de la mère peuvent être transmis certes génétiquement mais également au niveau du développement. Par ailleurs, les enfants d'une mère avec de telles difficultés de personnalité sont exposés à plus d'événements de vie prénatale. D'autre part, la majorité des études sur l'humain ont une variance restreinte car il faut un très vaste échantillon de femmes enceintes pour garantir un nombre suffisant de sujets ayant vécu des événements de vie majeurs. Finalement, les études rétrospectives démontrant un lien entre un risque élevé de schizophrénie ou de dépression et des événements prénataux n'incluent pas de mesures prises sur le champ de la gravité objective ou de la manifestation biologique du stress. Nous présentons ici une revue de littérature portant sur le stress prénatal suivie d'une discussion sur comment la tempête de verglas de 1998 pourrait être utilisée pour faire la lumière sur des questions telles que les mécanismes par lesquels le stress prénatal exerce une influence sur la santé mentale du foetus.

Dans ce travail, nous proposons deux méthodes originales d'identification d'une classe de systèmes à événements discrets (SED) modélisables par réseaux de Petri (RdP). La première méthode consiste à utiliser les signaux de sortie du système afin d'élaborer son modèle comportemental sous la forme d'un RdP. Les conditions nécessaires et suffisantes pour garantir l'unicité de la solution sont établies. Par ailleurs, le problème d'identification d'un SED est défini sous la forme d'un problème de programmation linéaire binaire. Quant à la deuxième méthode, elle est basée sur l'analyse des signaux d'entrée et de sortie mesurables du système considéré. Elle consiste à déterminer la partie mesurable et à estimer la partie non mesurable puis, à calculer la structure et le marquage initial du RdP à identifier. Par ailleurs, deux approches de synthèse de contrôleur RdP sont proposées. Ces derniers permettent de raffiner les modèles issus de la première phase en inhibant, quand c’est nécessaire, l’atteignabilité des états interdit. Les résultats obtenus dans ce travail ont été validés sur un système réel
In this thesis we have proposed two original identification approaches of a class of discrete event systems using Petri Nets. Our first proposed approach consists in using the output symbols of the target system to elaborate its behavioural model in PN form. The necessary and the sufficient conditions for the existence of a unique solution are established. Moreover, the identification problem is defined as a binary linear programming problem where the uniqueness of the solution is not guarantee. For our second method, it based on using the measurable input and output system signals. It consists in calculating the measurable part, estimating the non measurable one and developing different algorithms to estimate the structure and the initial marking of a PN model to be identified. However, the latter can generate, in some times, some behaviours which are not equivalent to those generated by the real system. These behaviours are considered as illegal. To inhibit the identified model to access to these illegal states two synthesis approaches of PN controller are proposed. Finally, the results obtained in this thesis have been validated on a real system

Inspiré par les limitations de contrôleurs PID traditionnels et les différentes performances dans les cas idéals et réalistes, les quadrotors existants, leurs applications et leurs méthodes de contrôle ont été intensivement étudiés dans cette thèse. De nombreux challenges sont dévoilés: les systèmes embarqués ont des limites des ressources de calcul et de l'énergie; la dynamique est assez complexe et souvent mal connu; l'environnement a beaucoup de perturbations et d'incertitudes; de nombreuses méthodes de contrôle ont été proposées dans des scénarios idéaux dans la littérature sans comparaison avec d'autres méthodes. Par conséquent, cette thèse porte sur ces principaux points dans le contrôle de quadrotors.Tout d'abord, les modèles cinématiques et dynamiques sont proposés, y compris toutes les forces et couples aérodynamiques importants. Un modèle dynamique simplifié est également proposé pour certaines applications. Ensuite, la dynamique de quadrotor est analysée. En utilisant la théorie de la forme normale, le modèle de quadrotor est simplifié à une forme plus simple nommée la forme normale, qui présente toutes les propriétés dynamiques possibles du système d'origine. Les bifurcations de cette forme normale sont étudiées, et le système est simplifié à son point de bifurcation en utilisant la théorie de la variété du centre. Basé sur l'étude des applications de quadrotors, cinq scénarios réalistes sont proposés : un cas idéal, les cas avec la perturbation du vent, les incertitudes des paramètres, les bruits de capteurs et les fautes de moteur. Ces cas réalistes peuvent montrer plus globalement les performances des méthodes de contrôle par rapport aux cas idéaux. Un schéma déclenché par événements est également proposé avec le schéma déclenché par. Ensuite, la commande sans modèle est présentée, Il s'agit d'une technique simple mais efficace pour la dynamique non-linéaire, inconnue ou partiellement connue. La commande par backstepping et la commande par mode glissant sont également proposées pour la comparaison.Toutes les méthodes de contrôle sont mises en œuvre sous les schémas déclenchés par temps et par événements dans cinq scénarios différents. Basé sur l'étude des applications de quadrotors, dix critères sont choisis pour évaluer les performances des méthodes de contrôle, telles que l'erreur maximale absolue de suivi, la variance de l'erreur, le nombre d'actionnement, la consommation d'énergie, etc.

Ces dernières années, les technologies à courant continu haute tension (en anglais, HVDC) basées sur les convertisseurs modulaires multiniveaux (MMC) sont adoptées comme solution pour l'intégration efficace des énergies renouvelables dans les réseaux électriques. Cependant, ces technologies présentent de nouveaux défis dans la façon dont les systèmes de transmission de puissance sont contrôlés et exploités, car des stratégies de contrôle plus rapides et plus complexes seront nécessaires dans un domaine qui repose aujourd'hui fortement sur la décision humaine. Dans ce contexte, la modélisation des systèmes à événements discrets (SED) et la théorie du contrôle par supervision (TCS) sont des outils puissants pour la synthèse de superviseurs qui assurent que le système à contrôler respecte un ensemble de spécifications comportementales, imposées par le concepteur, dans ses limites physiques. Ce travail propose une méthode pour le développement complet, de la conception à la mise en œuvre, du contrôle par supervision d'un système Multi-Terminal DC (MTDC). Une analyse du système considéré a été effectuée afin d'identifier les principaux composants et modes de fonctionnement du réseau. La solution proposée repose sur la modélisation par événements discrets du comportement en temps continu des composants du système. A partir de là, les concepts de la TCS sont appliqués de manière à obtenir une architecture de contrôle hiérarchique prenant en compte la priorité de certaines actions de contrôle à traiter au niveau local. De plus, les contrôleurs discrets obtenus présentent une structure de commutation de mode afin de réaliser une gestion de mode pendant le fonctionnement du réseau MTDC. Enfin, une méthode pour la mise en œuvre des contrôleurs obtenus dans un logiciel de simulation de système électrique répandu est proposée. L'ensemble dutravail a été validé par la simulation d'une étude de cas impliquant la gestion des modes d'un système MTDC bipolaire à trois terminaux
The growth of renewable energy production is changing the future of power transmission systems. In recent years, High-Voltage Direct Current (HVDC) technologies based on Modular Multilevel Converters (MMC) are embraced by industry and academia as a solution for the efficient integration of renewable energies into electrical grids. However, this type of technology introduces new challenges in the way power transmission systems are controlled and operated, as faster and more complex control strategies will be needed in a domain which nowadays relies heavily on human decision. In this context, Discrete Event Systems (DES) modeling and Supervisory Control Theory (SCT) are powerful tools for the synthesis of supervisors ensuring that the system to be controlled respects a set of behavioral specifications, imposed by the designer, within its physical limitations. This work proposes a method for the full development, from conception to implementation, of the supervisory control of a multi-terminal DC (MTDC) system. A functional analysis on the considered system has been done so as to identify the main components and operational modes of the grid. Then, the proposed solution is based on the discrete-event modeling of the continuous-time behavior of the components in the system. From there, SCT concepts are applied so as to obtain a hierarchical control architecture taking into account the priority of some control actions that should be treated at the local level. Furthermore, the obtained discrete controllers present a mode-switching structure in order to realize mode management during the operation of the MTDC grid. Finally, a method for the implementation of the obtained controllers in widespread power system simulation software is proposed. The whole work has been validated through the simulation of a case study, involving the mode management of a 3-terminal bipolar MTDC system

Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L'étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d'étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L'étape suivante est l'exécution d'une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d'aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d'états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l'applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l'utilisons sur un exemple de taille importante utilisée dans la littérature.

Dans ce travail, nous proposons une méthode systématique et facile de mise en œuvre pour la synthèse du contrôle des systèmes à événements discrets. Nous modélisons les systèmes par des modèles RdP saufs. Deux idées distinctes sont utilisées : 1) ajout de places de contrôle pour empêcher l'atteignabilité des états interdits, et 2) ajout de conditions pour les transitions contrôlables. Nous avons alors été confrontés au problème des transitions incontrôlables pour garantir l'optimalité et à la complexité apportée par le nombre des places de contrôles qui peut être très grand.
Dans la première idée, nous avons utilisé le théorème introduit par Guia, qui permet de passer d'un ensemble d'états interdits vers un ensemble de contraintes linéaires. Nous avons proposé des méthodes originales de simplification des contraintes. Il est alors possible de réduire le nombre et la borne des contraintes et ainsi de construire un modèle contrôlé simple. Les méthodes de simplification présentées sont applicables sur les RdP saufs. Nous avons déterminé les conditions nécessaires et suffisantes pour avoir un contrôleur maximal permissif. L'avantage principal de ces méthodes de synthèse de contrôleurs est que le modèle RdP contrôlé est très proche du modèle initial.
La deuxième idée qui a été utilisée pour la synthèse est l'utilisation des conditions pour le franchissement des transitions contrôlables. Les méthodes qui utilisent cette technique, ont en général besoin d'un calcul long en temps réel. En appliquant notre méthode de simplification, nous arrivons à un contrôleur simple.

Dans ce travail, nous proposons une méthode systématique et facile de mise en œuvre pour la synthèse du contrôle des systèmes à événements discrets. Nous modélisons les systèmes par des modèles RdP saufs. Deux idées distinctes sont utilisées : 1) ajout de places de contrôle pour empêcher l'atteignabilité des états interdits, et 2) ajout de conditions pour les transitions contrôlables. Nous avons alors été confrontés au problème des transitions incontrôlables pour garantir l'optimalité et à la complexité apportée par le nombre des places de contrôles qui peut être très grand. Dans la première idée, nous avons utilisé le théorème introduit par Guia, qui permet de passer d'un ensemble d'états interdits vers un ensemble de contraintes linéaires. Nous avons proposé des méthodes originales de simplification des contraintes. Il est alors possible de réduire le nombre et la borne des contraintes et ainsi de construire un modèle contrôlé simple. Les méthodes de simplification présentées sont applicables sur les RdP saufs. Nous avons déterminé les conditions nécessaires et suffisantes pour avoir un contrôleur maximal permissif. L'avantage principal de ces méthodes de synthèse de contrôleurs est que le modèle RdP contrôlé est très proche du modèle initial. La deuxième idée qui a été utilisée pour la synthèse est l'utilisation des conditions pour le franchissement des transitions contrôlables. Les méthodes qui utilisent cette technique, ont en général besoin d'un calcul long en temps réel. En appliquant notre méthode de simplification, nous arrivons à un contrôleur simple
In this work, we propose a systematic method for controller synthesis in discrete events systems. We model the process and the specification by safe Petri Nets (PN). Two distinct ideas are used: 1) adding the control places to prevent the reachability of forbidden states, and 2) adding conditions with the controllable transitions. The uncontrollability asks the problem of optimatlity and the large number of control places the problem of complexity. In the first idea, we use the theorem introduced by Guia, which makes it possible to pass from the set of forbidden states to the set of linear constraints. We propose original methods of simplification of the constraints. It is then possible to reduce the number and the bound of the constraints and thus to build a simple controller model. The methods of simplification presented are applicable on safe PN. We determine the necessary and sufficient conditions to have a maximal permissive controller. The principal advantage of these methods is that the controlled PN model is very close to the PN initial model. The second idea for controller synthesis is the using of conditions for controllable transitions. The methods which use this technique generally need a long calculation in real time. While applying our method of simplification, we arrive to a simple controller

La course à la miniaturisation des circuits électroniques pousse à développer des systèmes faible coût, quece soit en terme de consommation d'énergie ou de ressources de calcul. Il est ainsi possible de réduire la consommationen diminuant la tension d'alimentation et/ou la fréquence d'horloge, mais ceci a pour conséquence de diminuer aussila vitesse de fonctionnement du circuit. Une commande prédictive rapide permet alors de gérer dynamiquement un telcompromis, de manière à ce que la consommation d'énergie soit minimisée tout en garantissant de bonnes performances.Les stratégies de commande proposées ont notamment l'avantage d'être très robustes aux dispersions technologiquesqui sont un problème récurrent dans les nanopuces. Des solutions sont également proposées afin de réduire le coût decalcul du contrôleur. Les systèmes à échantillonnage non-uniforme, dont la loi de commande est calculée et mise à jourlorsqu'un événement est déclenché, sont ainsi étudiés. Ce principe permet de réduire le nombre d'échantillons et, parconséquent, d'économiser des ressources de calcul, tout en garantissant de bonnes performances du système commandé.Des résultats de simulation, et surtout expérimentaux, valident finalement l'intérêt d'utiliser une telle approche.

Cette thèse a été réalisée dans le cadre d'un partenariat entre le CRAN et l'entreprise TRANE. Elle propose une méthodologie pour l'intégration et le développement de Systèmes Contrôlés par le Produit(SCP). Celle-ci a vocation de permettre d'implémenter une architecture de contrôle par kanbans et/ou produits « actifs », adaptable aux systèmes de production d'une entreprise. Le premier chapitre de la thèse décrit le contexte industriel. A l'issue de ce chapitre émerge les problèmes de synchronisation de flux de l'entreprise. Le second chapitre présente une étude bibliographique des stratégies existantes de pilotage de flux et apportant donc des éléments de réponse à ces problématiques. Après avoir montré l'apport des systèmes contrôlés par le produit dans la résolution de ceux-ci, ce chapitre montre le besoin de méthodes d'ingénierie pour concevoir un SCP adapté « au plus juste » au système industriel étudié. Le troisième chapitre est consacré à la définition de la problématique scientifique. En réponse à celle-ci, la proposition d'une méthodologie de conception et d'intégration des systèmes contrôlés par le produit est présentée dans le quatrième chapitre. Cette méthodologie s'appuie sur l'approche d'ingénierie système « six-sigmas » pour piloter le projet de conception du SCP par des indicateurs issus des besoins des utilisateurs. L'utilisation de la simulation événementielle permet de concevoir l'architecture la plus pertinente au regard des indicateurs de performance retenus et de valider a priori l'intégration du SCP ainsi conçu dans son environnement. Le dernier chapitre a pour objectif d'illustrer l'approche sur des cas réels d'application.

Les travaux présentés dans ce mémoire de thèse entrent dans le cadre de la reconfiguration de la commande des systèmes automatisés de production (SAP) vus comme une classe de Systèmes à Evénements Discrets (SED). La reconfiguration est basée sur la théorie de contrôle par supervision (SCT) et déclenchée suite à une détection des défauts sur la partie opérative (commande tolérante aux fautes). La contribution de ce mémoire est basée sur une synthèse de contrôle sûre fondée sur des propriétés temporisées. Si un défaut de capteur est détecté, le contrôleur du comportement normal est reconfiguré en un comportement dégradé où les informations temporisées compensent les informations perdues sur le capteur défectueux. Le basculement entre le comportement normal et le comportement dégradé est assuré par des règles de reconfiguration. L'objectif principal de notre méthode est d'implémenter le contrôle obtenu dans un automate programmable industriel (API). L'approche développée dans la thèse repose sur une architecture de contrôle distribuée des systèmes automatisés de production pour éviter l'explosion combinatoire récurrente des approches à base de SCT. Pour répondre aux différents objectifs, nous proposons une méthode pour traduire les contrôleurs distribués des deux modes de fonctionnement, ainsi que les règles de reconfiguration en différents grafcets implantables dans un API. L’implémentation de ces différents modèles est vérifiée par une technique de model-checking avant d’être testé sur un jumeau numérique. Enfin, nous appliquons notre contribution à un système réel pour illustrer nos résultats
The research results presented in this thesis falls within the framework of control reconfiguration of Automated Production Systems (APS) seen as a class of Discrete Event Systems (DES). The reconfiguration is based on Supervisory control theory (SCT) and triggered following a plant fault detection (fault tolerant control). The faults considered in this report are sensor faults (a sensor which remains blocked on reading 1 or on reading 0). The main contribution is based on a safe control synthesis founded on timed properties. In fact, if a sensor fault is detected, the controller of the normal behavior is reconfigured to a timed one where the timed information compensates the information lost on the faulty sensor. The switch between normal and reconfigured behaviors is ensured using reconfiguration rules. The main objective of our method is to implement the obtained control into a PLC. To meet the different objectives, we propose a method to translate the distributed controllers of the two operating modes, as well as the reconfiguration rules into different Grafcets implantable in a PLC. The implementation of these different models is verified by a model-checking technique before being tested on a digital twin. Finally, we apply our contribution to a real system to illustrate our results