Identification des états équivalents dans l'approche modale

Gregory Faraut (1) , Laurent Piétrac (1) , Eric Niel (1)

1 AMPERE - Ampère

Ce papier 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é mise 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.

Mots clés: Systèmes à Événements Discrets (SED); Théorie de Contrôle par Supervision (TCS); approche modale; aide à la conception; approches formelles

Domaines: Automatique

Gregory Faraut, Laurent Piétrac, Eric Niel. Identification des états équivalents dans l'approche modale. Modélisation des Systèmes Réactifs, MSR'11, Nov 2011, Lille, France. pp.141-156, ⟨10.3166/jesa.45.141-156⟩. ⟨hal-00759503⟩