Surveillance Des Syst+Mes + Événements Discrets: + L Aide Des Réseaux De Petri Temporels

Ghazel, Mohamed; Ghazel, Mohamed

ISBN 10: 6131500096 / ISBN 13: 9786131500091

Edité par Éditions Universitaires Européennes, 2010

A propos de cet article

160 pages. French language. 8.66x5.91x0.37 inches. In Stock. N° de réf. du vendeur zk6131500096

Détails bibliographiques

Titre : Surveillance Des Syst+Mes + Événements ...

Éditeur : Éditions Universitaires Européennes

Date d'édition : 2010

Reliure : Paperback

Etat : Brand New

A propos de ce titre

Synopsis :

Nous proposons une nouvelle approche de surveillance pour les SEDs qui permet d'exploiter le facteur temps dans un contexte d'observabilité partielle sur le comportement du système. Comme pour les principales approches de surveillance existantes, nous partons d'un modèle comportemental du système. Il s'agit ici d'un modèle de type réseau de Petri T-temporel (RdPT). Notre approche propose la construction d'un Estimateur d'état à partir du graphe de classes d'état du système selon un algorithme que nous avons développé. L'Estimateur, de par sa structure, met en évidence les conséquences perceptibles ou non de l'occurrence des différents scénarios évènementiels possibles dans le système. Un algorithme de suivi permet par ailleurs, en ligne, de vérifier la normalité du comportement et de retrouver les éventuelles défaillances qui peuvent se produire dans le système. Le dernier volet de notre étude concerne le développement de métamodèles UML pour la synthèse des relations fonctionnelles dans un système donné. L'objectif étant d'apporter une contribution dans une approche plus globale de construction de modèles pour la surveillance.

À propos de l?auteur:

Dr-Ing Mohamed Ghazel est né à Mednine-Tunisie en 1978.Actuellement, il est Chargé de recherche à l'INRETS/ESTAS. En2005, il a obtenu un Doctorat en Automatique et InformatiqueIndustrielle et en 2002 un DEA dans le même domaine de l'EcoleCentrale de Lille/Université de Lille 1. En 2001 il a été diplôméIngénieur en Productique de l'ENSAIT.