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 45/1-3 - 2011  - pp.141-156  - doi:10.3166/jesa.45.141-156
TITRE
Identification des états équivalents dans l’approche modale

RÉSUMÉ
Cet article présente une extension de la fonction de suivi de trajectoire pour identifier les états compatibles entre modes. La fonction de suivi de trajectoire a pour but d’assurer que les commutations entre modes soient sûres. Utilisée dans une démarche d’aide à la conception se basant sur la théorie de contrôle par supervision (TCS), les spécifications sont formellement assurées. Cependant, les modèles manipulés sont des automates à états émondés et il a été mis en évidence que certains états non accessibles, donc supprimés pour obtenir un automate émondé, étaient accessibles depuis un autre mode par une commutation. L’extension que nous proposons s’appuie sur les automates non émondés et propose une comparaison formelle sur les noms des états pour déterminer les états accessibles depuis d’autres modes.


ABSTRACT
This paper presents an extension of the process tracking in order to identify the compatible states among modes. The aim of the process tracking is to ensure the switching between modes is reliable. Used in a framework based on Supervisory Control Theory (SCT), the specifications then are formally ensured. However, the handle models are trimmed automata and then some inaccessibles states, removed by the trim computing, could be accessible from another mode by a switch event. The proposed extension of the process tracking uses the non-trimmed automata and a formal comparison on the name of states in order to identify the accessible states from other modes


AUTEUR(S)
Gregory FARAUT, Laurent PIÉTRAC, Eric NIEL

MOTS-CLÉS
systèmes à événements discrets (SED), théorie de contrôle par supervision (TCS), approche modale, aide à la conception, approches formelles.

KEYWORDS
discrete events systems (DES), supervisory control theory (SCT), modal approach, assisted design, formal approaches.

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  (1,45 Mo)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier