123 citations · 203 across the 13 of their papers we have counts for
14 papers
Steerable Scene Generation with Post Training and Inference-Time Search
Nicholas Pfaff, Hongkai Dai, Sergey Zakharov +2
Training robots in simulation requires diverse 3D scenes that reflect the specific challenges of downstream tasks. However, scenes that satisfy strict task requirements, such as hi…
Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
Lujie Yang, Hongkai Dai, Zhouxing Shi +3
Learning-based neural network (NN) control policies have shown impressive empirical performance in a wide range of tasks in robotics and control. However, formal (Lyapunov) stabili…
Fighting Uncertainty with Gradients: Offline Reinforcement Learning via Diffusion Score Matching
H. J. Terry Suh, Glen Chou, Hongkai Dai +3
Gradient-based methods enable efficient search capabilities in high dimensions. However, in order to apply them effectively in offline optimization paradigms such as offline Reinfo…
Approximate Optimal Controller Synthesis for Cart-Poles and Quadrotors via Sums-of-Squares
Lujie Yang, Hongkai Dai, Alexandre Amice +1
Sums-of-squares (SOS) optimization is a promising tool to synthesize certifiable controllers for nonlinear dynamical systems. Building upon prior works, we demonstrate that SOS can…
Certified Polyhedral Decompositions of Collision-Free Configuration Space
Hongkai Dai, Alexandre Amice, Peter Werner +2
Understanding the geometry of collision-free configuration space (C-free) in the presence of task-space obstacles is an essential ingredient for collision-free motion planning. Whi…
AdaptSim: Task-Driven Simulation Adaptation for Sim-to-Real Transfer
Allen Z. Ren, Hongkai Dai, Benjamin Burchfiel +1
Simulation parameter settings such as contact models and object geometry approximations are critical to training robust robotic policies capable of transferring from simulation to…
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints
Hongkai Dai, Frank Permenter
Control Lyapunov functions (CLFs) and control barrier functions (CBFs) are widely used tools for synthesizing controllers subject to stability and safety constraints. Paired with o…
Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators
Alexandre Amice, Hongkai Dai, Peter Werner +2
Configuration space (C-space) has played a central role in collision-free motion planning, particularly for robot manipulators. While it is possible to check for collisions at a po…
Lyapunov-stable neural-network control
Hongkai Dai, Benoit Landry, Lujie Yang +2
Deep learning has had a far reaching impact in robotics. Specifically, deep reinforcement learning algorithms have been highly effective in synthesizing neural-network controllers…
Simultaneous Contact, Gait and Motion Planning for Robust Multi-Legged Locomotion via Mixed-Integer Convex Optimization
Bernardo Aceituno-Cabezas, Carlos Mastalli, Hongkai Dai +7
Traditional motion planning approaches for multi-legged locomotion divide the problem into several stages, such as contact search and trajectory generation. However, reasoning abou…
A Convex-Combinatorial Model for Planar Caging
Bernardo Aceituno-Cabezas, Hongkai Dai, Alberto Rodriguez
Caging is a promising tool which allows a robot to manipulate an object without directly reasoning about the contact dynamics involved. Furthermore, caging also provides useful gua…
The Actuation-consistent Wrench Polytope (AWP) and the Feasible Wrench Polytope (FWP)
Romeo Orsolino, Michele Focchi, Carlos Mastalli +3
The motivation of our current research is to devise motion planners for legged locomotion that are able to exploit the robot's actuation capabilities. This means, when possible, to…
Application of Wrench based Feasibility Analysis to the Online Trajectory Optimization of Legged Robots
Romeo Orsolino, Michele Focchi, Carlos Mastalli +3
Motion planning in multi-contact scenarios has recently gathered interest within the legged robotics community, however actuator force/torque limits are rarely considered. We belie…
A novel nuclear dependence of nucleon-nucleon short-range correlations
Hongkai Dai, Rong Wang, Yin Huang +1
A linear correlation is found between the magnitude of nucleon-nucleon short-range correlations and the nuclear binding energy per nucleon with pairing energy removed. By using thi…