Agritrop
Home

Abstracting continuous system behaviours into timed automata : application to diagnosis of an anaerobic digestion process

Helias Arnaud, Guerrin François, Steyer Jean-Philippe. 2004. Abstracting continuous system behaviours into timed automata : application to diagnosis of an anaerobic digestion process. In : 15th International Workshop on Principales of Diagnosis, 23-25 June 2004, Carcassonne, France. s.l. : s.n., 6 p. International Workshop on Principales of Diagnosis, Carcassonne, France, 23 June 2004/25 June 2004.

Paper without proceedings
Full text not available from this repository.

Abstract : Abstracting 'continuous' system behaviours into discrete-event representations (i.e., timed automata) for diagnosis purposes is demonstrated in this paper. As complex system dynamics are often partially known, the resulting imprecision on continuous variables is represented by means of intervals partitioning the state space according to landmarks defined by expert knowledge. Based on a continuous model simulation, an algorithm assigns discrete labels to landmark crossing by continuous variables, then, generates a timed automaton that can be further analysed by a model-checker. This procedure allows one to summarize a continuous system simulation output as a set of transitions among discrete states with qualitative interpretation (e.g., high, medium, low). In order to reduce explosion in the number of states, the generated timed automaton is specifically determined according to the property of interest for the user (e.g., reachability of some unwanted states). This approach has been applied to predict possible dysfunctions of a wastewater treatment process and validated using real-life data. (Résumé d'auteur)

Mots-clés Agrovoc : Gestion des déchets, Traitement anaérobique, 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 (https://agritrop.cirad.fr/529312/)

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

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