Michel Ingham, Robert Ragno, Brian Williams  Home/Search
Context Related
| mit.edu/papers/isairas01_rmpl.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/merspublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Model-based autonomous agents have emerged recently as vital technologies in the development of highly autonomous reactive systems, particularly in the aerospace domain. These agents utilize many automated reasoning capabilities, but are complicated to use because of the variety of languages employed for each capability. To address this problem, we introduce model-based programming, a novel approach to designing embedded software systems. In particular, we introduce the Reactive Model-based... (Update)
Cited by: More
Conflict-directed A* and Its Role in Model-based Embedded.. - Williams, Ragno (Correct)
Autonomous Sequencing and Model-based Fault.. - Ingham, Williams.. (2001) (Correct)
Achieving Real-time Mode Estimation through Offline Compilation - Van Eepoel (2002) (Correct)
Active bibliography (related documents): More All
1.4: A Reactive Model-based Programming Language for Robotic.. - Ingham, Ragno, Williams (2001) (Correct)
0.5: Model-Based Programming of Intelligent Embedded.. - Williams, Ingham.. (2003) (Correct)
0.3: Model-Based Autonomy for the Next Generation of.. - Fesq, Ingham.. (2002) (Correct)
Related documents from co-citation: More All
8: A model-based approach to reactive self-configuring systems - Williams, Nayak - 1996
6: Diagnosing multiple faults (context) - deKleer, Williams - 1987
6: Improving model-based mode estimation through offline compilation - Chung, Eepoel et al. - 2001
BibTeX entry: (Update)
Ingham, M., Ragno, R. and Williams, B., "A Reactive Model-based Programming Language for Robotic Space Explorers", Proc. of iSAIRAS-2001. http://citeseer.ist.psu.edu/article/ingham01reactive.html More
@misc{ ingham01reactive,
author = "M. Ingham and R. Ragno and B. Williams",
title = "A Reactive Model-based Programming Language for Robotic Space Explorers",
text = "Ingham, M., Ragno, R. and Williams, B., A Reactive Model-based Programming
Language for Robotic Space Explorers, Proc. of iSAIRAS-2001.",
year = "2001",
url = "citeseer.ist.psu.edu/article/ingham01reactive.html" }
Citations (may not include all citations):270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
123 A Modelbased Approach to Reactive Self-Configuring Systems - Williams, Nayak - 1996
112 Statecharts: A Visual Approach to Complex Systems (context) - Harel - 1987
90 Remote Agent: To Boldly Go Where No AI System Has Gone Befor.. - Muscettola - 1998
50 ESL: A Language for Supporting Robust Plan Execution in Embe.. (context) - Gat - 1996
39 Foundations of Timed Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1994
37 A Reactive Planner for a Model-Based Executive - Williams, Nayak - 1997
35 Design of the Remote Agent Experiment for Spacecraft Autonom.. - Bernard - 1999
30 A task Description Language for Robot Control - Simmons, Apfelbaum - 1998
14 Mode Estimation of Probabilistic Hybrid Systems (context) - Williams, Hofbaur et al. - 2001
12 Software Architecture Themes in JPL's Mission Data System (context) - Dvorak - 1999
12 Autonomous Rovers for Mars Exploration - Washington - 1999
10 Adaptive Execution in Dynamic Domains (context) - Firby - 1989
10 Mode Estimation of Model-based Programs: Monitoring Systems .. - Williams, Chung et al. - 2001
10 The Remote Agent Executive: Capabilities to Support Integrat.. - Pell - 1998
9 Validating the DS1 Remote Agent Experiment (context) - Nayak
6 Autonomous Sequencing and Model-based Fault Protection for S.. - Ingham - 2001
6 Executing Reactive, Model-based Programs through Graph-based.. (context) - Kim, Williams et al. - 2001
3 Centre de Mathematiques Appliquees (context) - Berry, The - 1999
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