Theme: Autonomous Systems Architectures
There are many different architectures used to construct autonomous systems, but an increasing emphasis is being placed on hybrid agent architectures for increased reliability, transparency, and verifiability.
Through the projects below, we are involved with academics and industry in work in this area on
- providing a generic basis for these architectures across a range of autonomous systems,
- developing such agent architectures for space autonomy, UAVs, and robotics,
- engaging in the formal analysis of system properties, and
- development of new business opportunities applying such autonomous systems in novel application areas.