Home   Research Publications Members Related Software
IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
Publication no #562   Download bibtex file Type :   Html | Bib | Both
Add to my selection
      AUTHOR = {C\'{a}mara, Javier and Peng, Wenxin and Garlan, David and Schmerl, Bradley},
      TITLE = {Reasoning about Sensing Uncertainty and its Reduction in Decision-Making for Self-Adaptation},
      YEAR = {2018},
      MONTH = {1 December},
      JOURNAL = {Science of Computer Programming},
      VOLUME = {167},
      PAGES = {51-69},
      PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/scp-uncertainty.pdf},
      ABSTRACT = {Adaptive systems are expected to adapt to unanticipated run-time events using imperfect information about themselves, their environment, and goals. This entails handling the effects of uncertainties in decision-making, which are not always considered as a first-class concern. This paper contributes a formal analysis technique that explicitly considers uncertainty in sensing when reasoning about the best way to adapt, together with uncertainty reduction mechanisms to improve system utility. We illustrate our approach on a Denial of Service (DoS) attack scenario and present results that demonstrate the benefits of uncertainty-aware decision-making in comparison to using an uncertainty-ignorant approach, both in the presence and absence of uncertainty reduction mechanisms.},
      KEYWORDS = {Formal Methods, Self-adaptation}
    Created: 2018-01-05 13:07:13     Modified: 2018-11-19 12:45:41
Feedback: ABLE Webmaster
Last modified: Mon February 12 2018 11:21:51