A generic approach to build plant models for DES verification purposes

Abstract : The modeling of plant behavior is often essential in the design, performance analysis or diagnosis of Discrete Event Systems (DES). Yet this task remains a difficult one for which little research has been devoted. In this paper, we propose a technique for building behavioral models specific to large-scale plants, in order to perform a formal verification of the controller by means of "model-checking". In this aim, we have opted to use a modular approach with an appropriate class of automata. To obtain the overall plant model, parallel evolutions of the elementary automata are to be coordinated by a sequencer that ensures consistency of these evolutions.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

Contributeur : Jean-Jacques Lesage <>
Soumis le : vendredi 3 avril 2009 - 15:02:15
Dernière modification le : jeudi 9 février 2017 - 15:58:04
Document(s) archivé(s) le : jeudi 10 juin 2010 - 19:41:57


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00373168, version 1



José Machado, Bruno Denis, Jean-Jacques Lesage. A generic approach to build plant models for DES verification purposes. 8th International Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann Arbor, Michigan, United States. pp.407-412. ⟨hal-00373168⟩



Consultations de la notice


Téléchargements de fichiers