SCRover

Maude Specifications of Rover Adaptation

• Grid
• Position and Heading Interfaces
• Position and Heading State Variable
• Position and Heading Controller
• Position and Heading Actuator
• Position and Heading Sensor
• Rover
• Position and Heading Estimator
• The Rover System

Scripts for execution and testing

• Script
• Test1
• Test 2