Skip Navigation
SBIR/STTR

Agent Architecture for Continuous Systems, Phase I

Completed Technology Project

Project Introduction

Agent Architecture for Continuous Systems, Phase I
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

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

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.

A final report document may be available for this project. If you would like to request it, please contact us.

^