Monitoring Systems with Complex Behavior Brian C. Williams and Seung Chung...  Home/Search
Context
Related
| mit.edu/people/wil...ijcai01_rmpl_me.ps 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: mit.edu/people/wil...papers.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic networks. (Update)
Active bibliography (related documents): More All
1.1: Mode Estimation of Model-based Programs: Monitoring.. - Williams, Chung, Gupta (2001) (Correct)
0.2: Models for Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996) (Correct)
0.2: Computing With Continuous Change - Gupta, Jagadeesan, Saraswat (Correct)
Similar documents based on text: More All
0.3: Achieving Real-time Mode Estimation through Offline Compilation - Van Eepoel (2002) (Correct)
0.2: Improving Model-based Mode Estimation through Offline.. - Seung Chung John (2001) (Correct)
0.1: Generative Temporal Planning with Complex Processes - Kennell (2003) (Correct)
BibTeX entry: (Update)
@misc{ with-mode,
author = "Monitoring Systems With",
title = "Mode Estimation of Model-based Programs:",
url = "citeseer.ist.psu.edu/704639.html" }
Citations (may not include all citations):189 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
123 A model-based approach to reactive self-configuring systems - Williams, Nayak - 1996
112 Statecharts: A visual approach to complex systems (context) - Harel - 1987
60 Programming real time applications with signal (context) - Le Guernic, Le Borgne et al. - 1991
50 Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
22 Diagnosis of dynamic systems does not necessarily require si.. (context) - Malik, Struss - 1997
19 The synchronous programming language lustre (context) - Halbwachs, Caspi et al. - 1991
17 The esterel programming language: Design (context) - Berry, Gonthier - 1992
17 Back to the future for consistency-based trajectory tracking - Kurien, Nayak - 2000
13 Another Look at Real-time Systems (context) - Benveniste, Berry - 1991
9 Diagnosing circuits with state: An inherently underconstrain.. (context) - Hamscher, Davis - 1984
6 Timed automata model to improve the classification of a sequ.. - Largouet, Cordier - 2000
2 cc -- A generic framework for domain specific languges (context) - Fromherz, Gupta et al. - 1997
Documents on the same site (http://www.ai.mit.edu/people/williams/papers.shtml): More
Decompositional, Model-based Learning and its Analogy to.. - Williams, Millar (1998) (Correct)
Unifying Model-based and Reactive Programming within a.. - Williams, Gupta (1999) (Correct)
Timed Model-based Programming: Executable Specifications for .. - Ingham, Williams (2003) (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