@inproceedings{d0957a71259a44589096580d66d17f48,
title = "Formally verifying navigation safety for ground robots",
abstract = "Robots' continuous physical behaviors are controlled by discrete instructions generated using complicated control algorithms. In such a robotic hybrid system, guaranteeing robot's navigation safety can be more challenging than those discrete controls alone or only the continuous robot motions. For a robotic system operating in the real world, navigation safety is critical in order to avoid potential harm for robots or their surrounding environment. We present safety guarantee and obstacle avoidance control algorithms for mobile ground robots modeled by hybrid programs. Using the verification tool KeYmaera, we formally verify that our algorithms satisfy passive or passive friendly safety properties in an environment consisting of stationary/dynamic obstacles. These algorithms allow us to check the navigation safety at the design stage of a robotic system.",
keywords = "collision avoidance, formal methods, mobile ground robot, motion safety",
author = "Manni Zhang and Xinyu Zhang",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 13th IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2016 ; Conference date: 07-08-2016 Through 10-08-2016",
year = "2016",
month = sep,
day = "1",
doi = "10.1109/ICMA.2016.7558699",
language = "英语",
series = "2016 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1000--1005",
booktitle = "2016 IEEE International Conference on Mechatronics and Automation, IEEE ICMA 2016",
address = "美国",
}