activity
20232026
most citedSynthesis and verification of robust-adaptive safe controllers

3 citations · 7 across the 19 of their papers we have counts for

collaborators
Showing 2024Show all

8 papers · 1 filter

cs.RO2024

Automating Robot Failure Recovery Using Vision-Language Models With Optimized Prompts

Hongyi Chen, Yunchao Yao, Ruixuan Liu +2

Current robot autonomy struggles to operate beyond the assumed Operational Design Domain (ODD), the specific set of conditions and environments in which the system is designed to f…

cs.RO2024

Physics-Aware Combinatorial Assembly Sequence Planning using Data-free Action Masking

Ruixuan Liu, Alan Chen, Weiye Zhao +1

Combinatorial assembly uses standardized unit primitives to build objects that satisfy user specifications. This paper studies assembly sequence planning (ASP) for physical combina…

cs.RO2024

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation

Shaojun Xu, Xusheng Luo, Yutong Huang +3

To enable non-experts to specify long-horizon, multi-robot collaborative tasks, language models are increasingly used to translate natural language commands into formal specificati…

cs.LG2024

Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation

Hanjiang Hu, Jianglin Lan, Changliu Liu

Safe control of neural network dynamic models (NNDMs) is important to robotics and many applications. However, it remains challenging to compute an optimal safe control in real tim…

cs.RO2024★ 1 cited

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills

Tianhao Wei, Liqian Ma, Rui Chen +2

The requirements for real-world manipulation tasks are diverse and often conflicting; some tasks require precise motion while others require force compliance; some tasks require av…

cs.RO2024

Optimizing Multi-Touch Textile and Tactile Skin Sensing Through Circuit Parameter Estimation

Bo Ying Su, Yuchen Wu, Chengtao Wen +1

Tactile and textile skin technologies have become increasingly important for enhancing human-robot interaction and allowing robots to adapt to different environments. Despite notab…

eess.SY2024

Real-time Safety Index Adaptation for Parameter-varying Systems via Determinant Gradient Ascend

Rui Chen, Weiye Zhao, Ruixuan Liu +2

Safety Index Synthesis (SIS) is critical for deriving safe control laws. Recent works propose to synthesize a safety index (SI) via nonlinear programming and derive a safe control…

cs.RO2024

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications

Xusheng Luo, Changliu Liu

Research in robotic planning with temporal logic specifications, such as Linear Temporal Logic (LTL), has relied on single formulas. However, as task complexity increases, LTL form…