Agent Based Approaches to Engineering Autonomous Space Software

  title={Agent Based Approaches to Engineering Autonomous Space Software},
  author={Louise Dennis and Michael Fisher and Nicholas Lincoln and Alexei Lisitsa and Sandor M. Veres},
Current approaches to the engineering of space software such as satellite control systems are based around the development of feedback controllers using packages such as MatLab's Simulink toolbox. These provide powerful tools for engineering real time systems that adapt to changes in the environment but are limited when the controller itself needs to be adapted. We are investigating ways in which ideas from temporal logics and agent programming can be integrated with the use of such control… 

Figures from this paper

Control engineering of autonomous cognitive vehicles-a practical tutorial

An introduction to artificial agent methodologies applicable to control engineering of autonomous vehicles and robots and design tools for “abstractions programming” are identified as needed to fill in the gap between logic based reasoning and sensing.

An agent based framework for adaptive control and decision making of autonomous vehicles

A theoretical physical agent framework is defined that combines rational agent decision making with abstractions from predictions and planning of the future of the physical environment to reduce complexity of logical inference of agents controlling autonomous vehicles and robots in space exploration, deep underwater exploration, defense reconnaissance, automated manufacturing and household automation.



Foundations of Rational Agency

The word agent is widely used in computer science these days and can mean anything from a few lines of code that gets executed automatically when a certain condition is satisfied to a more sophisticated program that can reason about its own behaviour and achieve long-term goals.

A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications

The solution to the problem of finding a feedback control law with polyhedral bounds and a set of initial states so that all trajectories of the closed loop system satisfy the formula consists of three main steps.

Components of a vision assisted constrained autonomous satellite formation flying control system

This paper examines a complete solution to autonomous formation flying of satellites where problems of position, velocity and attitude estimation, data fusion across the cluster, constrained

Automated Verification of Multi-Agent Programs

In this paper, we show that the flexible model-checking of multi-agent systems, implemented using agent-oriented programming languages, is viable thus paving the way for the construction of

BDI Agents: From Theory to Practice

This paper explores a particular type of rational agent, a BeliefDesire-Intention (BDI) agent, and integrates the theoretical foundations of BDI agents from both a quantitative decision-theoretic perspective and a symbolic reasoning perspective.

Gwendolen : A BDI Language for Verifiable Agents

The Gwendolen BDI (Belief, Desires and Intentions) agent programming language is described, developed to test key features of the AIL and its integration with the model checker, JPF, and also to provide a default semantics for the Ail classes.