vix.ing · top · new · best · stats · spec

Provably Correct Sensor-driven Path-following for Unicycles using Monotonic Score Functions

2023/03/21 by B. C. Clark, Clark, Benton, Varun Hariprasad +3
Computer Science · Engineering · Physics and Astronomy · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Model Reduction and Neural Networks #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · pdf · doi:10.48550/arxiv.2303.12182

openalex publication_date 2023/03/21 · openalex created_date 2023/03/25 · openalex updated_date 2026/07/28

Abstract

This paper develops a provably stable sensor-driven controller for path-following applications of robots with unicycle kinematics, one specific class of which is the wheeled mobile robot (WMR). The sensor measurement is converted to a scalar value (the score) through some mapping (the score function); the latter may be designed or learned. The score is then mapped to forward and angular velocities using a simple rule with three parameters. The key contribution is that the correctness of this controller only relies on the score function satisfying monotonicity conditions with respect to the underlying state -- local path coordinates -- instead of achieving specific values at all states. The monotonicity conditions may be checked online by moving the WMR, without state estimation, or offline using a generative model of measurements such as in a simulator. Our approach provides both the practicality of a purely measurement-based control and the correctness of state-based guarantees. We demonstrate the effectiveness of this path-following approach on both a simulated and a physical WMR that use a learned score function derived from a binary classifier trained on real depth images.

Related