Commande de systèmes temps réel par réseaux de Petri

par Stéphane Marteau

Thèse de doctorat en Automatique et informatique appliquée

Sous la direction de Marc Bourcerie.

Soutenue en 1997

à Angers .


  • Résumé

    Cette thèse s'inscrit dans le cadre de la mise en œuvre d'applications temps réel. Plus précisément, l'objectif est de définir une modélisation générale des systèmes temps réel permettant leur commande, basée sur les réseaux de Petri. La mise en œuvre d'applications temps réel impose de nombreuses contraintes. Les temps de réponse du système de contrôle doivent être adaptés pour maintenir le procédé dans un état sécuritaire. Ce critère d'urgence entre directement en jeu dans les politiques d'ordonnancement des tâches de l'application. Se pose alors le problème de la sûreté de fonctionnement dans le cas où les contraintes temporelles ne sont pas respectées. Le système de contrôle doit donc intégrer de façon autonome une certaine capacité de décision. Enfin, il doit prendre en compte les divers dispositifs d'entrées/sorties du procédé. Dans la première partie de ce manuscrit, nous présentons toutes les bases nécessaires à la compréhension des idées et solutions exprimées par la suite, en terme de généralités et concepts de base des systèmes temps réel et de formalismes issus des réseaux de Petri. La seconde partie propose tout d'abord une analyse de modèles de réseau de Petri généralisé et de haut niveau. Cette étude aboutit au résultat que la maîtrise d'un système temps réel requiert un autre type de modèle. Nous définissons alors ce que nous appelons les réseaux de Petri Fp. La structure de corps associée aux couleurs permet la définition de transitions algébriques, qui confèrent au modèle une puissance de décision. La détermination de fonctions polynomiales autorise des séquencements complexes d'évolution. Nous considérons alors la possibilité d'évaluer des polynômes de transformation afin de permettre aux applications de modifier dynamiquement certains de leurs paramètres. Enfin, nous proposons une commande des systèmes temps réel basée sur un système de contrôle constitué d'un modèle global en trois couches. Celui-ci permet alors de répartir les différentes contraintes qui existent sur le procédé. La Partie Commande prend en compte tous les dispositifs d'entrées/sorties. La Partie Décisionnelle a pour rôle la prise de décision. La Partie Temporelle contribue à l'expression et à la recherche de solutions pour le respect des contraintes temporelles, et supporte un module de sûreté de fonctionnement.

  • Titre traduit

    Control of real time systems by Petri nets


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (208 p.)
  • Annexes : Bibliogr. p. 185-191(62 réf..)

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Angers. Service commun de la documentation. Section Lettres - Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P1997/23
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : Th.1672 bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.