Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
Benjamin MartinKhalil GhorbalEric GoubaultSylvie PutotPublished 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