Abstraction of continuous system trajectories into timed automata
Abstraction des trajectoires d'un système continu en automates temporisés
Résumé
This paper deals with the representation of continuous system dynamics into a continuous-time discrete-event formalism to the end of system analysis. The continuous system is first approximated by using numerical intervals and then translated into the timed automata formalism thanks to with the introduction of thresholds partitioning the state variables’ domains. The detection of thresholds crossing is characterised by two time instants corresponding respectively to the earliest and latest crossing dates. This approach is briefly illustrated on a 1 m3 wastewater treatment pilot plant.
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.