Agent Based Approaches to Engineering Autonomous Space Software

Details Agent Based Approaches to Engineering Autonomous Space Software Agent Based Approaches to Engineering Autonomous Space Software

2010-03-02

arxiv.org/abs/1003.0617v1

EPTCS 20, 2010, pp. 63-67

Computer Science

Multiagent Systems

3 pages, 1 Figure, Formal Methods in Aerospace

Scientific paper

10.4204/EPTCS.20.6

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.

Affiliated with

Also associated with

No associations

Rating

Agent Based Approaches to Engineering Autonomous Space Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Agent Based Approaches to Engineering Autonomous Space Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Agent Based Approaches to Engineering Autonomous Space Software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-664125