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. In : Wodes 04, 7th Workshop on Discrete Event systems, 22-24 September 2004, Reims, France. s.l. : s.n., 6 p. IFAC Workshop on Discrete Event Systems. 7, Reims, France, 22 Septembre 2004/24 Septembre 2004.

Résumé : This paper deals with the representation of continuous system dynamics into a timed discrete-event formalism to the end of system analysis. The continuous model of the system is first approximated using intervals and then translated into the timed automata formalism by comparison with thresholds defined on 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 with real data obtained from a 1 m3 wastewater treatment pilot plant.

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

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

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/529314/)

Métriques

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