Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

Benjamin Martin, Khalil Ghorbal, Eric Goubault +1

We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…