ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 38/3-4 - 2004  - pp.243-268  - doi:10.3166/jesa.38.243-268
TITRE
Surveillabilité d'un système automatisé de production modélisé par un graphe fonctionnel

RÉSUMÉ
Ce travail constitue un apport aux méthodes formelles pour l'étude de la surveillabilité d'un système automatisé de production (SAP). La surveillabilité a pour objectif de garantir les conditions nécessaires pour la surveillance en ligne d'un SAP. L'étude proposée dans cet article est basée sur la modélisation du système sous forme d'un graphe fonctionnel. Le graphe fonctionnel est un modèle causal illustrant comment les fonctions initiales des composants de base d'un système permettent de mettre en oeuvre ses fonctions principales. Dans ce papier deux types de graphes sont analysés : les graphes de type « et » et les graphes de type « et-ou ». Le concept de surveillabilité est formalisé à l'aide des notions d'état et de calculabilité de l'état d'une fonction. La théorie des relations est introduite ici principalement pour caractériser les propriétés structurelles du graphe fonctionnel. Elle permet de définir un cadre formel pour la validation d'un algorithme de positionnement de capteurs.


ABSTRACT
This work is a contribution to formal methods to study the diagnosability of an Automated Production System (APS). The aim of diagnosability is to guarantee necessary conditions for online monitoring. This study is based on Functional Graph. It is a causal model that explains how the main functions of a system are implemented by the initial functions of its basic components. In this paper, two types of functional graphs are studied: "AND" Functional Graphs and "AND-OR" Functional Graphs. The diagnosability concept is established with the notions of state and calculability of a function. The relational theory is introduced here mainly to characterize the structural properties of the graph. This theory enables to define a formal framework to validate an algorithm of sensors' positioning.


AUTEUR(S)
Larbi SEKHRI, K. Aramand TOGUYÉNI, Etienne CRAYE

MOTS-CLÉS
surveillabilité, surveillance en ligne, graphe fonctionnel, état d'une fonction, calculabilité, fonction surveillable, relation.

KEYWORDS
Diagnosability, Online Monitoring, Functional Graph, Function State, Computability, Diagnosability of a Function, Relation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (205 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier