Identification of incompatible states in mode switching - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Identification of incompatible states in mode switching

Gregory Faraut
Laurent Piétrac
Eric Niel
  • Fonction : Auteur
  • PersonId : 843451

Résumé

Mode management is one of the problems in discrete events systems control design. Even based on a simple specification, it is very difficult to prove that models of each mode and mutual interaction are correct. This paper demonstrates that supervisory control theory is an effective tool for detecting specification incompatibilities because it clearly separates process, models and specifications. We use simple cases to present a method that introduces flexibility into mode specification. This method can be used to adjust or to modify incompatibilities between specifications and thereby promotes correct mode switching.

Domaines

Electronique
Fichier non déposé

Dates et versions

hal-00375905 , version 1 (16-04-2009)

Identifiants

Citer

Gregory Faraut, Laurent Piétrac, Eric Niel. Identification of incompatible states in mode switching. ETFA 2008, Sep 2008, Hambourg, Germany. pp.121 - 128, ⟨10.1109/ETFA.2008.4638382⟩. ⟨hal-00375905⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

More