Invariant funnels for underactuated dynamic walking robots: New phase variable and experimental validation | IEEE Conference Publication | IEEE Xplore