UMR CNRS 7253

Site Tools


en:m_bouai_l_munoz

Seminar SIT55 -- November 17th, 2009


Analyse des modèles réseaux de Petri Colorés par l'accessibilité arrière

by Mohamed BOUAI

Abstract:

Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L'analyse de modèle RdPC peut s'effectuer de plusieurs manières tel que l'exploration de l'espace d'états accessibles, la simulation ou l'analyse structurelle. Dans le cadre du diagnostic et, plus généralement, de la sûreté de fonctionnement des systèmes, l'intérêt est porté sur l'analyse structurelle par accessibilité arrière. Cette analyse permet de trouver la source d'un état particulier du système (généralement, un état défaillant). La mise en œuvre de cette analyse est fait par transformation du RdPC initial en RdPC inverse par application de différentes règles structurelles. Une application de cette méthode consiste en l'analyse d'un système de freinage d'un tramway. Les Réseaux de Petri Colorés (RdPC) sont des RdP augmentés d'une sémantiques permettant la différentiation des jetons. Les RdPC sont munis d'une grande expressivité et sont considérés comme outil de modélisation puissant, reconnu et formel. L'analyse de modèle RdPC peut s'effectuer de plusieurs manières tel que l'exploration de l'espace d'états accessibles, la simulation ou l'analyse structurelle. Dans le cadre du diagnostic et, plus généralement, de la sûreté de fonctionnement des systèmes, l'intérêt est porté sur l'analyse structurelle par accessibilité arrière. Cette analyse permet de trouver la source d'un état particulier du système (généralement, un état défaillant). La mise en œuvre de cette analyse est fait par transformation du RdPC initial en RdPC inverse par application de différentes règles structurelles. Une application de cette méthode consiste en l'analyse d'un système de freinage d'un tramway.

Laura Muñoz

Title: Stabilisation et commande d'un UAV en présence de vent

Abstract:

Le travail de thèse est composé d’une partie théorique et d’une partie pratique. La première concerne la modélisation et la synthèse des lois de commande non linéaire sous-optimale robuste pour stabiliser les robots aériens en présence de rafales de vent. La deuxième partie consiste à concevoir et développer une plate-forme expérimentale pour valider les lois de commande proposées. Une première loi de commande est proposée et validée pour stabiliser un chariot en présence de bruit. Des simulations ont été effectuées et les résultats obtenus sont satisfaisants.



User Tools