I am currently a Ph.D. student in System Engineering at the University of Virginia. I work in Autonomous Mobile Robots Lab and Link Lab under the supervision of Prof. Nicola Bezzo. Before joining AMR Lab, I obtained my MS and BS degrees in Electrical and Electronics Engineering at Bogazici University, Istanbul in 2016 and 2014 respectively.
My research focuses on safety-guaranteed motion planning, reachability analysis, assured autonomy, run-time monitoring and recovery, self-triggered scheduling and control of autonomous aerial vehicles.
Reachability-based Self/Event-triggered Scheduling and Replanning
Modern unmanned aerial vehicles (UAVs) rely on high-frequency periodic sensor measurements for accurate and safe autonomous operations in static or dynamic environments with uncertainties. However, periodic sensor measurements can be computationally consuming, and they are not always necessary, especially when the vehicle is operating in obstacle-free environments.
Reachability analysis is leveraged to minimize the number of sensor monitoring operations while guaranteeing safety (i.e., the vehicle is not going to collide with an obstacle) and liveness (i.e., the vehicle will follow its trajectory closely) in both static and dynamic environments under external disturbances and noises. More details about the approach and the simulation and experiment results can be found in our papers. [AHS '17], [ICRA '18], [JINT '20]
GP-based Fast Runtime Monitoring and Recovery
In real-world applications, the UAVs may not always be able to monitor their state information due to sensor failures, signal occlusions, and communication problems (e.g., losing GPS signal while moving in a city around tall buildings). Model-based reachability analysis techniques are powerful to provide safety guarantees, but they are computationally expensive.
Gaussian Process regression is leveraged to perform fast reachability analysis, and to schedule when the system needs to monitor, replan and recover to guarantee safety. More details can be found in our paper. [IROS '19]
Assured Runtime Monitoring and Planning
Autonomous systems operating in uncertain environments under the effects of disturbances and noises can reach unsafe states even while using well-tuned controllers. To make safety predictions on such systems during motion planning operations, neural networks (NNs) are trained offline using reachability analysis. If the designed trajectory is predicted to be unsafe, trajectories are replanned until a safe one is obtained. To guarantee safety, the trained neural networks are verified using Verisig. In the case of unverified NNs, Verisig output is used to retrain NNs more conservatively. With this approach, the reachable set computation is limited to the offline stage, and safety-assured trajectories are designed at runtime in both known and unknown environments. [RAM '20]
When I am not working, I enjoy yoga, hiking, traveling, collecting vintage photographs, watching independent movies, and reading.