Skip to main content

Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment

  • Conference paper
  • First Online:
Runtime Verification

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9333))

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’ readings whose satisfaction at time t guarantees collision-freedom during the time interval \([t, t + \varDelta t]\). Here, \(\varDelta 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Cameras, i.e., sensing based on computer vision, do not interfere with each other but are less common as a basis for navigation due to other disadvantages: cameras depend on good lighting; accurate ranging from stereoscopic vision is impossible on small robots, is generally less accurate than and requires significantly more computational power than ranging from lasers, ultrasound, IR, etc..

References

  1. Alami, R., Krishna, K.M., Siméon, T.: Provably safe motions strategies for mobile robots in dynamic domains. In: Laugier, C., Chatila, R. (eds.) Autonomous Navigation in Dynamic Environments. STAR, vol. 35, pp. 85–106. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Bak, S., Manamcheri, K., Mitra, S., Caccamo, M.: Sandboxing controllers for cyber-physical systems. In: Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS, pp. 3–12. IEEE Computer Society (2011)

    Google Scholar 

  3. Bouraine, S., Fraichard, T., Salhi, H.: Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Auton. Robots 32(3), 267–283 (2012). https://hal.inria.fr/hal-00733913

    Article  Google Scholar 

  4. Mitsch, S., Ghorbal, K., Platzer, A.: On provably safe obstacle avoidance for autonomous robotic ground vehicles. In: Newman, P., Fox, D., Hsu, D. (eds.) Robotics: Science and Systems (2013)

    Google Scholar 

  5. Pan, J., Zhang, L., Manocha, D.: Collision-free and smooth trajectory computation in cluttered environments. Int. J. Rob. Res. 31(10), 1155–1175 (2012). http://dx.doi.org/10.1177/0278364912453186

    Article  Google Scholar 

  6. QuickBot MOOC v2 (2014). http://o-botics.org/robots/quickbot/mooc/v2/

  7. Savkin, A.V., Wang, C.: A reactive algorithm for safe navigation of a wheeled mobile robot among moving obstacles. In: Proceedings of the 2012 IEEE International Conference on Control Applications (CCA), pp. 1567–1571. IEEE (2012)

    Google Scholar 

  8. Seto, D., Krogh, B., Sha, L., Chutinan, A.: The Simplex architecture for safe online control system upgrades. In: Proceedings of the 1998 American Control Conference, vol. 6, pp. 3504–3508 (1998)

    Google Scholar 

  9. Sha, L.: Using simplicity to control complexity. IEEE Softw. 18(4), 20–28 (2001)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

This material is based upon work supported in part by AFOSR Grant FA9550-14-1-0261, NSF Grants IIS-1447549, CCF-0926190, CNS-1421893, CNS-1446832, CCF-1414078, ONR Grant N00014-15-1-2208, and Artemis EMC2 Grant 3887039.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Scott D. Stoller .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Phan, D., Yang, J., Ratasich, D., Grosu, R., Smolka, S.A., Stoller, S.D. (2015). Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. In: Bartocci, E., Majumdar, R. (eds) Runtime Verification. Lecture Notes in Computer Science(), vol 9333. Springer, Cham. https://doi.org/10.1007/978-3-319-23820-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23820-3_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23819-7

  • Online ISBN: 978-3-319-23820-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics