First steps toward formal controller synthesis for bipedal robots with experimental implementation
From MaRDI portal
Publication:2406959
DOI10.1016/j.nahs.2017.01.002zbMath1377.93069OpenAlexW2588566816MaRDI QIDQ2406959
Wen-Loong Ma, Matthias Rungger, Jessy W. Grizzle, Shishir Kolathaya, Aaron D. Ames, Austin Jones, Bastian Schürmann, Paulo Tabuada
Publication date: 4 October 2017
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://resolver.caltech.edu/CaltechAUTHORS:20170608-073936974
Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Robot dynamics and control of rigid bodies (70E60)
Uses Software
Cites Work
- Unnamed Item
- Models, feedback control, and open problems of 3D bipedal robotic walking
- An ISS self-triggered implementation of linear controllers
- Temporal logic motion planning for dynamic robots
- Nonlinear systems. Analysis, stability, and control
- Metrization and Simulation of Controlled Hybrid Systems
- Human-Inspired Control of Bipedal Walking Robots
- Rapidly Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero Dynamics
- Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics
- Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control
- First steps toward formal controller synthesis for bipedal robots
- Verification and Control of Hybrid Systems
- Asymptotically stable walking for biped robots: analysis via systems with impulse effects
- Dynamical properties of hybrid automata
- Hybrid zero dynamics of planar biped walkers
- Further Results on Robustness of (Possibly Discontinuous) Sample and Hold Feedback
- Input–Output Stability Properties of Networked Control Systems
- Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
- Lyapunov Theory for Zeno Stability
- Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
- Hybrid dynamical systems
- Identification of a Bipedal Robot with a Compliant Drivetrain
This page was built for publication: First steps toward formal controller synthesis for bipedal robots with experimental implementation
