Fetching the paper…
Reading the bibliography…
Deep learning has had a far reaching impact in robotics.
Applied nonlinear control , volume 199
Jean-Jacques E Slotine, Weiping Li, et al · 1991
Earlier work this paper cites.
Multilayer feedforward networks with a nonpolynomial activation function can approximate any function
Moshe Leshno, Vladimir Ya Lin, Allan Pinkus, and Shimon Schocken · 1993
Earlier work this paper cites.
Linear matrix inequalities in system and control theory
Stephen Boyd, Laurent El Ghaoui, Eric Feron, and Venkataramanan Balakrishnan · 1994
Earlier work this paper cites.
Stability and stabilization: discontinuities and the effect of disturbances
Eduardo D Sontag · 1999
Earlier work this paper cites.
Some controls applications of sum of squares programming
Zachary Jarvis-Wloszek, Ryan Feeley, Weehong Tan, Kunpeng Sun, and Andrew Packard · 2003
Earlier work this paper cites.
Cbc user guide
John Forrest and Robin Lougee-Heimer · 2005
Earlier work this paper cites.
Underactuated robotics: Learning, planning, and control for efficient and agile machines
Russ Tedrake · 2009
Earlier work this paper cites.
Mixed-integer models for nonseparable piecewise-linear optimization: Unifying framework and extensions
Juan Pablo Vielma, Shabbir Ahmed, and George Nemhauser · 2010
Earlier work this paper cites.
Minimum snap trajectory generation and control for quadrotors
Daniel Mellinger and Vijay Kumar · 2011
Earlier work this paper cites.
Practical bilevel optimization: algorithms and applications , volume 30
Jonathan F Bard · 2013
Earlier work this paper cites.
Control design along trajectories with sums of squares programming
Anirudha Majumdar, Amir Ali Ahmadi, and Russ Tedrake · 2013
Earlier work this paper cites.
Simulation-guided lyapunov analysis for hybrid dynamical systems
James Kapinski, Jyotirmoy V Deshmukh, Sriram Sankaranarayanan, and Nikos Arechiga · 2014
Earlier work this paper cites.
Inc.,“gurobi optimizer reference manual,” 2015, 2014
Gurobi Optimization · 2014
Earlier work this paper cites.
Trajectory tracking control of a quadrotor using feedback linearization
R Bonna and JF Camino · 2015
Earlier work this paper cites.
Trust region policy optimization
John Schulman, Sergey Levine, Pieter Abbeel, Michael Jordan, and Philipp Moritz · 2015
Earlier work this paper cites.
Control barrier function based quadratic programs for safety critical systems
Aaron D Ames, Xiangru Xu, Jessy W Grizzle, and Paulo Tabuada · 2016
Earlier work this paper cites.
Measuring neural net robustness with constraints
Osbert Bastani, Yani Ioannou, Leonidas Lampropoulos, Dimitrios Vytiniotis, Aditya V Nori, and Antonio Criminisi · 2016
Earlier work this paper cites.
Optnet: Differentiable optimization as a layer in neural networks
Brandon Amos and J Zico Kolter · 2017
Earlier work this paper cites.
Maximum resilience of artificial neural networks
Chih-Hong Cheng, Georg Nührenberg, and Harald Ruess · 2017
Earlier work this paper cites.
Control of a quadrotor with reinforcement learning
Jemin Hwangbo, Inkyu Sa, Roland Siegwart, and Marco Hutter · 2017
Cited alongside, same era.
Reluplex: An efficient smt solver for verifying deep neural networks
Guy Katz, Clark Barrett, David L Dill, Kyle Julian, and Mykel J Kochenderfer · 2017
Cited alongside, same era.
Ssd-6d: Making rgb-based 3d detection and 6d pose estimation great again
Wadim Kehl, Fabian Manhardt, Federico Tombari, Slobodan Ilic, and Nassir Navab · 2017
Cited alongside, same era.
Information theoretic mpc for model-based reinforcement learning
Grady Williams, Nolan Wagener, Brian Goldfain, Paul Drews, James M Rehg, Byron Boots, and Evangelos A Theodorou · 2017
Cited alongside, same era.
A unified view of piecewise linear neural network verification
Rudy Bunel, Ilker Turkaslan, Philip HS Torr, Pushmeet Kohli, and M Pawan Kumar · 2018
Cited alongside, same era.
Deep neural networks and mixed integer linear optimization
Neural lyapunov control
Ya-Chien Chang, Nima Roohi, and Sicun Gao · 2019
Later among the works it cites.
Deep value model predictive control
Farbod Farshidian, David Hoeller, and Marco Hutter · 2019
Later among the works it cites.
See, feel, act: Hierarchical learning for complex manipulation skills with multisensory fusion
Nima Fazeli, Miquel Oller, Jiajun Wu, Zheng Wu, Joshua B Tenenbaum, and Alberto Rodriguez · 2019
Later among the works it cites.
Learning agile and dynamic motor skills for legged robots
Jemin Hwangbo, Joonho Lee, Alexey Dosovitskiy, Dario Bellicoso, Vassilios Tsounis, Vladlen Koltun, and Marco Hutter · 2019
Later among the works it cites.
A differentiable augmented lagrangian method for bilevel nonlinear optimization
Benoit Landry, Zachary Manchester, and Marco Pavone · 2019
Later among the works it cites.
Mixed-integer formulations for optimal control of piecewise-affine systems
Tobia Marcucci and Russ Tedrake · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Matteo Fischetti and Jason Jo · 2018
Cited alongside, same era.
Dense object nets: Learning dense visual object descriptors by and for robotic manipulation
Peter R Florence, Lucas Manuelli, and Russ Tedrake · 2018
Cited alongside, same era.
Learning nonlinear dynamic models of soft robots for model predictive control with neural networks
Morgan T Gillespie, Charles M Best, Eric C Townsend, David Wingate, and Marc D Killpack · 2018
Cited alongside, same era.
Soft actor-critic: Off-policy maximum entropy deep reinforcement learning with a stochastic actor
Tuomas Haarnoja, Aurick Zhou, Pieter Abbeel, and Sergey Levine · 2018
Cited alongside, same era.
Learning sampling distributions for robot motion planning
Brian Ichter, James Harrison, and Marco Pavone · 2018
Cited alongside, same era.
Qt-opt: Scalable deep reinforcement learning for vision-based robotic manipulation
Dmitry Kalashnikov, Alex Irpan, Peter Pastor, Julian Ibarz, Alexander Herzog, Eric Jang, Deirdre Quillen, Ethan Holly, Mrinal Kalakrishnan, Vincent Vanhoucke, et al · 2018
Cited alongside, same era.
Deep lagrangian networks: Using physics as model prior for deep learning
Michael Lutter, Christian Ritter, and Jan Peters · 2018
Cited alongside, same era.
Later among the works it cites.
Deepsdf: Learning continuous signed distance functions for shape representation
Jeong Joon Park, Peter Florence, Julian Straub, Richard Newcombe, and Steven Lovegrove · 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.
Formal synthesis of lyapunov neural networks
Alessandro Abate, Daniele Ahmed, Mirco Giacobbe, and Andrea Peruffo · 2020
Later among the works it cites.
Strong mixed-integer programming formulations for trained neural networks
Ross Anderson, Joey Huchette, Will Ma, Christian Tjandraatmadja, and Juan Pablo Vielma · 2020
Later among the works it cites.
Learning lyapunov functions for hybrid systems
Shaoru Chen, Mahyar Fazlyab, Manfred Morari, George J Pappas, and Victor M Preciado · 2020
Later among the works it cites.
Counter-example guided synthesis of neural network lyapunov functions for piecewise linear systems
Hongkai Dai, Benoit Landry, Marco Pavone, and Russ Tedrake · 2020
Later among the works it cites.
Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming
Mahyar Fazlyab, Manfred Morari, and George J Pappas · 2020
Later among the works it cites.
Learning quadrupedal locomotion over challenging terrain
Joonho Lee, Jemin Hwangbo, Lorenz Wellhausen, Vladlen Koltun, and Marco Hutter · 2020
Later among the works it cites.
Keypoints into the future: Self-supervised correspondence in model-based reinforcement learning
Lucas Manuelli, Yunzhu Li, Pete Florence, and Russ Tedrake · 2020
Later among the works it cites.
Contactnets: Learning of discontinuous contact dynamics with smooth, implicit representations
Samuel Pfrommer, Mathew Halm, and Michael Posa · 2020
Later among the works it cites.
Convex Optimization and Machine Learning for Scalable Verification and Control
Shen Shen · 2020
Later among the works it cites.
Soft robot optimal control via reduced order finite element models
Sander Tonkens, Joseph Lorenzetti, and Marco Pavone · 2020
Later among the works it cites.
Partition-based formulations for mixed-integer optimization of trained relu neural networks
Calvin Tsay, Jan Kronqvist, Alexander Thebelt, and Ruth Misener · 2021
Closest in time.