Andrea Patelli

Papers

Total Citations

H-Index

About

Andrea Patelli is a leading researcher in the verification and validation of autonomous robotic systems, with a particular focus on the real-time behavior of drone autopilots. Her seminal work, "Model-based Real-time Testing of Drone Autopilots" (2016, 17 citations), addresses a critical gap in the field: while most verification relies on simulations that ignore timing constraints, Patelli’s model-based approach rigorously tests the temporal correctness of control loop executions. This contribution is foundational for ensuring the dependability of drones in safety-critical applications, bridging the gap between theoretical control models and practical implementation. Her research has been instrumental in advancing real-time testing methodologies, directly impacting the reliability of autonomous aerial vehicles. Patelli’s work is widely recognized for its practical significance, offering engineers a robust framework to validate autopilot software under realistic timing conditions. By highlighting the often-overlooked interplay between timing and correctness, she has set a new standard for testing in robotics, making her a key figure in the development of trustworthy autonomous systems.