Feedback can reduce the specification complexity of motor programs.

Magnus Egerstedt Roger W. Brockett

Published in: CDC (2001)

Keyphrases

motor skills
complexity analysis
provably correct
computational complexity
control program
user defined
decision problems
conceptual model
reactive systems
formal verification
maintenance cost
specification language
space complexity
databases
query language
mobile robot
np hard
high level
information retrieval