Work

Agent Based Approaches to Engineering Autonomous Space Software

Year: 2010

Type: article

Abstract: 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 systems to provide a more powerful layer of autonomous decision making. This paper will discuss our initial approaches to the engineering of such systems.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.20.6

Authors: Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres

Institutions: University of Liverpool, University of Southampton

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funder: Engineering and Physical Sciences Research Council

Awards: G2810204015, G3757708148