Abstracting continuous system behaviours into timed automata : application to diagnosis of an anaerobic digestion process
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.
| Main Authors: | , , |
|---|---|
| Format: | conference_item biblioteca |
| Language: | eng |
| Published: |
s.n.
|
| Subjects: | Q70 - Traitement des déchets agricoles, U10 - Informatique, mathématiques et statistiques, gestion des déchets, traitement anaérobique, analyse de système, modèle, modèle mathématique, http://aims.fao.org/aos/agrovoc/c_34763, http://aims.fao.org/aos/agrovoc/c_34990, http://aims.fao.org/aos/agrovoc/c_7581, http://aims.fao.org/aos/agrovoc/c_4881, http://aims.fao.org/aos/agrovoc/c_24199, |
| Online Access: | http://agritrop.cirad.fr/529312/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|