No Cover Image

Journal article 226 views 186 downloads

A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata

Gerrit Niezen Orcid Logo, Parisa Eslambolchilar Orcid Logo

IEEE Transactions on Human-Machine Systems, Volume: 46, Issue: 2, Pages: 291 - 302

Swansea University Authors: Gerrit Niezen Orcid Logo, Parisa Eslambolchilar Orcid Logo

DOI (Published version): 10.1109/THMS.2015.2487509

Abstract

This paper describes the design and implementation of a control-theoretic model that can be used to model both the discrete and continuous behavior of a human operator. The human operator model can be used to compare different device user interfaces in terms of human performance. The implemented hum...

Full description

Published in: IEEE Transactions on Human-Machine Systems
Published: 2015
URI: https://cronfa.swan.ac.uk/Record/cronfa24090
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract: This paper describes the design and implementation of a control-theoretic model that can be used to model both the discrete and continuous behavior of a human operator. The human operator model can be used to compare different device user interfaces in terms of human performance. The implemented human operator model combines an ON–OFF control model and a behavior-based hybrid automaton with three controllers. The controllers, defined as continuous, discrete, and fine-tuning behavior, simulate the user’s conceptual model of the user interface. The device model used is that of a commercial syringe pump with chevron keys, described as a formal specification. Results of the human operator model simulation were generated for 20 different numbers obtained from syringe pump log files. The simulation results werecompared over 33 trials to a lab study employing a device based on the formal specification. The result of the simulation shows a significant similarity to the result of the lab study for all the numbers used.
Keywords: automata, control theory, drug delivery, formal verification, human computer interaction, safety, simulation
College: College of Science
Issue: 2
Start Page: 291
End Page: 302