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

Download434 downloads
  • @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.