In the future, robots will interact with humans in highly variable and unpredictable settings, such as healthcare and home assistance. Frameworks are, therefore, fundamental to analyze and develop interactive robotic applications that can deal by design with the uncertainty of human behavioral and physiological features. Our framework is built upon formal modeling, verification, and learning techniques providing sound mathematical guarantees of human wellbeing preservation throughout the interaction and timely mission completion despite the uncertainties at play. The framework's workflow makes it accessible to professional figures without expertise in formal methods, and the high degree of automation minimizes the manual effort required throughout the toolchain. The development of toolchain has been tested on use cases from the healthcare setting, in which human behavior is unconstrained, and subjects are often in critical mental or physical conditions.

Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior

Lestingi L.;Bersani M. M.;Rossi M.
2022-01-01

Abstract

In the future, robots will interact with humans in highly variable and unpredictable settings, such as healthcare and home assistance. Frameworks are, therefore, fundamental to analyze and develop interactive robotic applications that can deal by design with the uncertainty of human behavioral and physiological features. Our framework is built upon formal modeling, verification, and learning techniques providing sound mathematical guarantees of human wellbeing preservation throughout the interaction and timely mission completion despite the uncertainties at play. The framework's workflow makes it accessible to professional figures without expertise in formal methods, and the high degree of automation minimizes the manual effort required throughout the toolchain. The development of toolchain has been tested on use cases from the healthcare setting, in which human behavior is unconstrained, and subjects are often in critical mental or physical conditions.
2022
Robots, Behavioral sciences, Mathematical models, Service robots, Probabilistic logic, Learning automata, Intelligent systems
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso aperto

Descrizione: Pre-Print
: Pre-Print (o Pre-Refereeing)
Dimensione 4.21 MB
Formato Adobe PDF
4.21 MB Adobe PDF Visualizza/Apri
Model-Driven_Development_of_Service_Robot_Applications_Dealing_With_Uncertain_Human_Behavior.pdf

accesso aperto

: Publisher’s version
Dimensione 763.71 kB
Formato Adobe PDF
763.71 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1223151
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 0
social impact