First steps toward formal controller synthesis for bipedal robots. Ames, A. D, Tabuada, P., Schürmann, B., Ma, W., Kolathaya, S., Rungger, M., & Grizzle, J. W In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pages 209–218, 2015. ACM.
First steps toward formal controller synthesis for bipedal robots [pdf]Paper  bibtex   

Downloads: 0