MASTER SIS R : Option B Sujets de stage

MASTER SIS R : Option B
Sujets de stage
Nom
ATTOUCHI
HZAMI
KHANAFER
LIMAMI
Prénom
Rabah
Responsable
A. Naamane
Zakaria
I. Demongodin
Hassan
M. Ouladsine /
K.K.M'sirdi
Mustapha
J.L. Paillet
Sujet
Utilisation des bonds graphs pour le diagnostic des
équipements électriques et véhicules
[email protected] , [email protected]
Modélisation et analyse par réseaux de Pétri lots des
systèmes de transports [email protected]
Modélisation de la dynamique du véhicule en présence de
défauts
[email protected] , [email protected]
Vérifications formelles de propriétés d'une spécification
DECM pour un système de commande
[email protected] , [email protected]
M. ElAdel / M.
Ouladsine
C. Frydman
L. Torrés
MNASSRI
Baligh
MOUSSA
Khodor
ZBIB
Nadine
J.C. Hennet et
Fouzia Ounnar
DEPOYAN
Fabien
P. Pujo
YETENDJE
Alain
Analyse Multi variée pour le Diagnostic
[email protected] , [email protected]
[email protected]
Evaluation comparative de politiques d'approvisionnements adaptatives et par négociation dans des chaînes
logistiques
[email protected]
Contribution au développement d'un HMES (Holonic
Manufacturing Execution System)
[email protected],[email protected]
H. Noura et Maria Diagnosis and fault tolerant control for complex systems
Seron
[email protected] , [email protected]
1) Utilisation des bonds graphs pour le diagnostic des équipements électriques Sujet encadré par A.
Naamane:
Ce travail concerne les méthodes de surveillance et de diagnostic des défauts de systèmes continus basée sur
l’approche bond graph pour à la détection et la localisation des défauts de composants, d’actionneurs et de
capteurs. L’outil bond graph sera utilisé pour la modélisation, l’analyse, la synthèse et la surveillance des
procédés multi énergies. Ses propriétés causales et structurelles permettent la vérification de la validité et la
consistance des modèles d’un côté, et de l’autre, l’analyse de la commandabilité et de l’observabilité du
système sans faire de calcul formel
L’objectif dans un premier temps le développement des modèles bond graph pour les composants de
puissances qui présentent des fonctionnements non linéaires, et de pouvoir fournir par la suite une
méthodologie applicable à tous les systèmes continus linéaire ou linéarisés, et graphique pour assurer la
détection et l’isolation de tout genre de défauts.
Les phases de validation et d’expérimentation des méthodes de commande et de diagnostic seront
éffectuées à l’aide du logiciel SYMBOL 2000 qui est un logiciel dédié à la simulation de systèmes
complexes, compatible avec les logiciels Matlab et Simulink.
Ce logiciel permettra le développement d’un outil de validation de nos approches d’aide au diagnostic et à
la conduite des systèmes complexes.
2) Modélisation et analyse par reseaux de Petri lots des systèmes de transports
Sujet encadré par : Isabelle Demongodin
3) Modélisation de la dynamique du véhicule en présence de défauts et Observateurs robustes.
Sujet encadré par : Ouladsine M et N. K. M’Sirdi
4) Vérifications formelles de propriétés d'une spécification DECM pour un système de commande.
Sujet encadré par : Jean-Luc Paillet :
Ce sujet demande des connaissances certaines en logique mathématique
Le formalisme DECM (Discrete Event Calculus Model) permet de définir des spécifications de haut niveau
pour un système de commande à événements discrets. Ces spécifications s'écrivent sous la forme d'un
ensemble de clauses conditionnelles liant les événements d'entrée (provenant de capteurs) du système, aux
événements de sortie (à destination d'actionneurs). Chaque clause comporte une pré condition qui est une
expression algébrique appelée "expression événementielle", construite à l'aide d'opérateurs logiques et
d'opérateurs spécifiques sur les événements. Le projet consiste, d'une part à étudier les propriétés
algébriques des expressions événementielles en vue de les réduire et d'obtenir une forme canonique, si cela
est possible pour une certaine classe d'expressions. Et d'autre part, de formaliser et d'étudier la vérification
de propriétés des spécifications DECM, telles que la consistance logique, des propriétés de complétion, des
propriétés de sécurité, de vivacité , ... où la réduction des expressions événementielles peut être très utile.
5) Analyse Multi variée pour le Diagnostic.
Sujet encadré par : El Adel M et Ouladsine M
6) Evaluation comparative de politiques d'approvisionnements adaptatives et par négociation
dans des chaînes logistiques.
Sujet encadré par : Jean-Claude Hennet et Fouzia Ounnar.
7) Contribution au développement d'un HMES (Holonic Manufacturing Execution System)
Sujet encadré par : Patrick Pujo
- analyse de l'architecture holonique du système de pilotage,
- caractérisation d'une approche lean du pilotage, adaptée à un système de production hybride (mélangeant job
shop et flow shop),
- spécification d'un 'ressource holon' doté d'une capacité de décision multi critère,
- spécification d'un 'staff holon' pour l'aide proactive au pilotage, via simulation par modèles DEVS du système
de production,
- implémentation d'une maquette sous l'environnement de simulation distribué HLA.
8) Diagnosis and fault tolerant control for complex systems
Sujet encadré par : H. Noura et Maria Seron
Objective:
Automatic industrial systems are subjected to faults or failures in their components (sensors, actuators and
controllers). Thus, control laws should be able to tolerate system faults in order to preserve operator safety
and the system nominal performance.
This study will focus on actuator faults. When a fault occurs the system may operate out of the nominal
operation zone. The system can then become unstable and the nominal performances can not be reached.
The aims are then the following:
• Study the controllability of the system in the presence of actuator faults.
• Develop methods to estimate the failure effect on the system, to evaluate the available energy and
the level of performance that can be reached.
• Modify the control law in order to ensure a safe operation while accepting a certain loss of the
system performance.
The first step consists in making a state of the art on:
• Large scale non linear systems.
• Controllability of complex systems.
• Actuator faults: their types, their modelling.
• Fault tolerance methods.
The study will mainly focus on the severe faults of actuators such as jamming or total loss and on the model
predictive control MPC as a method for fault tolerant control.
The performances of the developed methods will be tested in simulation on a non-linear model of an active
suspension.