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

Content Provider	IEEE Xplore Digital Library
Author	Moonzoo Kim Kyo Chul Kang Hyoungki Lee
Copyright Year	2005
Description	Author affiliation: Computer Science and Engineering Department Pohang University of Science and Technology Pohang, South Korea; moonzoo@postech.ac.kr (Moonzoo Kim)
Abstract	Home 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.
Starting Page	4739
Ending Page	4744
File Size	263326
Page Count	6
File Format	PDF
ISBN	078038914X
DOI	10.1109/ROBOT.2005.1570852
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-04-18
Publisher Place	Spain
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Formal verification Computer aided software engineering Service robots Robot kinematics Testing Application software Intelligent robots Computer science Humans Safety discrete controller synthesis robot programming formal verification
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal verification of robot movements - a case study on home service robot shr100 (2005)

Formal verification of robot movements - a case study on home service robot shr100 (2005)

Imitation towards service robotics

Agents for cooperative heterogeneous mobile robotics: a case study

Building complete autonomous agents: a case study on categorization

Context-based interaction using pointing movements recognition for an intelligent home service robot

Code reusability tools for programming mobile robots

Re-engineering software architecture of home service robots: a case study

A case study in applying discrete control synthesis to excavator operation

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

Similar Documents

Formal verification of robot movements - a case study on home service robot shr100 (2005)

Formal verification of robot movements - a case study on home service robot shr100 (2005)

Imitation towards service robotics

Agents for cooperative heterogeneous mobile robotics: a case study

Building complete autonomous agents: a case study on categorization

Context-based interaction using pointing movements recognition for an intelligent home service robot

Code reusability tools for programming mobile robots

Re-engineering software architecture of home service robots: a case study

A case study in applying discrete control synthesis to excavator operation

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