Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Software Engineering Meets Control Theory

Filieri, Antonio ; Maggio, Martina LU ; Angelopoulos, Konstantinos ; D'Ippolito, Nicolas ; Gerostathopoulos, Ilias ; Hempel, Andreas Berndt ; Hoffmann, Henry ; Jamshidi, Pooyan ; Kalyvianaki, Evangelia and Klein, Cristian , et al. (2015) 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems p.71-82
Abstract
The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic... (More)
The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis. (Less)
Please use this url to cite or link to this publication:
author
; ; ; ; ; ; ; ; and , et al. (More)
; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; and (Less)
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
pages
71 - 82
conference name
10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
conference dates
2015-05-18
external identifiers
  • scopus:84953230202
ISBN
978-0-7695-5567-6
DOI
10.1109/SEAMS.2015.12
language
English
LU publication?
yes
id
992f4aee-ce17-4e28-9ee3-fe2bf9bdeec1 (old id 5239959)
date added to LUP
2016-04-04 14:00:56
date last changed
2022-05-17 08:04:54
@inproceedings{992f4aee-ce17-4e28-9ee3-fe2bf9bdeec1,
  abstract     = {{The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.}},
  author       = {{Filieri, Antonio and Maggio, Martina and Angelopoulos, Konstantinos and D'Ippolito, Nicolas and Gerostathopoulos, Ilias and Hempel, Andreas Berndt and Hoffmann, Henry and Jamshidi, Pooyan and Kalyvianaki, Evangelia and Klein, Cristian and Krikava, Filip and Misailovic, Sasa and Papadopoulos, Alessandro Vittorio and Ray, Suprio and Sharifloo, Amir M. and Shevtsov, Stepan and Ujma, Mateusz and Vogel, Thomas}},
  booktitle    = {{2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems}},
  isbn         = {{978-0-7695-5567-6}},
  language     = {{eng}},
  pages        = {{71--82}},
  title        = {{Software Engineering Meets Control Theory}},
  url          = {{https://lup.lub.lu.se/search/files/6259997/8515030.pdf}},
  doi          = {{10.1109/SEAMS.2015.12}},
  year         = {{2015}},
}