Hippodrone
A complete autonomous drone simulation
Video file
Main Characteristic
This container provides a complete simulation and control of a drone flying around. All the the software components are modeled in the FIACRE formal language for offline verification with the TINA tools, as well as runtime verification with the Hippo engine.
Research areas
Verifiable AI
Technical Categories
Robotics and automation
Business Categories
Transportation
Last updated
25.11.2021 - 11:43
Detailed Description
The drone is controlled with 5 GenoM3 components identical to the ones used on the real drones (nhfc, maneuver, pom, rotorcraft, optitrack). The simulation is done in Gazebo, with a plugin simulating the effects of the propellers velocity and resulting forces on the quadcopter.The simulation also provide mocaps and IMU data as to feed the GenoM3 components which localize the drone.
Trustworthy AI
N/A.
GDPR Requirements
N/A.