First steps toward formal controller synthesis for bipedal robots

DOI10.1145/2728606.2728611zbMath1364.93506OpenAlexW2088429149MaRDI QIDQ2988940

Aaron D. Ames, Matthias Rungger, Jessy W. Grizzle, Wen-Loong Ma, Shishir Kolathaya, Bastian Schürmann, Paulo Tabuada

Publication date: 19 May 2017

Published in: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2728606.2728611

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50)

Related Items (2)

First steps toward formal controller synthesis for bipedal robots with experimental implementation ⋮ Lazy Abstraction-Based Controller Synthesis

Cites Work

• Unnamed Item
• Unnamed Item
• On Fixed Points of Strictly Causal Functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• Hybrid Systems: Computation and Control

This page was built for publication: First steps toward formal controller synthesis for bipedal robots