Targeting uncertainty in smart CPS by confidence-based logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F21%3A10438253" target="_blank" >RIV/00216208:11320/21:10438253 - isvavai.cz</a>

Result on the web

<a href="https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=QDa.22Kfh9" target="_blank" >https://verso.is.cuni.cz/pub/verso.fpl?fname=obd_publikace_handle&handle=QDa.22Kfh9</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.jss.2021.111065" target="_blank" >10.1016/j.jss.2021.111065</a>

Result language

angličtina

Original language name

Targeting uncertainty in smart CPS by confidence-based logic

Original language description

Since Smart Cyber-Physical Systems (sCPS) are complex and decentralized systems of dynamically cooperating components, architecture-based adaptation is of high importance in their design. In this context, a key challenge is that they typically operate in uncertain environments. Thus, an inherent requirement in sCPS design is the need to deal with the uncertainty of data coming from the environment. Existing approaches often rely on the fact that an adequate model of the environment and/or base probabilities or a prior distribution of data are available. In this paper, we present a specific logic (CB logic), which, based on statistical testing, allows specifying transition guards in architecture-based adaptation without requiring knowledge of the base probabilities or prior knowledge about the data distribution. Applicable in state machines&apos; transition guards in general, CB logic provides a number of operators over time series that simplify the filtering, resampling, and statistics-backed comparisons of time series, making the application of multiple statistical procedures easy for non-experts. The viability of our approach is illustrated on a running example and a case study demonstrating how CB logic simplifies adaptation triggers. Moreover, a library with a Java and C++ implementation of CB logic&apos;s key operators is available on GitHub. (C) 2021 Elsevier Inc. All rights reserved.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/LTE117003" target="_blank" >LTE117003: ESTABLISH - Environmental Sensing To Act for a Better quality of LIfe: Smart Health</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2021

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Journal of Systems and Software

ISSN

0164-1212

e-ISSN

—

Volume of the periodical

181

Issue of the periodical within the volume

Neuveden

Country of publishing house

US - UNITED STATES

Number of pages

15

Pages from-to

111065

UT code for WoS article

000694786100016

EID of the result in the Scopus database

2-s2.0-85113284116