Brian C. Williams, Seung Chung, Vineet Gupta  Home/Search
Context Related
| mit.edu/people/williams/...IJCAI01a.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: mit.edu/people/william...IJCAI01a (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. Monitoring these networks will require modeling languages and estimators that handle the sophisticated behaviors of robotic components. This paper introduces RMPL, a rich modeling language that combines reactive programming constructs with probabilistic, constraint-based modeling, and that offers a ... (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
0.6: 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: Computing With Continuous Change - Gupta, Jagadeesan, Saraswat (Correct)
Similar documents based on text: More All
0.2: Unifying Model-based and Reactive Programming within a.. - Williams, Gupta (1999) (Correct)
0.2: Model-Based Programming of Intelligent Embedded.. - Williams, Ingham.. (2003) (Correct)
0.2: Improving Model-based Mode Estimation through Offline.. - Chung, Van Eepoel.. (2001) (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/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/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
118 Readings in Model-Based Diagnosis (context) - Hamscher, Console et al. - 1992
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.
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
The graph only includes citing articles where the year of publication is known.
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