Identification of Discrete Event Systems: Implementation Issues and Model Completeness

Abstract : This paper presents some practical issues for the identification of discrete event systems (DES). The considered class of systems consists of a plant and a controller running is a closed-loop. Special emphasis is given to a data collection procedure using industrial controllers and its impact on the external DES-behavior of the considered systems. For models identified on the basis of observed external DES behavior using the algorithm from (Klein, 2005) it is shown that under some conditions, the identified model language simulates the complete original system language even if only a subset of this language is available for identification. This model characteristic is crucial for many model-based techniques like diagnosis or verification. Analyzing the observed data of a laboratory facility it is shown how it can be decided if the conditions for a complete model hold for an existing application.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00525602
Contributeur : Matthias Roth <>
Soumis le : mardi 12 octobre 2010 - 12:07:19
Dernière modification le : jeudi 9 février 2017 - 15:56:01
Document(s) archivé(s) le : jeudi 13 janvier 2011 - 02:46:14

Fichier

roth_lesage_litzFinal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00525602, version 1

Collections

Citation

Matthias Roth, Lothar Litz, Jean-Jacques Lesage. Identification of Discrete Event Systems: Implementation Issues and Model Completeness. 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jun 2010, Funchal, Portugal. pp.73-80. ⟨hal-00525602⟩

Partager

Métriques

Consultations de la notice

437

Téléchargements de fichiers

442