Brian C. Williams, Seung Chung, Vineet Gupta  Home/Search
Context Related
| mit.edu/papers/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/merspublications (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)
Cited by: More
Conflict-directed A* and Its Role in Model-based Embedded.. - Williams, Ragno (Correct)
A Reactive Model-based Programming Language for Robotic.. - Ingham, Ragno, Williams (2001) (Correct)
Executing Reactive, Model-based Programs - Through Graph-Based Temporal (Correct)
Active bibliography (related documents): More All
1.1: Mode Estimation of Model-based Programs: - Monitoring Systems With (Correct)
0.6: Mode Estimation of Model-based Programs: Monitoring.. - Williams, Chung, Gupta (2001) (Correct)
0.2: Models for Concurrent Constraint Programming - Gupta, Jagadeesan, Saraswat (1996) (Correct)
Related documents from co-citation: More All
8: Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
6: A model-based approach to reactive self-configuring systems - Williams, Nayak - 1996
6: An introduction to least-commitment planning - Weld - 1994
BibTeX entry: (Update)
B. C. Williams, S. Chung, and V. Gupta. Mode estimation of model-based programs: Monitoring systems with complex behavior. In Proceedings of IJCAI-01, 2001. http://citeseer.ist.psu.edu/article/williams01mode.html More
@inproceedings{ williams01mode,
author = "Brian C. Williams and Seung Chung and Vineet Gupta",
title = "Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior",
booktitle = "{IJCAI}",
pages = "579-590",
year = "2001",
url = "citeseer.ist.psu.edu/article/williams01mode.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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mers.csail.mit.edu/mers-publications.htm): More
Design of the Remote Agent Experiment for Spacecraft.. - Bernard, Dorais, Fry, .. (1998) (Correct)
Model-based Reactive Programming of Cooperative.. - Williams, Kim.. (2001) (Correct)
Decompositional, Model-based Learning and its Analogy to.. - Williams, Millar (1998) (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