Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

ETVO: librairie C++ pour la description des Graphes d'Evénements Temporisés valués

Abstract : La librairie ETVO est destinée aux calculs sur des expressions rationnelles constituées sur un ensemble d'opérateurs {γ n , δ t , µm, β b , ∆T } utilisées pour décrire le comportement dynamique de certains systèmesàévénements discrets temporisés. Sont concernés par cette approche : les Graphes d'Evénements Temporisés (GET) avec arcs valués et les GET avec temps de séjour cycliques. Pour ces deux classes de systèmes, la librairie ETVO permet le calcul de transfert et la synthèse de contrôleurs.
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02517581
Contributeur : Marie-Françoise Gerard <>
Soumis le : mardi 24 mars 2020 - 16:29:24
Dernière modification le : mardi 24 mars 2020 - 16:31:32

Identifiants

  • HAL Id : hal-02517581, version 1

Collections

Citation

Bertrand Cottenceau, Laurent Hardouin, Johannes Trunk. ETVO: librairie C++ pour la description des Graphes d'Evénements Temporisés valués. MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs,, Nov 2019, Angers, France. ⟨hal-02517581⟩

Partager

Métriques

Consultations de la notice

9