A Software Architecture for Autonomous Systems
- 25 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 279-292
- https://doi.org/10.1109/uust.1989.754722
Abstract
A software architecture for autonomous, or partly autonomous, systems is described. We emphasize systems such as autonomous vehicles. The suggested architecture has three layers: the process layer, role layer, and analysis layer, respectively. Each layer has a local state which is a function of time, and is updated in regular intervals. The period from one state update to the next is called a phase for the layer. Lower layers operate with shorter phases, i.e. update their parameters with higher frequency, as usual in automatic control systems. The analysis layer (the highest layer) uses a modified version of Explicit Temporal Logic for defining the behaviour of the autonomous system. We define this logic called Executable Explicit Temporal Logic (EETL). How to include different planning facilities in the analysis layer is also discussed. The rule layer (the middle layer) is responsible for translating the EETL statements into a representation which can be executed. This translation, which is a sort of incremental compilation, is described. The result from the compilation is a set of rules which are passed to the process layer. The rules determine when actions should be executed in the process layer. The process layer is responsible for executing the actions which determine the behaviour of the autonomous system. The design of this layer reflects the need for real time performance. The actions are represented as data dependencies between sensors and actuators. At each time-point a set of such actions is executed. The rules received from the rule layer determine when this action set shall be changed, i.e. they determine the control flow in the system. Hardware configuration and software tools - used in an implementation of the system are also briefly discussed.Keywords
This publication has 3 references indexed in Scilit:
- A hierarchical knowledge-based system for the guidance and control of an unmanned untethered submersiblePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- A robust layered control system for a mobile robotIEEE Journal on Robotics and Automation, 1986
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971