Stability Proof of Biped Walking Control based on Point-Contact | IEEE Conference Publication | IEEE Xplore