Proceedings of the ACM on software engineering. • Vol 2 • No ISSTA
RouthSearch: Inferring PID Parameter Specification for Flight Control Program by Coordinate Search
June 2025 • Siao Wang, Zhen Dong, Hui Li, Liwei Shen, Xin Peng, Dongdong She
Flight control programs are widely used in unmanned aerial vehicles (UAVs) to manage and maintain UAVs’ flying behaviors dynamically. These flight control programs include a PID control module that takes three user-configurable PID parameters: Proportional (P), Integral (I), and Derivative (D). Users can also adjust these PID parameters during flight to suit the needs of various flight tasks. However, flight control programs do not have sufficient safety checks on the user-provided PID parameters, leading to a sev…