Enhancing context specifications for dependable adaptive systems: A data mining approach
Context: Adaptive systems are expected to cater for various operational contexts by having
multiple strategies in achieving their objectives and the logic for matching strategies to an …
multiple strategies in achieving their objectives and the logic for matching strategies to an …
Feedback autonomic provisioning for guaranteeing performance in mapreduce systems
Companies have a fast growing amounts of data to process and store, a data explosion is
happening next to us. Currently one of the most common approaches to treat these vast data …
happening next to us. Currently one of the most common approaches to treat these vast data …
Formal non-fragile stability verification of digital control systems with uncertainty
A verification methodology is described and evaluated to formally determine uncertain linear
systems stability in digital controllers with considerations to the implementation aspects. In …
systems stability in digital controllers with considerations to the implementation aspects. In …
What can control theory teach us about assurances in self-adaptive software systems?
Self-adaptive software (SAS) systems monitor their own behavior and autonomously make
dynamic adjustments to maintain desired properties in response to changes in the systems' …
dynamic adjustments to maintain desired properties in response to changes in the systems' …
Modern software cybernetics: New trends
Software cybernetics research is to apply a variety of techniques from cybernetics research
to software engineering research. For more than fifteen years since 2001, there has been a …
to software engineering research. For more than fifteen years since 2001, there has been a …
Strengthening adaptation in cyber-physical systems via meta-adaptation strategies
I Gerostathopoulos, T Bures, P Hnetynka… - ACM Transactions on …, 2017 - dl.acm.org
The dynamic nature of complex Cyber-Physical Systems puts extra requirements on their
functionalities: they not only need to be dependable, but also able to adapt to changing …
functionalities: they not only need to be dependable, but also able to adapt to changing …
Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components
We present DeepDECS, a new method for the synthesis of correct-by-construction software
controllers for autonomous systems that use deep neural network (DNN) classifiers for the …
controllers for autonomous systems that use deep neural network (DNN) classifiers for the …
Software architecture for the cloud–a roadmap towards control-theoretic, model-based cloud architecture
C Pahl, P Jamshidi - … Architecture: 9th European Conference, ECSA 2015 …, 2015 - Springer
The cloud is a distributed architecture providing resources as tiered services. Through the
principles of service-orientation and generally provided using virtualisation, the deployment …
principles of service-orientation and generally provided using virtualisation, the deployment …
A salient object detection framework using linear quadratic regulator controller
In this paper, a novel salient object detection framework based on Linear Quadratic
Regulator (LQR) controller is proposed. The major goal of this research is to take advantage …
Regulator (LQR) controller is proposed. The major goal of this research is to take advantage …
SimCA vs ActivFORMS: comparing control-and architecture-based adaptation on the TAS exemplar
Today customers require software systems to provide particular levels of qualities, while
operating under dynamically changing conditions. These requirements can be met with …
operating under dynamically changing conditions. These requirements can be met with …