Daily Arxiv

This is a page that curates AI-related papers published worldwide.
All content here is summarized using Google Gemini and operated on a non-profit basis.
Copyright for each paper belongs to the authors and their institutions; please make sure to credit the source when sharing.

Real-Time Model Checking for Closed-Loop Robot Reactive Planning

Created by
  • Haebom

Author

Christopher Chandler, Bernd Porr, Giulia Lafratta, Alice Miller

Outline

This paper presents a novel application that leverages model validation to achieve real-time multi-step planning and obstacle avoidance in a real-world autonomous robot. We develop a compact, custom model validation algorithm that generates plans in the field based on "core" knowledge and attention found in biological agents. This is achieved in real time, on low-power devices, without pre-computed data. It relies on a method of linking ad hoc control systems generated to counteract local environmental disturbances that prevent the autonomous agent from its preferred behavior (or resting state). We utilize a novel discretization technique for 2D LiDAR data that is sensitive to limited changes in the local environment. We apply multi-step planning to dead-end and playground scenarios using model validation via forward depth-first search. Both empirical results and informal demonstrations of two fundamental properties of the approach demonstrate that model validation can be used to generate efficient multi-step plans, improving the performance of reactive agents capable of planning only a single step. This approach serves as an educational case study for developing safe, reliable, and explainable plans in the context of autonomous vehicles.

Takeaways, Limitations

Takeaways:
Real-time multi-stage planning and obstacle avoidance using model validation are presented.
Demonstrating the feasibility of real-time plan generation without precomputation on low-power devices.
A novel approach that mimics the core knowledge and attention mechanisms of biological agents is presented.
Development of a multi-stage planning algorithm that demonstrates improved performance compared to reactive agents.
Provides an educational case study on developing safe, reliable, and explainable plans for autonomous vehicles.
Limitations:
Further research is needed to determine the generalizability of the proposed algorithm and its applicability to various environments.
The theoretical foundation of algorithms constrained by informal proofs needs to be strengthened.
Reliance on 2D LiDAR data may be a limitation.
Possibility of performance degradation in complex environments
Lack of analysis of the computational complexity of the algorithm
👍