@inproceedings{fdb532d843b0464abd09f025e971e683,
title = "Collision avoidance for mobile robots with limited sensing and limited information about the environment",
abstract = "This paper addresses the problem of safely navigating a mobile robot with limited sensing capability and limited information about stationary obstacles. We consider two sensing limitations: blind spots between sensors and limited sensing range. We identify a set of constraints on the sensors{\textquoteright} readings whose satisfaction at time t guarantees collision-freedom during the time interval [t, t + Δt]. Here, Δt is a parameter whose value is bounded by a function of the maximum velocity of the robot and the range of the sensors. The constraints are obtained under assumptions about minimum internal angle and minimum edge length of polyhedral obstacles. We apply these constraints in the switching logic of the Simplex architecture to obtain a controller that ensures collision-freedom. Experiments we have conducted are consistent with these claims. To the best of our knowledge, our study is the first to provide runtime assurance that an autonomous mobile robot with limited sensing can navigate without collisions with only limited information about obstacles.",
author = "Dung Phan and Junxing Yang and Denise Ratasich and Radu Grosu and Smolka, \{Scott A.\} and Stoller, \{Scott D.\}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 6th International Conference on Runtime Verification, RV 2015 ; Conference date: 22-09-2015 Through 25-09-2015",
year = "2015",
doi = "10.1007/978-3-319-23820-3\_13",
language = "English",
isbn = "9783319238197",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "201--215",
editor = "Ezio Bartocci and Rupak Majumdar",
booktitle = "Runtime Verification - 6th International Conference, RV 2015, Proceedings",
}