Autonomous Systems
As software-controlled systems become more autonomous, from self-driving cars to robotic assistants, assuring their safety and correctness becomes increasingly challenging. Autonomous systems operate in complex, unpredictable, and open environments.
My research explores how traditional safety assurance methods can be adapted for autonomous systems.
Research Projects
Route Recommendation and Ride-Sharing Validation
We investigate pathfinding algorithms and vehicle coordination protocols for ride-sharing autonomous vehicles. Specifically: - Comparative evaluation of pathfinding algorithms (such as A* (A-Star) and Dijkstra) under dynamic traffic loads. - Modelling and verifying route safety arguments to prevent collision, gridlocks, or excessive wait times. - Constructing safety assurance arguments for autonomous operations in urban environments.