About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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

Download662 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
    Copyright © 2017–2025 EAI
    EBSCOProQuestDBLPDOAJPortico
    EAI Logo

    About EAI

    • Who We Are
    • Leadership
    • Research Areas
    • Partners
    • Media Center

    Community

    • Membership
    • Conference
    • Recognition
    • Sponsor Us

    Publish with EAI

    • Publishing
    • Journals
    • Proceedings
    • Books
    • EUDL