Synthèse et filtrage robuste de la commande pour des systèmes manufacturiers sûrs de fonctionnement

par Pascale Marangé

Thèse de doctorat en Automatique, traitement du signal et génie informatique

Sous la direction de Bernard Riera.

Soutenue en 2008

à Reims .


  • Résumé

    Les travaux présentés dans cette thèse portent sur la conception de la commande de systèmes manufacturiers par des automaticiens au niveau de compétence variable. L’utilisation de PO réelles, soulève des problèmes à la fois théoriques de validation et de vérification de la commande mais aussi de prise en compte du concepteur. Ces problèmes nécessitent une approche prenant en compte la composante humaine du SHM. Les contributions développées dans cette thèse portent sur l’adaptation et la sécurisation de l’installation. Concernant le premier point, il est mis en évidence l’importance pédagogique de travailler sur toute l’installation plutôt que sur une partie. Une approche méthodologique consiste à décomposer fonctionnellement la PO en vue de pouvoir l’adapter au concepteur, tout en conservant la vision globale du système. Concernant le second point, deux approches sont envisagées. La première, hors ligne, repose sur des travaux antérieurs dans le domaine de la synthèse pour l’obtention d’une commande sûre, robuste et sans blocage. La seconde approche, en ligne, utilise un filtre, qui consiste à n’envoyer vers la PO que des commandes validées. La principale difficulté de ce type d’approche réside dans les spécifications du filtre. Une structure de filtre à 2 niveaux, ayant des capacités explicatives, est proposée. Le premier : filtre de validation système permet de sécuriser la PO. Le second : filtre de validation fonctionnel permet de vérifier le respect du cahier des charges. Une approche vérifie formellement que les contraintes sont suffisantes pour éviter toutes détériorations, avant l’implémentation au moyen du model-checker. Deux applications sont présentées.

  • Titre traduit

    Synthesis and robust filtering of control for dependable manufacturing systems


  • Résumé

    The work presented in this thesis, focuses on the control design by automatic control engineers who can have different levels of competence. The use of real plant can involve control design errors. This raises two original problems; the validation and verification of the control and the requirement to take into the designer. These problems require an approach taking into account the human part. The contributions developed in this thesis focuse on adapting the system to designer knowledge and on the system safety. On the first point, it highlights the educational importance to work on the global system rather than a part. An approach is based on the functional decomposition of the plant to adapt the specifications. This approach helps maintain the global vision of system. On the second point 2 approaches are envisaged to ensure the safety. The first, offline, is based on previous work performed. Supervisory control allows to obtain a sure, robust and without deadlock controller. The second approach, online, uses a filter. This approach allows sending to the plant only validated outputs. The main difficulties of filter lie firstly in its specifications, and secondly in its explanatory capabilities for the designer. A filter structure with 2 levels is proposed. The first one: system validation filter, assuring the plant safety. The second one: functional validation filter enables to verify if specifications are conformed. The proposed approach to ensure that the constraints are properly defined is to formally verify, using the model-checker. The verification procedure determines the sufficient constraints set to avoid deterioration situations. Two applications are presented.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (253p.)
  • Annexes : Bibliogr. p. 207-215.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Non disponible pour le PEB
  • Cote : 08REIMS007
  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Disponible pour le PEB
  • Cote : 08REIMS007Bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.