Commande robuste des systèmes de production : une approche basée sur un modèle mixte Statechart-Automates = = Robust control of production systems : an approach based on a mixed Statechart-Automata Model / par Souad Hadji épouse Gherbi ; sous la dir. de Joël Favrel

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1999

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Commande robuste

Favrel, Joël (Directeur de thèse / thesis advisor)

Institut national des sciences appliquées de Lyon (Lyon) (Organisme de soutenance / degree-grantor)

PRISMa - Laboratoire de Productique et d'Informatique des Systèmes Manufacturiers (Lyon-Villeurbanne) (Laboratoire associé à la thèse / thesis associated laboratory)

Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : Les systèmes de production constituent une classe particulière de systèmes complexes. Pour en analyser leur fonctionnement, on les considèrent souvent comme des systèmes à événements discrets. Nous proposons de commander de tels systèmes en considérant deux niveaux hiérarchisés. Le premier niveau correspond à la commande directe du procédé ; il est constitué par un ou plusieurs superviseurs déterminés par la théorie classique de Ramadge et Wonham. Le deuxième niveau réalise la commutation entre ces superviseurs en fonction de situations correspondant à des objectifs d'un niveau hiérarchique supérieur. Notre objectif étant de fournir un système de commande globale, pouvant amener le système en une commande imposée par un des superviseurs et donc en un point de fonctionnement précis. Notre contribution repose sur deux propositions complémentaires. La première concerne la partition des comportements dynamiques qui interviennent sur les deux niveaux. Ainsi en effectuant des synthèses partielles, c'est à dire à chaque niveau, il est démontré qu'il est possible de faire la synthèse formelle de la commande globale. Cela réduit considérablement la complexité de l'approche. La seconde est relative à l'utilisation d'un modèle mixte Statechart-automates. La mise en œuvre des principes est réalisée, d'une part par l'élaboration d'un cadre méthodologique et d'autre part par une application à la commande robuste. En effet, le caractère de plus en plus perturbé et incertain de l'environnement conduit à considérer la gestion des aléas comme une des nouvelles exigences de commande des systèmes de production. Nous nous sommes attachés à formaliser les mécanismes de changements de mode de fonctionnement et, à valider formellement les différents modes de fonctionnements ainsi que la structure de commande globale.