Publications des agents du Cirad

Cirad

Abstraction of continuous system trajectories into timed automata

Helias A., Guerrin F., Steyer J.P.. 2004. e-STA, 1 (3) : 7 p..

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 : gestion des déchets; analyse de système; modèle; modèle mathématique

Article (b-revue à comité de lecture)