Journal article 513 views 271 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
Swansea University Authors:
Gerrit Niezen , Parisa Eslambolchilar
-
PDF | Version of Record
Download (988.71KB)
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...
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–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.</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 |
11.021648 |