Spontaneous Symmetry-Breaking in a Network Model for Quadruped Locomotion.
Ian StewartPublished in: Int. J. Bifurc. Chaos (2017)
Keyphrases
- network model
- symmetry breaking
- quadruped robot
- legged robots
- constraint programming
- rough terrain
- quantified boolean formulae
- boolean satisfiability
- global constraints
- constraint satisfaction problems
- search tree
- integer linear programming
- gene regulatory networks
- immune algorithm
- graph coloring
- mobile robot
- inverted pendulum
- sat solvers
- symmetry breaking constraints
- humanoid robot
- boolean optimization