From Formalised State Machines to Implementations of Robotic Controllers.

Wei Li Alvaro Miyazawa Pedro Ribeiro Ana Cavalcanti Jim Woodcock Jon Timmis

Published in: DARS (2016)

Keyphrases

state machines
state machine
petri net
control loop
recurrent networks
control system
mobile robot
real time
sequence diagrams
human operators
control strategy
robotic systems
manipulation tasks
xml documents
reinforcement learning
finite state machines
object oriented
low level