Appendix C: Proofs Associated with Chapter 6 | part of Hybrid Control and Motion Planning of Dynamical Legged Locomotion | Wiley-IEEE Press books | IEEE Xplore