| EPSRC Reference: |
EP/F037201/1 |
| Title: |
Engineering Autonomous Space Software |
| Principal Investigator: |
Fisher, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Liverpool |
| Scheme: |
Standard Research |
| Starts: |
01 December 2008 |
Ends: |
31 May 2012 |
Value (£): |
375,915
|
| EPSRC Research Topic Classifications: |
| Artificial Intelligence |
Control Engineering |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
|
|
| Related Grants: |
|
| Panel History: |
| Panel Date | Panel Name | Outcome |
|
24 Jan 2008
|
ICT Prioritisation Panel (Technology)
|
Announced
|
|
|
Summary on Grant Application Form |
|
This proposal is based on two premises: that (1) increased autonomy is essential for future space exploration; (2) that existing programming methods are tedious to apply to autonomous components that have to handle an environment with continuous state variables. For well defined discrete-event environments the above rational agent approach is well developed; for a continuous environment, however, perception processes need to be linked with abstractions forming the basis of behaviour. As the environment changes, the abstracted models may also change. Hence, agents are needed that can use these abstractions to aid their decision making processes, use these in the predictive modelling of a continuous world, and connect these abstractions to both planning and goal achievement within rational agents.This project also intends to replace the current complex programming techniques, used for autonomous spacecraftcontrol, with simpler declarative programming. High-level, declarative agent programming languages have been investigated at Liverpool and such theories and languages will be developed further for agents that require predictive modelling capabilities. The Southampton team is experienced both in the formal handling of analytical and empirical models for control and prediction, and in developing control software for real satellites. The merging of these themes is very promising. Although the results will be transferable to ground vehicles and robots, this project will particularly illustrate the new methods in space applications, both in simulation and laboratory hardware demonstrations.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
http://cgi.csc.liv.ac.uk/EASS |
| Further Information: |
|
| Organisation Website: |
http://www.liv.ac.uk |