See this document in CiteSeerX!

Real time diagnosis of dynamical systems Part II: Using multiple system descriptions (1995)  (Make Corrections)  
Andre Bos



  Home/Search   Context   Related

 
View or download:
its.tudelft.nl/pub...UTTWI9514.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  its.tudelft.nl/publications/te... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this report : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 2 Preliminaries 8 2.1 Describing system behavior : : : : : : : : : : : : : : : : : : : : : : : : : : 8 2.1.1 Languages, derivations and theories : : : : : : : : : : : : : : : : : 8 2.1.2 Models : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 10 2.2 Model based diagnosis : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 11 3 Abstractions 15 3.1 Definition of an abstraction : : : : : : : : : : : : :... (Update)

Active bibliography (related documents):   More   All
0.3:   Object Oriented Tool for Modelling, Simulation and Production - Planning In Petrochemical   (Correct)
0.3:   A Framework For Integrating Process Monitoring, Diagnosis And.. - Rengasamy   (Correct)
0.1:   How Hard is it to Revise a Belief Base? - Nebel (1996)   (Correct)

Similar documents based on text:   More   All
0.2:   Long-Step Primal-Dual Target-Following Algorithms for.. - Jansen, Roos, Terlaky, .. (1996)   (Correct)
0.2:   Convergence of the Dual Variables for the Primal Affine Scaling .. - Dikin, Roos (1994)   (Correct)
0.1:   Improved complexity using higher-order correctors for.. - Jansen, Roos, Terlaky.. (1994)   (Correct)

BibTeX entry:   (Update)

@misc{ bos-real,
  author = "Andre Bos",
  title = "Real time diagnosis of dynamical systems Part II: Using multiple system
    descriptions",
  url = "citeseer.ist.psu.edu/440773.html" }
Citations (may not include all citations):
686   A guide to the theory of NP-Completeness (context) - Garey, Johnson et al. - 1979
458   A theory of diagnosis from first principles (context) - Reiter - 1987  ACM   DBLP
277   Qualitative process theory (context) - Forbus - 1984  ACM   DBLP
121   Harvard University Press (context) - Lewis - 1973
97   Knowledge compilation using horn approximations - Selman, Kautz - 1991  DBLP
96   the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
91   Artificial Intelligence (context) - Ginsberg - 1986  ACM   DBLP
90   and Linear Algebra (context) - Hirsch, Smale et al. - 1974
54   Modeling digital circuits for troubleshooting (context) - Hamscher - 1991  ACM   DBLP
42   Order of magnitude reasoning (context) - Raiman - 1991  ACM   DBLP
22   Reasoning about model accuracy (context) - Weld - 1992  ACM   DBLP
10   Belief revision: An introduction (context) - Gardenfors - 1992
3   what will its contribution be to process control (context) - Stephanopoulos - 1988
1   Cirtical reasoning (context) - Raiman, de Kleer et al. - 1993
1   Horn clause logic (context) - Hodges - 1992

Documents on the same site (ftp://ftp.its.tudelft.nl/publications/tech-reports/1995/):   More
A New Subcontinuum of βR\ R - Dow, Hart (1995)   (Correct)
Von Neumann stability conditions for the convection-diffusion.. - Wesseling (1995)   (Correct)
Zeros of Sobolev orthogonal polynomials following from.. - Bruinsma, de Bruin.. (1995)   (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