arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2103.04445cs.ROcs.SYeess.SY

Correct-by-Construction Navigation Functions with Application to Sensor Based Robot Navigation

Cyprus University of Technology(塞浦路斯理工大学);Technion Israel Institute of Technology(以色列理工学院)

Savvas G. Loizou, Elon D. Rimon

英文摘要:

This paper brings together the concepts of navigation transformation and harmonic functions to form navigation functions that are correct-by-construction in the sense that no tuning is required. The form of the navigation function is explicitly related to the number of obstacles in the environment. This enables application of navigation functions for autonomous robot navigation in partially or fully unknown environments, with the capability of on-the-fly adjustment of the navigation function when new obstacles are discovered by the robot. Appropriate navigation controllers, applicable to robots with local, sector bounded sensing, are presented and analyzed for a~kinematic point-mass robot and then for the dynamic point-mass robot system. The closed form nature of the proposed navigation scheme provides for online, fast-feedback based navigation. In addition to the analytic guarantees, simulation studies are presented to verify the effectiveness of the methodology.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑