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 September 2004/24 September 2004.

Paper without proceedings
Full text not available from this repository.

Abstract : 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. (Résumé d'auteur)

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

Classification Agris : Q70 - Processing of agricultural wastes
U10 - Mathematical and statistical methods

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 (

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

[ Page générée et mise en cache le 2019-10-06 ]