Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 789
  • Download : 812
DC FieldValueLanguage
dc.contributor.authorKim, Moonzoo-
dc.contributor.authorKang, Kyo Chul-
dc.contributor.authorLee, Hyoungki-
dc.date.accessioned2007-06-07T02:40:06Z-
dc.date.available2007-06-07T02:40:06Z-
dc.date.created2012-02-06-
dc.date.issued2005-04-18-
dc.identifier.citationInternational Conference on Robotics and Automation, v., no., pp.4739 - 4744-
dc.identifier.issn1050-4729-
dc.identifier.urihttp://hdl.handle.net/10203/474-
dc.descriptionProceedings of the 2005 IEEE International Conference on Robotics and Automation Barcelona, Spain, April 2005en
dc.description.abstractHome service robots have received much attention from both academia and industry because home service robots have wide range of potential applications such as home security, cleaning, etc. The robots need to add or update services frequently according to the changing needs of human users. Furthermore, reactive nature of the robots add complexity to develop robot applications. These challenges raise safety issues seriously. Considering that safe operation of home service robots is crucial, current practice of validating robot applications is, however, not mature enough for wide deployment of home service robots. In this paper, we present our experience of developing and formally verifying discrete control software of Samsung Home Robot (SHR) using Esterel. We give a brief background on Esterel, then illuminate our result in formally verifying stopping behavior of SHR. Through the verification, we could detect and solve a feature interaction problem which caused the robot not to stop when a user commanded the robot to stop.-
dc.languageENG-
dc.language.isoen_USen
dc.publisherIEEE-
dc.titleFormal Verification of Robot Movements - a Case Study on Home Service Robot SHR100-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage4739-
dc.citation.endingpage4744-
dc.citation.publicationnameInternational Conference on Robotics and Automation-
dc.identifier.conferencecountrySpain-
dc.identifier.conferencecountrySpain-
dc.contributor.localauthorKim, Moonzoo-
dc.contributor.nonIdAuthorKang, Kyo Chul-
dc.contributor.nonIdAuthorLee, Hyoungki-

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0