Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

A human operator model for medical device interaction using behavior-based hybrid automata

Niezen, Gerrit and Eslambolchilar, Parisa ORCID: 2016. A human operator model for medical device interaction using behavior-based hybrid automata. IEEE Transactions on Human-Machine Systems 46 (2) , pp. 291-302. 10.1109/THMS.2015.2487509

[thumbnail of 07307166.pdf] PDF - Published Version
Available under License Creative Commons Attribution.

Download (999kB)


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 behaviour, 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 were compared 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

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Uncontrolled Keywords: Switches, Automata, Analytical models, Atmospheric modelling, Human factors, Mathematical model, Human computer interaction
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
ISSN: 2168-2291
Date of First Compliant Deposit: 25 November 2020
Date of Acceptance: 10 September 2015
Last Modified: 21 Oct 2022 07:10

Citation Data

Cited 6 times in Scopus. View in Scopus. Powered By Scopus® Data

Actions (repository staff only)

Edit Item Edit Item


Downloads per month over past year

View more statistics