Boolean network robotics as an intermediate step in the synthesis of finite state machines for robot control.
Lorenzo GarattoniAndrea RoliMatteo AmaducciCarlo PinciroliMauro BirattariPublished in: ECAL (2013)
Keyphrases
- robot control
- finite state machines
- mobile robot
- autonomous robots
- unstructured environments
- motion control
- finite state automata
- subsumption architecture
- model checking
- motor control
- real time
- cerebellar model articulation controller
- artificial intelligence
- robotic systems
- mathematical model
- expert systems
- reinforcement learning
- computer vision
- neural network
- database