Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
Hongkai Dai(Tongji Hospital), Russ Tedrake(McGovern Institute for Brain Research), Marco Pavone(Nvidia (United States)), Benoit Landry(Stanford University)
Cited by 41
Related Papers
Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot
|Autonomous Robots|2015|830
An Architecture for Online Affordance‐based Perception and Whole‐body Planning
|Journal of Field Robotics|2014|140
Lyapunov-stable neural-network control
|Unknown|2021|98