Journal article 226 views 186 downloads
A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
IEEE Transactions on Human-Machine Systems, Volume: 46, Issue: 2, Pages: 291 - 302
PDF | Version of RecordDownload (988.71KB)
DOI (Published version): 10.1109/THMS.2015.2487509
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...
|Published in:||IEEE Transactions on Human-Machine Systems|
No Tags, Be the first to tag this record!
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.
automata, control theory, drug delivery, formal verification, human computer interaction, safety, simulation
College of Science