Reach-Avoid Control Synthesis for a Quadrotor UAV with Formal Safety Guarantees.

Mohamed Serry Haocheng Chang Jun Liu

Published in: CoRR (2024)

Keyphrases

aerial vehicles
unmanned aerial vehicles
control system
control algorithm
path planning
matlab simulink
program synthesis
learning algorithm
information systems
control method
process control
autonomous vehicles
control theory
control policy
nuclear power plant