No abstract available.
Proceeding Downloads
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 different self-adaptation approaches. Recently, we developed two approaches ...
MORPH: a reference architecture for configuration and behaviour self-adaptation
An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic ...
Adaptive predictive control for software systems
Self-adaptive software systems are designed to support a number of alternative solutions for fulfilling their requirements. These define an adaptation space. During operation, a self-adaptive system monitors its performance and when it finds that its ...
Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper
Many technological innovations from the research area of dynamic adaptive systems or IT ecosystems are already established in current software systems. Especially cyber-physical systems should benefit by this progress to provide smart applications in ...
Robust degradation and enhancement of robot mission behaviour in unpredictable environments
Temporal logic based approaches that automatically generate controllers have been shown to be useful for mission level planning of motion, surveillance and navigation, among others. These approaches critically rely on the validity of the environment ...
Control theory meets software engineering: the holonic perspective
One of the main challenges towards a software-based theory of control consists in finding an effective method for decomposing monolithic event-based interactive applications into modules. The task is challenging since this requires in turn to decompose ...
Index Terms
- Proceedings of the 1st International Workshop on Control Theory for Software Engineering