Validation and Safe Autonomy
| Module title | Validation and Safe Autonomy |
|---|---|
| Module code | ENSM004 |
| Academic year | 2025/6 |
| Credits | 15 |
| Module staff |
Module description
Autonomous and intelligent systems (AIS) are rapidly becoming a part of our daily lives, promising to enhance safety and efficiency in critical applications. However, the potential failures of these systems can lead to severe consequences, including loss of life and property. Consider the numerous examples: autonomous mobility platforms in land, air, and sea, and cyber-physical infrastructure networks in the energy, water, and transport sectors. This underscores the crucial need for rigorous testing and validation of these systems before they can be certified and deployed in real-life scenarios. This module will provide a comprehensive understanding of the theory and applications of ensuring meeting design requirements safely and validation tasks. Selected methods and algorithms in formal methods, optimisations, planning, reinforcement learning, and importance sampling will form the basis of the module.
Module aims - intentions of the module
Intended Learning Outcomes (ILOs)
ILO: Module-specific skills
On successfully completing the module you will be able to...
ILO: Discipline-specific skills
On successfully completing the module you will be able to...
ILO: Personal and key skills
On successfully completing the module you will be able to...
| Credit value | 15 |
|---|---|
| Module ECTS | 7.5 |
| NQF level (module) | 7 |
| Available as distance learning? | No |
| Origin date | 26/09/2024 |
| Last revision date | 26/09/2024 |
