Small Business Innovation Research/Small Business Tech Transfer
Agent Architecture for Continuous Systems, Phase I
Project Introduction
We propose to develop an Action Languages which allows for the representation of time and time dependent processes and which allows for the valid composition of modules. Furthermore, we will develop a provably correct translation from the Action Language into Logic Programs under the Answer Set Semantics. Action Languages have already proven useful for the representation of intelligent agent that can perform planning and diagnosis. Our proposed work would allow for more robust agents as well as the ability to do tasks such as scheduling. We will also develop proof techniques to ensure correctness of the agents. We propose to support control systems developed for such agents in distributed real-time systems with a dynamic, on-line, verification of the system behavior with respect to time-based properties.
More »
Primary U.S. Work Locations and Key Partners
| Organizations Performing Work | Role | Type | Location |
|---|---|---|---|
| Kestrel Technology LLC | Lead Organization | Industry | Palo Alto, California |
Ames Research Center
(ARC)
|
Supporting Organization | NASA Center | Moffett Field, California |
| Texas Tech University | Supporting Organization | Academia | Lubbock, Texas |
Primary U.S. Work Locations
-
California
-
Texas
Project Library
Share this Project
Organizational Responsibility
Responsible Mission Directorate:
- Space Technology Mission Directorate (STMD)
Lead Organization:
- Kestrel Technology LLC
Responsible Program:
- Small Business Innovation Research/Small Business Tech Transfer
Project Management
Program Director:
Program Manager:
Principal Investigator:
- Lindsay Errington
Project Duration
Start: Feb 2011
End: Feb 2012
Technology Maturity (TRL)
| Start: | 2 |
| Current: | 3 |
| Estimated End: | 3 |
Applied Research
Development
Demo & Test
Technology Areas
Primary:
- TX07 Exploration Destination Systems
- TX07.3 Mission Operations and Safety
- TX07.3.2 Integrated Flight Operations Systems
Target Destinations
The Sun, Earth, The Moon, Mars, Others Inside the Solar System, Outside the Solar System
Suggest an Edit
Recommend changes and additions to this project record.
This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.