Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty

Krishnendu Ghosh

10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

Research Article

Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty

Download554 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.22-3-2017.152416,
    author={Krishnendu Ghosh},
    title={Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty},
    proceedings={10th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)},
    publisher={EAI},
    proceedings_a={BICT},
    year={2017},
    month={3},
    keywords={model abstractions probababilistic model checking device-delay uncertainty},
    doi={10.4108/eai.22-3-2017.152416}
}

Krishnendu Ghosh
Year: 2017
Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty
BICT
EAI
DOI: 10.4108/eai.22-3-2017.152416

Krishnendu Ghosh^,*

*Contact email: ghoshk@miamioh.edu

Abstract

Formal analysis of user-device interaction is key to create correct and usable interface design in cyber-physical systems. In this work, a novel formalism is created to address cognitive errors, in particular device-delay error arising during user-device interaction. The formalism describes a resource-based approach to fulfill the goals of a user under uncertainty. Computational feasibility of the formalism is analyzed using probabilistic model checking on a prototype of a vending machine.

Keywords: model abstractions probababilistic model checking device-delay uncertainty

Published: 2017-03-22
Publisher: EAI

: http://dx.doi.org/10.4108/eai.22-3-2017.152416

Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty

Abstract

About EAI

Community

Publish with EAI