Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement.

Quan Nguyen Koushil Sreenath

Published in: ADHS (2015)

Keyphrases

safety critical
humanoid robot
formal methods
agent architecture
fault tolerant
safety analysis
control system
rough terrain
nuclear power plant
regulatory requirements
intelligent agents
support systems