Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study

© 2021 Kheng Lee Koay et al., published by De Gruyter. This work is licensed under the Creative Commons Attribution 4.0 International License. https://creativecommons.org/licenses/by/4.0/When studying the use of assistive robots in home environments, and especially how such robots can be personalised to meet the needs of the resident, key concerns are issues relating to behaviour verification, behaviour interference and safety. Here, personalisation refers to the teaching of new robot behaviours by both technical and non-technical end users. In this article we consider the issue of behaviour interference caused by situations where newly taught robot behaviours may affect or be affected by existing behaviours and thus, those behaviours will not or might not ever be executed. We focus in particular on how such situations can be detected and presented to the user. We describe the human-robot behaviour teaching system that we developed as well as the formal behaviour checking methods used. The online use of behaviour checking is demonstrated, based on static analysis of behaviours during the operation of the robot, and evaluated in a user study. We conducted a proof of concept human-robot interaction study with an autonomous, multi-purpose robot operating within a smart home environment. Twenty participants individually taught the robot behaviours according to instructions they were given, some of which caused interference with other behaviours. A mechanism for detecting behaviour interference provided feedback to participants and suggestions on how to resolve those conflicts. We assessed the participants’ views on detected interference as reported by the behaviour teaching system. Results indicate that interference warnings given to participants during teaching provoked an understanding of the issue. We did not find a significant influence of participants’ technical background. These results highlight a promising path towards verification and validation of assistive home companion robots that allow end-user personalisation.Peer reviewe

Design Your Life: User-Initiated Design of Technology to Support Independent Living of Young Autistic Adults

This paper describes the development of and first experiences with 'Design Your Life': a novel method aimed at user-initiated design of technologies supporting young autistic adults in independent living. A conceptual, phenomenological background resulting in four core principles is described. Taking a practice-oriented Research-through-Design approach, three co-design case studies were conducted, in which promising methods from the co-design literature with the lived experiences and practical contexts of autistic young adults and their caregivers is contrasted. This explorative inquiry provided some first insights into several design directions of the Design Your Life-process. In a series of new case studies that shall follow, the Design Your Life-method will be iteratively developed, refined and ultimately validated in practice

A Review on Current and Potential Applications of Robotics In Mental Health Care

Robotics technology is most commonly associated with robots, that are physically embodied systems capable of causing physical change in the world. Robots execute this transformation via effectors that either move the robot itself (locomotion) or move items in the environment (manipulation), and they frequently make judgments based on data from sensors. Robot autonomy can range from totally teleoperated to fully autonomous (the robot is entirely independent). The word robotics technology also encompasses related technologies, such as sensor systems, data processing algorithms, and so forth.  While in recent years this has evolved outward, with an emphasis on difficulties connected to dealing with actual people in the real world. This transition has been referred to as human-centered robotics in the literature, and a developing topic in the last decade focused on difficulties in this arena is known as human robot interaction (HRI). The application of robotics technology in mental health treatment is still in its early stages, but it offers a potentially beneficial tool in the professional's arsenal

Learning to Self-Manage by Intelligent Monitoring, Prediction and Intervention

Despite the growing prevalence of multimorbidities, current digital self-management approaches still prioritise single conditions. The future of out-of-hospital care requires researchers to expand their horizons; integrated assistive technologies should enable people to live their life well regardless of their chronic conditions. Yet, many of the current digital self-management technologies are not equipped to handle this problem. In this position paper, we suggest the solution for these issues is a model-aware and data-agnostic platform formed on the basis of a tailored self-management plan and three integral concepts - Monitoring (M) multiple information sources to empower Predictions (P) and trigger intelligent Interventions (I). Here we present our ideas for the formation of such a platform, and its potential impact on quality of life for sufferers of chronic conditions

Trusting Intentions Towards Robots in Healthcare: A Theoretical Framework

Within the next decade, robots (intelligent agents that are able to perform tasks normally requiring human intelligence) may become more popular when delivering healthcare services to patients. The use of robots in this way may be daunting for some members of the public, who may not understand this technology and deem it untrustworthy. Others may be excited to use and trust robots to support their healthcare needs. It is argued that (1) context plays an integral role in Information Systems (IS) research and (2) technology demonstrating anthropomorphic or system-like features impact the extent to which an individual trusts the technology. Yet, there is little research which integrates these two concepts within one study in healthcare. To address this gap, we develop a theoretical framework that considers trusting intentions towards robots based on the interaction of humans and robots within the contextual landscape of delivering healthcare services. This article presents a theory-based approach to developing effective trustworthy intelligent agents at the intersection of IS and Healthcare

Future bathroom: A study of user-centred design principles affecting usability, safety and satisfaction in bathrooms for people living with disabilities

Research and development work relating to assistive technology 2010-11 (Department of Health) Presented to Parliament pursuant to Section 22 of the Chronically Sick and Disabled Persons Act 197