Arnaud Helias, Francois Guerrin, Jean-Philippe Steyer  Home/Search
Context
Related
| laas.fr/DX04/ProceedingsDX04...118.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: laas.fr/DX04/proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
0.5: Design of Probabilistic Observers for Mass-Balance Based.. - Chachuat, Bernard (Correct)
0.3: Observability Analysis of a Nonlinear Tubular Bioreactor - Delattre, Dochain, Winkin (Correct)
0.2: Monotonicity Analysis for Constructing Qualitative Models - Yan, Lemire, Brooks (Correct)
Similar documents based on text: More All
0.3: Implementation Of Anaerobic Digestion Models For Plant Wide - Modeling And Performance (Correct)
0.2: A Multi-Modelling Approach to Help Agricultural - Stakeholders Design Animal (2004) (Correct)
0.2: Sensors for Anaerobic Digestion: An overview - Vanrolleghem (Correct)
BibTeX entry: (Update)
@misc{ helias-abstracting,
author = "Arnaud Helias and Francois Guerrin and Jean-Philippe Steyer",
title = "Abstracting Continuous System Behaviours into Timed Automata: Application
to Diagnosis of an Anaerobic Digestion Process",
url = "citeseer.ist.psu.edu/707056.html" }
Citations (may not include all citations):404 Symbolic Model Checking for Real-Time Systems - Henzinger, Nicollin et al. - 1994
268 The theory of timed automata - Alur, Dill - 1994
98 Kronos: A verification tool for Real-Time Systems (context) - Yovine - 1997
77 Algorithmic Analysis of Nonlinear Hybrid Systems - Henzinger, Ho et al. - 1998
42 UPPAAL in a Nutshell - Larsen, Pettersson et al. - 1997
16 Monotone dynamical systems: An introduction to the theory of.. (context) - Smith - 1995
15 Bulletin of the European Association for Theoretical Compute.. (context) - Pettersson, Larsen - 2000
8 Verification of logic controller for continuous plants using.. - Kowalewski, Engell et al. - 1999
7 Using model-checking techniques for diagnosing discrete-even.. - Cordier, Largout - 2001
4 Interval observers for uncertain biological systems (context) - Gouz, Rapaport et al. - 2000
4 Automated Abstraction of Numerical Simulation Models - Theor.. - Struss - 2002
3 Dynamical model development and parameter identification for.. (context) - Bernard, Hadj-Sadok et al. - 2001
1 Agrgation/abstraction de modles pour l (context) - Hlias - 2003
1 Identification of timed discrete event models for diagnosis - Supavatanakul, Falkenberg et al. - 2003
1 Evaluation of a four year experience with a fully instrument.. (context) - Steyer, Bouvier et al. - 2002
Documents on the same site (http://www.laas.fr/DX04/proceedings.html): More
Diagnosis as Semiring-based Constraint Optimization - Sachenbacher, Williams (2004) (Correct)
CHEM: Advanced Decision Support System for Chemical/Petrochemical .. - Cauvin (2004) (Correct)
A Probabilistic-Based Algorithm to Diagnose Complex.. - Maalej, Delcroix.. (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC