Artificial intelligence (AI) is increasingly utilized in the PNT field, enhancing the performance and reliability of Global Navigation Satellite Systems (GNSS), from RF interference detection and mitigation to sensor fusion. The advancement and ever-increasing size of neural networks increase the complexity of applications supported by AI, and with the increasing complexity, verifiability decreases. Unreliable or biased AI systems can have serious consequences, risking damage both to the environment and to human lives, especially in domains like autonomous vehicles, UAVs, and marine applications.
The objectives of the activity are to:
Study the viability of integrating verifiable artificial intelligence and machine learning techniques to enhance PNT applications
The tasks to be performed shall include:
Review of the state-of-the-art verifiable AI techniques and design processes for ML systems in PNT domain
Develop verification algorithms based on formal specification and formal verification methods to enhance trust and verifiability in AI systems operating in the PNT field, where the human-AI interaction at design level is instrumental in ensuring reliable and transparent performance for the human agent
Develop a simulator to test few specific use cases in complex environments (e.g., sensor fusion)
Designa demonstrator to evaluate the performance of the developed verified AI algorithms for PNT.
The main outputs of the activity will consist of:
Design and development of verifiable AI/ML architectures and algorithms applicable in the PNT domain for autonomous systems (e.g., maritime, road, railway, or aviation)
Simulator and demonstrator to assess the verified AI algorithms in challenging environments
Recommendations for best practices for testing AI for PNT applications