Hai Lin
収録論文 36本 ・ フィジカルAI/ロボット学習
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models2024/2/1
- Estimating Infinite-Dimensional Continuum Robot States From the Tip2023/11/1
- Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control2023/9/1
- Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments2023/6/1
- Stable Real-Time Feedback Control of a Pneumatic Soft Robot2023/4/1
- Full State Estimation of Continuum Robots from Tip Velocities: A Cosserat-Theoretic Boundary Observer2023/3/1
- Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control2023/2/1
- Temporal Logic Motion Planning with Convex Optimization via Graphs of Convex Sets2023/1/1
- Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models2022/10/1
- Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields2022/9/1
- Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables2022/4/1
- Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances2022/3/1
- PDE-based Dynamic Control and Estimation of Soft Robotic Arms2022/3/1
- Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR2022/2/1
- Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control2021/9/1
- Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics2021/9/1
- Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback2021/6/1
- Trajectory Optimization for High-Dimensional Nonlinear Systems under STL Specifications2020/11/1
- Automatic Trajectory Synthesis for Real-Time Temporal Logic2020/9/1
- Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic2020/7/1
- Approximate Simulation for Template-Based Whole-Body Control2020/6/1
- Transporting Robotic Swarms via Mean-Field Feedback Control2020/6/1
- A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control2020/6/1
- Formal Connections between Template and Anchor Models via Approximate Simulation2019/9/1
- Kalman Filtering with Gaussian Processes Measurement Noise2019/9/1
- Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis2019/5/1
- Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration2019/4/1
- Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance2018/11/1
- Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications2018/3/1
- POMDP Model Learning for Human Robot Collaboration2018/3/1
- Reactive Integrated Mission and Motion planning2017/11/1
- A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints2017/6/1
- Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications2017/5/1
- SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments2016/9/1
- Combined Top-Down and Bottom-Up Approaches to Performance-guaranteed Integrated Task and Motion Planning of Cooperative Multi-agent Systems2016/7/1
- Formal Design of Robot Integrated Task and Motion Planning2016/4/1