Hongkai Dai

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat Diffusion Policy Policy Optimization 2024 Allen Z. Ren
Justin Lidard
Lars Lien Ankile
Anthony Simeonov
Pulkit Agrawal
Anirudha Majumdar
Benjamin Burchfiel
Hongkai Dai
Max Simchowitz
+ PDF Chat Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions 2024 Hongkai Dai
Chuanrui Jiang
Hongchao Zhang
Andrew Clark
+ PDF Chat Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation for Efficient Synthesis and Verification 2024 Lujie Yang
Hongkai Dai
Zhouxing Shi
Cho‐Jui Hsieh
Russ Tedrake
Huan Zhang
+ PDF Chat Certified polyhedral decompositions of collision-free configuration space 2023 Hongkai Dai
Alexandre Amice
P. Werner
Annan Zhang
Russ Tedrake
+ PDF Chat Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares 2023 Lujie Yang
Hongkai Dai
Alexandre Amice
Russ Tedrake
+ PDF Chat Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints 2023 Hongkai Dai
Frank Permenter
+ AdaptSim: Task-Driven Simulation Adaptation for Sim-to-Real Transfer 2023 Allen Z. Ren
Hongkai Dai
Benjamin Burchfiel
Anirudha Majumdar
+ Certified Polyhedral Decompositions of Collision-Free Configuration Space 2023 Hongkai Dai
Alexandre Amice
P. Werner
Annan Zhang
Russ Tedrake
+ Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares 2023 Lujie Yang
Hongkai Dai
Alexandre Amice
Russ Tedrake
+ Fighting Uncertainty with Gradients: Offline Reinforcement Learning via Diffusion Score Matching 2023 H. J. Terry Suh
Glen Chou
Hongkai Dai
Lujie Yang
Abhishek Gupta
Russ Tedrake
+ PDF Chat Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators 2022 Alexandre Amice
Hongkai Dai
P. Werner
Annan Zhang
Russ Tedrake
+ Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators 2022 Alexandre Amice
Hongkai Dai
P. Werner
Annan Zhang
Russ Tedrake
+ Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints 2022 Hongkai Dai
Frank Permenter
+ Lyapunov-stable neural-network control 2021 Hongkai Dai
Benoit Landry
Lujie Yang
Marco Pavone
Russ Tedrake
+ Lyapunov-stable neural-network control 2021 Hongkai Dai
Benoit Landry
Lujie Yang
Marco Pavone
Russ Tedrake
+ PDF Chat A Convex-Combinatorial Model for Planar Caging 2019 Bernardo Aceituno-Cabezas
Hongkai Dai
Alberto Rodríguez
+ A Convex-Combinatorial Model for Planar Caging 2018 Bernardo Aceituno-Cabezas
Hongkai Dai
Alberto Rodríguez
+ PDF Chat Application of Wrench-Based Feasibility Analysis to the Online Trajectory Optimization of Legged Robots 2018 Romeo Orsolino
Michele Focchi
Carlos Mastalli
Hongkai Dai
Darwin G. Caldwell
Claudio Semini
+ A Convex-Combinatorial Model for Planar Caging 2018 Bernardo Aceituno-Cabezas
Hongkai Dai
Rodriguez Alberto
+ A Feasibility Metric for Trajectory Optimization of Legged Robots using Wrench Polytopes. 2017 Romeo Orsolino
Michele Focchi
Carlos Mastalli
Hongkai Dai
Darwin G. Caldwell
Claudio Semini
+ The Actuation-consistent Wrench Polytope (AWP) and the Feasible Wrench Polytope (FWP). 2017 Romeo Orsolino
Michele Focchi
Carlos Mastalli
Hongkai Dai
Darwin G. Caldwell
Claudio Semini
+ A novel nuclear dependence of nucleon–nucleon short-range correlations 2017 Hongkai Dai
Rong Wang
Yin Huang
Xurong Chen
+ Simultaneous Contact, Gait and Motion Planning for Robust Multi-Legged Locomotion via Mixed-Integer Convex Optimization 2017 Bernardo Aceituno-Cabezas
Carlos Mastalli
Hongkai Dai
Michele Focchi
Andreea Radulescu
Darwin G. Caldwell
José Cappelletto
Juan C. Grieco
Gerardo Fernández
Claudio Semini
+ The Actuation-consistent Wrench Polytope (AWP) and the Feasible Wrench Polytope (FWP) 2017 Romeo Orsolino
Michele Focchi
Carlos Mastalli
Hongkai Dai
Darwin G. Caldwell
Claudio Semini
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ Some controls applications of sum of squares programming 2004 Z. Jarvis-Wloszek
Ryan Feeley
Weehong Tan
Kunpeng Sun
Andy Packard
4
+ Semidefinite Optimization and Convex Algebraic Geometry 2012 Grigoriy Blekherman
Pablo A. Parrilo
Rekha R. Thomas
3
+ Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization 2000 Pablo A. Parrilo
3
+ PDF Chat Funnel libraries for real-time robust feedback motion planning 2017 Anirudha Majumdar
Russ Tedrake
3
+ PDF Chat Control design along trajectories with sums of squares programming 2013 Anirudha Majumdar
Amir Ali Ahmadi
Russ Tedrake
3
+ PDF Chat Learning Sampling Distributions for Robot Motion Planning 2018 Brian Ichter
J. Michael Harrison
Marco Pavone
2
+ Safety Verification and Controller Synthesis for Systems with Input Constraints 2023 Han Wang
Kostas Margellos
Antonis Papachristodoulou
2
+ SNOPT: An SQP Algorithm for Large-Scale Constrained Optimization 2005 Philip E. Gill
Walter Murray
Michael A. Saunders
2
+ Configuration Space Decomposition for Scalable Proxy Collision Checking in Robot Planning and Control 2022 Mrinal Verghese
Nikhil Das
Yuheng Zhi
Michael C. Yip
2
+ Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming 2020 Mahyar Fazlyab
Manfred Morari
George J. Pappas
2
+ Convex Optimization 2004 Stephen Boyd
Lieven Vandenberghe
2
+ PDF Chat Minkowski Sum of Polytopes Defined by Their Vertices 2015 Vincent Delos
Denis Teissandier
2
+ The Mosek Interior Point Optimizer for Linear Programming: An Implementation of the Homogeneous Algorithm 2000 Erling D. Andersen
Knud D. Andersen
2
+ PDF Chat Maximum Resilience of Artificial Neural Networks 2017 Chih-Hong Cheng
Georg Nührenberg
Harald Rueß
2
+ Sim-to-Real: Learning Agile Locomotion For Quadruped Robots 2018 Jie Tan
Tingnan Zhang
Erwin Coumans
Atıl Işçen
Yunfei Bai
Danijar Hafner
Steven Bohez
Vincent Vanhoucke
2
+ The limits and potentials of deep learning for robotics 2018 Niko Sünderhauf
Oliver Brock
Walter J. Scheirer
Raia Hadsell
Dieter Fox
Jürgen Leitner
Ben Upcroft
Pieter Abbeel
Wolfram Burgard
Michael Milford
2
+ PDF Chat Learning control lyapunov functions from counterexamples and demonstrations 2018 Hadi Ravanbakhsh
Sriram Sankaranarayanan
2
+ PDF Chat DeepSDF: Learning Continuous Signed Distance Functions for Shape Representation 2019 Jeong Joon Park
Pete Florence
Julian Straub
Richard Newcombe
Steven Lovegrove
2
+ Control Barrier Function Based Quadratic Programs for Safety Critical Systems 2016 Aaron D. Ames
Xiangru Xu
Jessy W. Grizzle
Paulo Tabuada
2
+ PDF Chat Control of a Quadrotor With Reinforcement Learning 2017 Jemin Hwangbo
Inkyu Sa
Roland Siegwart
Marco Hutter
2
+ Backward Reachability for Polynomial Systems on a Finite Horizon 2021 He Yin
Murat Arcak
Andrew Packard
Peter Seiler
2
+ PDF Chat Verification and Synthesis of Control Barrier Functions 2021 Andrew Clark
2
+ PDF Chat None 1994 Bernd Sturmfels
2
+ PDF Chat Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks 2017 Guy Katz
Clark Barrett
David L. Dill
Kyle D. Julian
Mykel J. Kochenderfer
2
+ QT-Opt: Scalable Deep Reinforcement Learning for Vision-Based Robotic Manipulation 2018 Dmitry Kalashnikov
Alex Irpan
Peter Pástor
Julian Ibarz
Alexander Herzog
Eric Jang
Deirdre Quillen
Ethan Holly
Mrinal Kalakrishnan
Vincent Vanhoucke
2
+ Learning lyapunov functions for hybrid systems 2021 Shaoru Chen
Mahyar Fazlyab
Manfred Morari
George J. Pappas
Víctor M. Preciado
2
+ Practical Bilevel Optimization: Algorithms and Applications 1998 Jonathan F. Bard
2
+ PDF Chat Learning quadrupedal locomotion over challenging terrain 2020 Joonho Lee
Jemin Hwangbo
Lorenz Wellhausen
Vladlen Koltun
Marco Hutter
2
+ PDF Chat Formal Synthesis of Lyapunov Neural Networks 2020 Alessandro Abate
Daniele Ahmed
Mirco Giacobbe
Andrea Peruffo
2
+ PDF Chat Computation of the distance to semi-algebraic sets 2000 Christophe Ferrier
2
+ Neural Lyapunov Control 2020 Ya-Chien Chang
Nima Roohi
Sicun Gao
2
+ The Actuation-consistent Wrench Polytope (AWP) and the Feasible Wrench Polytope (FWP) 2017 Romeo Orsolino
Michele Focchi
Carlos Mastalli
Hongkai Dai
Darwin G. Caldwell
Claudio Semini
2
+ Fast Trajectory Optimization for Legged Robots Using Vertex-Based ZMP Constraints 2017 Alexander Winkler
Farbod Farshidian
Diego Pardo
Michael Neunert
Jonas Buchli
2
+ A nullstellensatz and a positivstellensatz in semialgebraic geometry 1974 Gilbert Stengle
2
+ Learning agile and dynamic motor skills for legged robots 2019 Jemin Hwangbo
Joonho Lee
Alexey Dosovitskiy
C. Dario Bellicoso
Vassilios Tsounis
Vladlen Koltun
Marco Hutter
2
+ PDF Chat Peripheral nucleon-nucleon scattering at fifth order of chiral perturbation theory 2015 D. R. Entem
Norbert Kaiser
R. Machleidt
Y. Nosyk
1
+ PDF Chat Evidence for Strong Dominance of Proton-Neutron Correlations in Nuclei 2006 E. Piasetzky
Misak Sargsian
L. Frankfurt
M. Strikman
J. W. Watson
1
+ PDF Chat Pairing gaps from nuclear mean-fieldmo dels 2000 M. Bender
K. Rutz
P.‐G. Reinhard
J. A. Maruhn
1
+ PDF Chat The EMC effect and short-range correlations 2013 Misak Sargsian
1
+ PDF Chat Measurement of Two- and Three-Nucleon Short-Range Correlation Probabilities in Nuclei 2006 K. S. Egiyan
Natalya Dashyan
Misak Sargsian
M. Strikman
L. B. Weinstein
G. S. Adams
P. Ambrozewicz
M. Anghinolfi
B. Asavapibhop
G. Asryan
1
+ Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations 2008 Jean B. Lasserre
Didier Henrion
Christophe Prieur
Emmanuel Trélat
1
+ Accurate nucleon-nucleon potential with charge-independence breaking 1995 R. B. Wiringa
V. G. J. Stoks
R. Schiavilla
1
+ Complexity Estimates for the Schmüdgen Positivstellensatz 1996 Gilbert Stengle
1
+ PDF Chat Torque Saturation in Bipedal Robotic Walking Through Control Lyapunov Function-Based Quadratic Programs 2015 Kevin S. Galloway
Koushil Sreenath
Aaron D. Ames
Jessy W. Grizzle
1
+ PDF Chat Pairing in nuclear systems: from neutron stars to finite nuclei 2003 D. J. Dean
M. Hjorth‐Jensen
1
+ SIAG/OPT Views-and-News A Forum for the SIAM Activity Group on Optimization 2007 Andrew R. Conn
1
+ PDF Chat Probing Cold Dense Nuclear Matter 2008 R. Subedi
R. Shneor
Peter Monaghan
B. D. Anderson
K. Aniol
J. R. M. Annand
J. Arrington
H. Benaoum
F. Benmokhtar
W. Boeglin
1
+ PDF Chat Detailed study of the nuclear dependence of the EMC effect and short-range correlations 2012 J. Arrington
A. V. Daniel
Donal B. Day
N. Fomin
D. Gaskell
P. Solvignon
1
+ PDF Chat Piecewise linear quadratic optimal control 2000 Anders Rantzer
Mikael Johansson
1
+ PDF Chat Tensor Forces and the Ground-State Structure of Nuclei 2007 R. Schiavilla
R. B. Wiringa
Steven C. Pieper
J. Carlson
1