See this document in CiteSeerX!

Executing Reactive, Model-based Programs  (Make Corrections)  
through Graph-based Temporal Planning Phil Kim and Brian C. Williams MIT Rm....



  Home/Search   Context   Related

 
View or download:
mit.edu/papers/ijc...01_rmpl_planner.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  mit.edu/merspublications (more)
(Enter author homepages)

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

Abstract: In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introducing a reactive model-based programming language (RMPL) that combines within a single unified representation the flexibility of embedded programming and reactive execution languages, and the deliberative reasoning power of temporal planners. The KIRK planning system takes as input a problem expressed as a RMPL... (Update)

Active bibliography (related documents):   More   All
0.9:   Executing Reactive, Model-based Programs - Through Graph-Based Temporal   (Correct)
0.4:   Model-based Reactive Programming of - Cooperative Vehicles For   (Correct)
0.4:   Model-based Reactive Programming of Cooperative.. - Williams, Kim.. (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ temporal-executing,
  author = "Through Graph-Based Temporal",
  title = "Executing Reactive, Model-based Programs",
  url = "citeseer.ist.psu.edu/713659.html" }
Citations (may not include all citations):
3972   Introduction to Algorithms (context) - Cormen, Leiserson et al. - 1990
376   Fast planning through planning graph analysis - Blum, Furst - 1997
370   Network Flows: Theory (context) - Ahuja, Magnanti et al. - 1993
340   Temporal constraint networks (context) - Dechter, Meiri et al. - 1991
270   Synchronous programming of reactive systems (context) - Halbwachs - 1993
182   An introduction to least commitment planning - Weld - 1994
89   Htn planning: Complexity and expressivity - Erol, Hendler et al. - 1994
63   HSTS: Integrating planning and scheduling (context) - Muscettola - 1994
60   Programming real time applications with signal (context) - Le Guernic, Le Borgne et al.
59   Recent advances in ai planning - Weld - 1999
50   Timed Default Concurrent Constraint Programming - Saraswat, Jagadeesan et al. - 1996
45   Planning with sharable resource constraints (context) - Laborie, Ghallab - 1995
26   Temporal planning with mutual exclusion reasoning - Smith, Weld - 1999
19   The synchronous programming language lustre (context) - Halbwachs, Caspi et al.
17   The esterel programming language: Design (context) - Berry, Gonthier - 1992
14   Issues in temporal reasoning for autonomous control systems - Muscettola, Morris et al. - 1998
12   Fast transformation of temporal plans for efficient executio.. - Tsamardinos, Muscettola et al. - 1998
10   Mode estimation of model-based programs: Monitoring systems .. - Williams, Chung et al. - 2001
6   Technical Report AAP (context) - Firby, language - 1995
4   The new millennium remote agent: To boldly go where no ai sy.. (context) - Muscettola, Nayak et al. - 1998

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