Fetching the paper…
Reading the bibliography…
We propose new methods for learning control policies and neural network Lyapunov functions for nonlinear control problems, with provable guarantee of stability.
Linear Optimal Control Systems
Huibert Kwakernaak · 1972
Earlier work this paper cites.
Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization
Pablo A. Parrilo · 2000
Earlier work this paper cites.
Some controls applications of sum of squares programming
Z. Jarvis-Wloszek, R. Feeley, Weehong Tan, Kunpeng Sun, and A. Packard · 2003
Earlier work this paper cites.
Positive Polynomials in Control
D. Henrion and A. Garulli · 2005
Earlier work this paper cites.
Gaussian Processes for Machine Learning
C.E. Rasmussen and C.K.I. Williams · 2006
Earlier work this paper cites.
Nonlinear dynamical systems and control: A lyapunov-based approach
Wassim Haddad and Vijaysekhar Chellaboina · 2008
Earlier work this paper cites.
Guest editorial: Special issue on positive polynomials in control
G. Chesi and D. Henrion · 2009
Earlier work this paper cites.
Pre- and post-processing sum-of-squares programs in practice
Johan Löfberg · 2009
Earlier work this paper cites.
a globally asymptotically stable polynomial vector field with no polynomial lyapunov function
Amir A. Ahmadi, M. Krstic, and P. A. Parrilo · 2011
Earlier work this paper cites.
On the difficulty of deciding asymptotic stability of cubic homogeneous vector fields
Amir Ali Ahmadi · 2012
Cited alongside, same era.
Delta-Complete decision procedures for satisfiability over the reals
Sicun Gao, Jeremy Avigad, and Edmund M. Clarke · 2012
Cited alongside, same era.
Stability of polynomial differential equations: Complexity and converse lyapunov questions
Amir A. Ahmadi and Pablo A. Parrilo · 2013
Cited alongside, same era.
dReal: An SMT solver for nonlinear theories over the reals
Sicun Gao, Soonho Kong, and Edmund M. Clarke · 2013
Cited alongside, same era.
Simulation-guided lyapunov analysis for hybrid dynamical systems
James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and Nikos Arechiga · 2014
Cited alongside, same era.
Lower bounds on complexity of lyapunov functions for switched linear systems
Safe model-based reinforcement learning with stability guarantees
Felix Berkenkamp, Matteo Turchetta, Angela Schoellig, and Andreas Krause · 2017
Later among the works it cites.
Funnel libraries for real-time robust feedback motion planning
Anirudha Majumdar and Russ Tedrake · 2017
Later among the works it cites.
A lyapunov-based approach to safe reinforcement learning
Yinlam Chow, Ofir Nachum, Edgar Duenez-Guzman, and Mohammad Ghavamzadeh · 2018
Later among the works it cites.
Simple random search of static linear policies is competitive for reinforcement learning
Horia Mania, Aurelia Guy, and Benjamin Recht · 2018
Later among the works it cites.
The lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems
Spencer M. Richards, Felix Berkenkamp, and Andreas Krause · 2018
Later among the works it cites.
Neural Lyapunov control (project website), https://yachienchang.github.io/NeurIPS2019 , 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Amir A. Ahmadi and Raphaël M. Jungers · 2015
Cited alongside, same era.
Controllability and observability of n-link planar robot with a single actuator having different actuator-sensor configurations
Yannian Liu and Xin Xin · 2015
Cited alongside, same era.
Concrete problems in AI safety
Dario Amodei, Chris Olah, Jacob Steinhardt, Paul F. Christiano, John Schulman, and Dan Mané · 2016
Cited alongside, same era.
Safe learning of regions of attraction for uncertain, nonlinear systems with gaussian processes
F. Berkenkamp, R. Moriconi, A. P. Schoellig, and A. Krause · 2016
Cited alongside, same era.
Ya-Chien Chang, Nima Roohi, and Sicun Gao · 2019
Later among the works it cites.
Learning control lyapunov functions from counterexamples and demonstrations
Hadi Ravanbakhsh and Sriram Sankaranarayanan · 2019
Later among the works it cites.
Underactuated Robotics: Algorithms for Walking, Running, Swimming, Flying, and Manipulation (Course Notes for MIT 6.832)
Russ Tedrake · 2019
Later among the works it cites.