Estimation of Discrete-Event Systems using Interval Computation - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Reliable Computing Journal Année : 1999

Estimation of Discrete-Event Systems using Interval Computation

Résumé

Discrete-event systems are driven by events and genrate events. To describe their evolution, the dater approach associate to each event a sequence of dates, namely a dater, corresponding to the dates at which the event occurs. In this paper, we show that for a large class of discrete-event systems, the dater approach makes it possible to cast the characterization of the set of all parameters that are consistent with some collected dater, in a bounded-error context, into a set-inversion framework. Set inversion consists of characterizing the reciprocal image of a given set by a known function. Provided that an inclusion function is known for the function to be inverted, the characterization can be performed by the interval-based algorithm SIVIA. A short presentation of this algorithm is recalled in this paper. The approach is illustrated through three examples.
Fichier principal
Vignette du fichier
sedrc_LISA1999.pdf (2.42 Mo) Télécharger le fichier
SED.htm (1.72 Ko) Télécharger le fichier
SED_fichiers/mp_local1.gif (3.03 Ko) Télécharger le fichier
SED_fichiers/mp_local2.gif (9.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre
Format : Autre
Format : Autre

Dates et versions

hal-00844564 , version 1 (15-07-2013)
hal-00844564 , version 2 (16-07-2013)

Identifiants

  • HAL Id : hal-00844564 , version 2

Citer

Luc Jaulin, Jean-Louis Boimond, Laurent Hardouin. Estimation of Discrete-Event Systems using Interval Computation. Reliable Computing Journal, 1999, 5 (2), pp.165-173. ⟨hal-00844564v2⟩
124 Consultations
58 Téléchargements

Partager

Gmail Facebook X LinkedIn More