Research Article
Model abstractions of Device-Delay for Interactive Cyber-Physical Systems under Uncertainty
@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
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.
Copyright © 2017–2025 EAI
