Logical sensors and control system programming for an autonomous biped walking robot | IEEE Conference Publication | IEEE Xplore