Quantitative monitoring can be universal and approximate: For every finite sequence of
observations, the specification provides a value and the monitor outputs a best-effort …

We live in an age of extensive scientific, technological, and paradigmatic convergence
(Franz, 2011). One of the major current trends is the integration of social science, cognitive …

Cyber-physical systems need self-adaptation as a mean to autonomously deal with
changes. For runtime adaptation, a cyber-physical system repeatedly monitors the …

Ubiquitous and perpetual nature of cyber-physical systems (CPSs) have made them mostly
battery-operated in many applications. The batteries need recharge via environmental …

Context: Engineering self-adaptive systems to guarantee the required quality properties is
challenging and particularly in presence of uncertainties. Such uncertainties may occur in a …

Self-adaptive systems provide the ability of autonomous decision-making for handling the
changes affecting the functionalities of cyber-physical systems. A self-adaptive system …

This paper presents the adaptive software security model, an innovative approach
integrating the MAPE-K loop and the Software Development Life Cycle (SDLC). It proactively …

Communication Protocol is an important part of industrial CPS, which plays a very crucial
role for CPS to complete its task. Runtime stochastic model checking is widely used to verify …

The autonomous systems need to decide how to react to the changes at runtime efficiently.
The ability to rigorously analyze the environment and the system together is theoretically …

Within classical MAPE-K control-loop structures for adaptive systems, knowledge gathered
from monitoring the system and its environment is used to guide adaptation decisions at …