Building Meaningful Timed Plant Models for Verification Purposes

Abstract : This paper presents a method to build a formal model of a plant, in the form of a network of timed automata, to be used for model-based verification of controllers. To ensure re-usability, this model is built by instantiation of generic components models. When the instantiated components models are assembled, spurious evolutions leading to states which do not represent the real behavior of the plant, can occur, owing to the rich semantics of the modeling formalism. Then, a modeling strategy is proposed in order to discard these evolutions so as to reduce the state space of the plant model to the only meaningful states. The method is exemplied and discussed on a small case study.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00379421
Contributeur : Jean-Marc Faure <>
Soumis le : mardi 28 avril 2009 - 15:34:23
Dernière modification le : jeudi 30 novembre 2017 - 01:16:48
Document(s) archivé(s) le : jeudi 10 juin 2010 - 18:41:22

Fichier

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

Identifiants

  • HAL Id : hal-00379421, version 1

Collections

Citation

Matthieu Perin, Jean-Marc Faure. Building Meaningful Timed Plant Models for Verification Purposes. 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009), Jun 2009, Moscow, Russia. paper 420. ⟨hal-00379421⟩

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

170