Back to the future for consistency-based trajectory tracking (2000)

Cached

Download Links

by James Kurien
Venue:In Proceedings of AAAI-00
Citations:59 - 0 self

Documents Related by Co-Citation

202 A Model-based Approach to Reactive Self-Configuring Systems – Brian C. Williams, P. Pandurang Nayak, Urang Nayak - 1996
63 Model-Based Programming of Intelligent Embedded Systems and Robotic Space Explorers – Brian C. Williams, Michel D. Ingham, Seung H. Chung, Paul H. Elliott - 2003
635 Diagnosing Multiple Faults – J de Kleer, B C Williams - 1987
47 Iterative Repair Planning for Spacecraft Operations – G Rabideau, et al - 1999
63 A Reactive Planner for a Model-based Executive – Brian C. Williams, P. Pandurang Nayak - 1997
12 Livingstone model-based diagnosis of Earth Observing One – S Hayden, A Sweet, S Christa - 2004
175 Diagnosis with behavioral modes – J de Kleer, B C Williams - 1989
88 Using Iterative Repair to Improve Responsiveness of Planning and Scheduling – Steve Chien, Russell Knight, Andre Stechert, Rob Sherwood, Gregg Rabideau - 2000
85 Physical Negation - Integrating Fault Models into the General Diagnostic Engine – P Struss, O Dressler - 1989
82 Bayesian fault detection and diagnosis in dynamic systems – Uri Lerner, Ronald Parr - 2000
161 Fault Detection and Diagnosis in Engineering Systems – Janos Gertler - 1998
51 Supervision, Fault Detection and FaultDiagnosis Methods-an Introduction – R Isermann - 1997
2 2 Open Source at http://opensource.arc.nasa.gov/ Biographies Sandra Hayden is principal investigator and project manager of the Livingstone on EO-1 (LEO-1) Infusion Experiment, and a group manager for QSS Group Inc. Founded the QSS Software Process Improv – Livingstone
39 Remote Agent: To Boldly Go Where – N Muscettola, P Nayak, B Pell, B Williams - 1998
4 Agent-based Control of Multiple Satellite Formation Flying – Joseph B. Mueller, Derek M. Surka, Bogdan Udrea - 2001
17 Using Iterative Repair to Improve Responsiveness of Planning – S Chien, R Knight, A Stechert, R Sherwood, G Rabideau - 2000
53 ASPEN - automating space mission operations using automated planning and scheduling – S Chien, G Rabideau, R Knight, R Sherwood, B Engelhardt, D Mutz, T Estlin, B Smith, F Fisher, T Barrett, G Stebbins, D Tran - 2000
7 Solving Optimal Satisfiability Problems Through Clause-Directed A – R Ragno - 2002
9 Timed Model-based Programming: Executable Specifications for Robust Critical Sequences – Michel D. Ingham, Brian C. Williams - 2003