No Cover Image

Journal article 420 views 256 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!
first_indexed 2015-11-03T01:52:23Z
last_indexed 2018-02-09T05:03:30Z
id cronfa24090
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2016-03-18T10:25:40.1440475</datestamp><bib-version>v2</bib-version><id>24090</id><entry>2015-11-02</entry><title>A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata</title><swanseaauthors><author><sid>b200bd681f400f63fce389f13cfa6e33</sid><ORCID>0000-0003-3787-8194</ORCID><firstname>Gerrit</firstname><surname>Niezen</surname><name>Gerrit Niezen</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>82ddb5ec487e50883f14e2ea583ef6db</sid><ORCID>0000-0003-4610-1643</ORCID><firstname>Parisa</firstname><surname>Eslambolchilar</surname><name>Parisa Eslambolchilar</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2015-11-02</date><deptcode>SCS</deptcode><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&#x2013;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&#x2019;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.</abstract><type>Journal Article</type><journal>IEEE Transactions on Human-Machine Systems</journal><volume>46</volume><journalNumber>2</journalNumber><paginationStart>291</paginationStart><paginationEnd>302</paginationEnd><publisher/><keywords>automata, control theory, drug delivery, formal verification, human computer interaction, safety, simulation</keywords><publishedDay>26</publishedDay><publishedMonth>10</publishedMonth><publishedYear>2015</publishedYear><publishedDate>2015-10-26</publishedDate><doi>10.1109/THMS.2015.2487509</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><degreesponsorsfunders>RCUK</degreesponsorsfunders><apcterm/><lastEdited>2016-03-18T10:25:40.1440475</lastEdited><Created>2015-11-02T09:43:36.9818786</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Gerrit</firstname><surname>Niezen</surname><orcid>0000-0003-3787-8194</orcid><order>1</order></author><author><firstname>Parisa</firstname><surname>Eslambolchilar</surname><orcid>0000-0003-4610-1643</orcid><order>2</order></author></authors><documents><document><filename>0024090-02112015094714.pdf</filename><originalFilename>07307166.pdf</originalFilename><uploaded>2015-11-02T09:47:14.4030000</uploaded><type>Output</type><contentLength>998324</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><embargoDate>2015-11-02T00:00:00.0000000</embargoDate><documentNotes/><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2016-03-18T10:25:40.1440475 v2 24090 2015-11-02 A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata b200bd681f400f63fce389f13cfa6e33 0000-0003-3787-8194 Gerrit Niezen Gerrit Niezen true false 82ddb5ec487e50883f14e2ea583ef6db 0000-0003-4610-1643 Parisa Eslambolchilar Parisa Eslambolchilar true false 2015-11-02 SCS 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. Journal Article IEEE Transactions on Human-Machine Systems 46 2 291 302 automata, control theory, drug delivery, formal verification, human computer interaction, safety, simulation 26 10 2015 2015-10-26 10.1109/THMS.2015.2487509 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University RCUK 2016-03-18T10:25:40.1440475 2015-11-02T09:43:36.9818786 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Gerrit Niezen 0000-0003-3787-8194 1 Parisa Eslambolchilar 0000-0003-4610-1643 2 0024090-02112015094714.pdf 07307166.pdf 2015-11-02T09:47:14.4030000 Output 998324 application/pdf Version of Record true 2015-11-02T00:00:00.0000000 false
title A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
spellingShingle A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
Gerrit Niezen
Parisa Eslambolchilar
title_short A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
title_full A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
title_fullStr A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
title_full_unstemmed A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
title_sort A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata
author_id_str_mv b200bd681f400f63fce389f13cfa6e33
82ddb5ec487e50883f14e2ea583ef6db
author_id_fullname_str_mv b200bd681f400f63fce389f13cfa6e33_***_Gerrit Niezen
82ddb5ec487e50883f14e2ea583ef6db_***_Parisa Eslambolchilar
author Gerrit Niezen
Parisa Eslambolchilar
author2 Gerrit Niezen
Parisa Eslambolchilar
format Journal article
container_title IEEE Transactions on Human-Machine Systems
container_volume 46
container_issue 2
container_start_page 291
publishDate 2015
institution Swansea University
doi_str_mv 10.1109/THMS.2015.2487509
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
description 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.
published_date 2015-10-26T03:28:31Z
_version_ 1763751086485667840
score 10.99342