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.

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

Note générale : L'adresse URL donne l'accès au résumé pour consulter l'article complet, il faut l'acheter

Résumé : 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.

Mots-clés Agrovoc : gestion des déchets, analyse de système, modèle, modèle mathématique

Classification Agris : U10 - Informatique, mathématiques et statistiques
Q70 - Traitement des déchets agricoles

Auteurs et affiliations

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

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

Métriques

[ Page générée et mise en cache le 2024-03-25 ]