Model predictive monitoring of dynamical systems for signal temporal logic specifications
Online monitoring aims to evaluate or to predict, at runtime, whether or not the behaviors of a
system satisfy some desired specification. It plays a key role in safety-critical cyber–physical …
system satisfy some desired specification. It plays a key role in safety-critical cyber–physical …
A Distributed Co-Evolutionary Optimization Method With Motif for Large-Scale IoT Robustness
Fast-advancing mobile communication technologies have increased the scale of the Internet
of Things (IoT) dramatically. However, this poses a tough challenge to the robustness of IoT …
of Things (IoT) dramatically. However, this poses a tough challenge to the robustness of IoT …
RLISR: A Deep Reinforcement Learning based Interactive Service Recommendation Model
M Zhang, Y Qu, Y Li, X Wen, Y Zhou - IEEE Access, 2024 - ieeexplore.ieee.org
An increasing number of services are being offered online, which leads to great difficulties in
selecting appropriate services during mashup development. There have been many service …
selecting appropriate services during mashup development. There have been many service …
CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring
Edge service monitoring is essential to guarantee the healthy of service compositions at
runtime. Current techniques focus mostly on the monitoring of atomic edge services, but they …
runtime. Current techniques focus mostly on the monitoring of atomic edge services, but they …
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
In various service-oriented applications such as distributed autonomous delivery,
healthcare, tourism, transportation, and many others, where service agents need to perform …
healthcare, tourism, transportation, and many others, where service agents need to perform …
A Novel Logic-Based Adaptive Monitoring for Composite Edge Services
With the wide-adoption of edge computing, the functionalities of Internet of Things (IoT)
devices can be encapsulated as edge services, to facilitate domain applications through …
devices can be encapsulated as edge services, to facilitate domain applications through …