CASPER: using local search for planning for embedded systems
In this paper we describe the basics of this local search algorithm (CASPER) as well as outline several of the benefits and drawbacks of using a local search approach.
Engineering topics
Publications and source records attributed to Rabideau, G..
In this paper we describe the basics of this local search algorithm (CASPER) as well as outline several of the benefits and drawbacks of using a local search approach.
The paper talks about the planning, scheduling, and execution framework used in ASC (Autonomous Sciencecraft Constellation).
Explore the source record for details and available documents.
Three Corner Sat (3CS) is a mission of three university nanosatellites scheduled for launch on September 2002. The 3CS misison will utilize significan onboard autonomy to perform onboard science data validation and replanning.
Current declarative systems are limited to a small number of types of states and resources that they can represent. Thus software is usually hand-crafted to meet the needs of the state validation-estimation-projection for real domains where estimation is not sufficient.
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data.
This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities.
The Autonomous Sciencecraft Constellation flight demonstration (ASC) will fly onboard the Air Forces's TechSat-21 constellation. Demonstration of its capabilities in a flight environment will open up tremendous new opportunities in planetary science, space physics, and earth science that would be unreadable without this technology.
Most approaches to robust automony with respect to planning and execution are focused on either providing models that allow for flexibility or providing techniques for changing models to improve performance. We take these techniques into consideration, but focus the majority of our work on robust autonomous planning and execution with imperfect models.
This article describes a number of lessons learned in deploying automated planning and scheduling systems for space applications at the Jet Propulsion Laboratory.
This paper compares and contrasts several coordination schemes for a system that continuously plans to control collections of rovers (or spacecraft) using collective mission goals, instead of goals or command sequences for each spacecraft.
In this paper, we discuss artificial intelligence planning and scheduling technology and how it can be applied to interferometer configuration and control.
Local search has been proposed as a means of responding to changes in problem context requiring replanning.
Explore the source record for details and available documents.
This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities.
This paper describes and evaluates three methods for coordinating multiple agents.
We describe a methodology for representing and optimizing user preferences on plans.
This paper describes the ASPEN system for automation of planning and scheduling for space mission operations.