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

Benjamin Martin Khalil Ghorbal Eric Goubault Sylvie Putot

Published in: FVAV@iFM (2017)

Keyphrases

formal verification
model checking
autonomous vehicles
symbolic model checking
model checker
bounded model checking

automated verification
cooperative
program slicing
deep space
temporal logic
hybrid systems

control law
robotic systems
artificial neural networks
formal methods
planar surfaces

ground plane
unmanned aerial vehicles
knowledge representation
expert systems
knowledge base