- Title:
First steps toward formal controller synthesis for bipedal robots with experimental implementation
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Ames, Aaron D.; Tabuada, Paulo; Jones, Austin; Ma, Wen-Loong; Rungger, Matthias; Schürmann, Bastian; Kolathaya, Shishir; Grizzle, Jessy W.
- Journal title:
- Nonlinear Analysis: Hybrid Systems
- Year:
- 2017
- Journal volume:
- 25
- Pages contribution:
- 155 - 173
- Reviewed:
- ja
- Fulltext / DOI:
- doi:10.1016/j.nahs.2017.01.002
- WWW:
- http://www.sciencedirect.com/science/article/pii/S1751570X1730002X
- BibTeX