Agritrop
Home

Abstraction of continuous system trajectories into timed automata

Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. Abstraction of continuous system trajectories into timed automata. e-STA, 1 (3), 7 p.

Journal article ; Article de revue à comité de lecture
Full text not available from this repository.

Titre français : Abstraction des trajectoires d'un système continu en automates temporisés

Additional Information : L'adresse URL donne l'accès au résumé pour consulter l'article complet, il faut l'acheter

Abstract : Cet article est focalisé sur la représentation de la dynamique d'une système continu dans un formalisme à événement discret et temps continu, ceci à des fins d'analyse du système. Dans un premier temps le système continu est estimé par l'introduction d'intervalles pour prendre en compte une imprécision sur l'état initial et les entrées. Il est ensuite traduit dans le formalisme des automates temporisés par l'introduction de seuils sur les variables d'états. Un franchissement de seuil est caractérisé par deux instants, la date au plus tôt et la date au plus tard. Cette approche est brièvement illustrée sur des données réelles d'un procédé pilote de traitement des effluents de 1m3. (Résumé d'auteur)

Mots-clés Agrovoc : Gestion des déchets, Analyse de système, Modèle, Modèle mathématique

Classification Agris : U10 - Computer science, mathematics and statistics
Q70 - Processing of agricultural wastes

Auteurs et affiliations

  • Helias Arnaud, INRA (FRA)
  • Guerrin François, CIRAD-TERA-REV (REU)
  • Steyer Jean-Philippe, INRA (FRA)

Autres liens de la publication

Source : Cirad - Agritrop (https://agritrop.cirad.fr/532024/)

View Item (staff only) View Item (staff only)

[ Page générée et mise en cache le 2021-03-27 ]