TensorX
返回文献探索

Paper · arXiv 2412.04455

Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection

Enshen Zhou, Qi Su, Cheng Chi, Zhizheng Zhang, Zhongyuan Wang, Tiejun Huang, Lu Sheng, He Wang

36 upvotesDecember 5, 2024arXiv 预印本
AI 摘要

Code-as-Monitor (CaM) uses vision-language models to address both reactive and proactive open-set failure detection in closed-loop robotic systems by formulating them as spatio-temporal constraint satisfaction problems.

vision-language modelVLMspatio-temporal constraint satisfaction problemscode-as-monitorconstraint elementsgeometric elementsopen-set failuresclosed-loop systems

Abstract

Automatic detection and prevention of open-set failures are crucial in closed-loop robotic systems. Recent studies often struggle to simultaneously identify unexpected failures reactively after they occur and prevent foreseeable ones proactively. To this end, we propose Code-as-Monitor (CaM), a novel paradigm leveraging the vision-language model (VLM) for both open-set reactive and proactive failure detection. The core of our method is to formulate both tasks as a unified set of spatio-temporal constraint satisfaction problems and use VLM-generated code to evaluate them for real-time monitoring. To enhance the accuracy and efficiency of monitoring, we further introduce constraint elements that abstract constraint-related entities or their parts into compact geometric elements. This approach offers greater generality, simplifies tracking, and facilitates constraint-aware visual programming by leveraging these elements as visual prompts. Experiments show that CaM achieves a 28.7% higher success rate and reduces execution time by 31.8% under severe disturbances compared to baselines across three simulators and a real-world setting. Moreover, CaM can be integrated with open-loop control policies to form closed-loop systems, enabling long-horizon tasks in cluttered scenes with dynamic environments.

北京市昌平区探索星信息技术及软件开发工作室

京ICP备2026059466号
Code-as-Monitor: Constraint-aware Visual Programming for Reactive and Proactive Robotic Failure Detection | TensorX