380 likes | 522 Vues
HART 2004. Time and Motion Studies: The Dynamics of Cognition, Computation and Humanoid Walking. Inman Harvey, Eric Vaughan, Ezequiel Di Paolo Evolutionary and Adaptive Systems Group EASy, Dept. of Informatics University of Sussex inmanh@cogs.susx.ac.uk. HOAP-2, Fujitsu. We suggest:-
E N D
HART 2004 Time and Motion Studies: The Dynamics of Cognition, Computation and Humanoid Walking Inman Harvey, Eric Vaughan, Ezequiel Di Paolo Evolutionary and Adaptive Systems Group EASy, Dept. of Informatics University of Sussex inmanh@cogs.susx.ac.uk HART 2004, Fukui
HOAP-2, Fujitsu HART 2004, Fukui
We suggest:- Commercial humanoid design has tended to ignore the natural dynamics of a mechanical system, for at least two reasons. • The conceptual framework of traditional A.I. • The background of industrial robot designers What are the difficulties? Why is walking so easy for us, and so difficult for robots? HART 2004, Fukui
Instead, we should be … … … … exploiting the natural dynamics of mechanical limbs in ways comparable to those of animals and humans. We should be producing designs that are not constrained by the shackles of GIFAI (Good Old Fashioned AI), nor by the constraints of conventional engineering design philosophy. The Dynamical Systems approach, with Evolutionary Robotics HART 2004, Fukui
They started by understanding un-powered gliding flight, before then adding control and then power. The Glider Analogy … Compare the problems of designing humanoid walking robots with the problems that the Wright brothers faced in aiming towards the first powered flight on 17th Dec 1903. HART 2004, Fukui
… applied to humanoid walking Passive Dynamic Walking is the equivalent of the glider Then we can progressively add Control and Power HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
Automata have a rich history Hero of Alexandria described working models of animals and humans, using hydraulics and pneumatics, some 2000 years ago HART 2004, Fukui
18th C, Jaquet-Droz Clockwork technology From the 14th Century on, clockwork allowed more sophisticated automata HART 2004, Fukui
Clockwork computing In the 1820s in London, Babbage used clockwork technology to design the Difference Engine, and then the Analytical Engine … … the world’s first universal digital computer HART 2004, Fukui
Karakuri Hanzo Yorinao Hosokawa was a Master of making mechanical puppets in the 18th C. HART 2004, Fukui
Tanaka Hisashige Established a Hall of Automata in Kyoto in the 19th C. (child with bow and arrow) He went on to build he first steam locomotive in Japan, and contributed to the industrialisation of Japan. HART 2004, Fukui
From Karakuri to Asimo Walking karakuri inspired humanoid robots, especially in Japan. From Waseda University in the 1960s, to Honda’s Asimo in the 1990s. HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
Constraints arising from this history The design of such humanoids has been heavily influenced by this history. • It has been assumed that the trajectories of limbs must be pre-planned through computations • Designers have tended to use stiffactuators and materials, so as to maintain close control on these pre-calculated positions HART 2004, Fukui
The dynamics of time, the sun, and a sundial are continuous … but a clock and a computer go in a discrete sequence of ticks Computing and GOFAI Babbage’s computers in the 19th C were based on clockwork, and 20th C computers as invented by Turing and Von Neumann proceed by the ticks of a clock. HART 2004, Fukui
GOFAI assumptions So there is a natural tendency to analyse even a dynamical process such as biped walking as a succession of moves between instantaneous frozen positions. The dynamic has been reduced to transitions between static snapshots. This is one cause of the rather unnatural underlying principles of many commercial bipeds today. HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
The Dynamical Systems approach In contrast to GOFAI:- The limbs of an animal, a human, or a robot – and their nervous systems, real or artificial – are physical systems with positions and values acting on each other smoothly in continuous real time. Walking has a natural dynamics arising from the swing of limbs under gravity – synthesis an artificial system that respects such natural dynamics HART 2004, Fukui
Passive Dynamic Walking With upper and lower legs, and un-powered thigh and knee joints, a biped can walk down a slope with no control system … in simulation … HART 2004, Fukui
… or in Reality Collins, Cornell. HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
Evolutionary Robotics Rather than forcing limbs to follow a pre-planned trajectory, we want to design in the appropriate natural dynamics. When we add an artificial nervous system, we also want to design in the appropriate dynamics for this, coupled to actuators and sensors. We are designing dynamical systems, not calculating trajectories – this can be difficult. Animals and humans are designed through Darwinian evolution – we can useArtificial Evolution HART 2004, Fukui
Artificial Evolution • Set up a mapping from strings of “Artificial DNA” to designs of robot bodies and their “nervous systems” • Start with a random population of DNA-strings – generating random and probably useless designs • Test each design, and pick out the “fitter” ones • Breed from the fitter ones – recombine and mutate their DNA to produce offspring • This makes a new generation – return to (2) HART 2004, Fukui
Evolutionary Robotics • The DNA will encode • The lengths, centres of mass, angles, spring constants, range of motor forces of the robot body • The connectivities, weights, biases and time parameters of a robot nervous systems HART 2004, Fukui
Testing Typically the designs are tested in a physics simulator such as ODE. Noise or uncertainty is added to the dimensions of the robot, to the physical forces – and where there is a control system, to sensors, actuators and the “nervous system”. An “Envelope of Noise” can assist in transferring from simulation to a real physical robot (Jakobi et al) The simulations are computational – but the designs being simulated are not. They are real-time Dynamical Systems. HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
GOFAI Humanoid Design Because of the historical constraints on their approach, GOFAI designers have used stiff actuators and materials. High impedance systems, so that unplanned variations are resisted. The Honda robot uses a version of ZMP, Zero-Moment Point Control, that requires it to accurately obey precisely calculated trajectories – only modified by force sensors in the ankles – a high impedance solution. HART 2004, Fukui
ZMP Engineers find it much easier to measure positions rather than forces. Hence the tendency towards stiff, high-impedance solutions. If the leg of a biped is allowed to straighten up at the knee, then ZMP calculations have a singularity with no sensible solution – hence the characteristic bent knees. HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
Remember the Glider Analogy Our approach, following the Wright brothers, is to perfect a glider first, then add power and control. Can the PDW scale up? How about with 4 knees? HART 2004, Fukui
Damped ankle and hip springs 10 degrees of freedom version HART 2004, Fukui
Passive Dynamic Walking No power except potential energy, no control system HART 2004, Fukui
Plan of Talk • Historical roots of Humanoid robotics • Models of Cognition – GOFAI • Models of Cognition – Dynamical Systems approach • Designing Dynamical Systems – Evolutionary Robotics • GOFAI Humanoid walking – ZMP methods • DS Humanoid Walking – PDW Passive Dynamic Walkers • Adding Control and Power to PDW HART 2004, Fukui
Adding Control and Power In the Passive versions, there are no sensors, no motors no control system. Add force sensors, accelerometers, gyroscopes, rotation sensors. Add actuators connected to springs – low impedance. Add continuous time recurrent neural networks – and evolve them. HART 2004, Fukui
Some examples Walking back and forward (2D version) Balancing on a moving platform Powered walking on the flat HART 2004, Fukui
Conclusions HART 2004, Fukui