Software Engineering Meets Control Theory

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir M. Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages71-82
Number of pages12
ISBN (Electronic)9781479919345
DOIs
StatePublished - Aug 12 2015
Event10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015 - Florence, Italy
Duration: May 18 2015May 19 2015

Publication series

NameProceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015

Other

Other10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015
CountryItaly
CityFlorence
Period5/18/155/19/15

Fingerprint

Control theory
Software engineering
Controllers
Adaptive systems
Learning systems

Keywords

  • Adaptive systems
  • Control theory
  • Encoding
  • Mathematical model
  • Software engineering
  • Software systems

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software

Cite this

Filieri, A., Maggio, M., Angelopoulos, K., D'Ippolito, N., Gerostathopoulos, I., Hempel, A. B., ... Vogel, T. (2015). Software Engineering Meets Control Theory. In Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015 (pp. 71-82). [7194659] (Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SEAMS.2015.12

Software Engineering Meets Control Theory. / Filieri, Antonio; Maggio, Martina; Angelopoulos, Konstantinos; D'Ippolito, Nicolas; Gerostathopoulos, Ilias; Hempel, Andreas Berndt; Hoffmann, Henry; Jamshidi, Pooyan; Kalyvianaki, Evangelia; Klein, Cristian; Krikava, Filip; Misailovic, Sasa; Papadopoulos, Alessandro Vittorio; Ray, Suprio; Sharifloo, Amir M.; Shevtsov, Stepan; Ujma, Mateusz; Vogel, Thomas.

Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 71-82 7194659 (Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filieri, A, Maggio, M, Angelopoulos, K, D'Ippolito, N, Gerostathopoulos, I, Hempel, AB, Hoffmann, H, Jamshidi, P, Kalyvianaki, E, Klein, C, Krikava, F, Misailovic, S, Papadopoulos, AV, Ray, S, Sharifloo, AM, Shevtsov, S, Ujma, M & Vogel, T 2015, Software Engineering Meets Control Theory. in Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015., 7194659, Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Institute of Electrical and Electronics Engineers Inc., pp. 71-82, 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, Florence, Italy, 5/18/15. https://doi.org/10.1109/SEAMS.2015.12
Filieri A, Maggio M, Angelopoulos K, D'Ippolito N, Gerostathopoulos I, Hempel AB et al. Software Engineering Meets Control Theory. In Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 71-82. 7194659. (Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015). https://doi.org/10.1109/SEAMS.2015.12
Filieri, Antonio ; Maggio, Martina ; Angelopoulos, Konstantinos ; D'Ippolito, Nicolas ; Gerostathopoulos, Ilias ; Hempel, Andreas Berndt ; Hoffmann, Henry ; Jamshidi, Pooyan ; Kalyvianaki, Evangelia ; Klein, Cristian ; Krikava, Filip ; Misailovic, Sasa ; Papadopoulos, Alessandro Vittorio ; Ray, Suprio ; Sharifloo, Amir M. ; Shevtsov, Stepan ; Ujma, Mateusz ; Vogel, Thomas. / Software Engineering Meets Control Theory. Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 71-82 (Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015).
@inproceedings{851136f2d94c40ce9ed8a50ab81a5fa9,
title = "Software Engineering Meets Control Theory",
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.",
keywords = "Adaptive systems, Control theory, Encoding, Mathematical model, Software engineering, Software systems",
author = "Antonio Filieri and Martina Maggio and Konstantinos Angelopoulos and Nicolas D'Ippolito and Ilias Gerostathopoulos and Hempel, {Andreas Berndt} and Henry Hoffmann and Pooyan Jamshidi and Evangelia Kalyvianaki and Cristian Klein and Filip Krikava and Sasa Misailovic and Papadopoulos, {Alessandro Vittorio} and Suprio Ray and Sharifloo, {Amir M.} and Stepan Shevtsov and Mateusz Ujma and Thomas Vogel",
year = "2015",
month = "8",
day = "12",
doi = "10.1109/SEAMS.2015.12",
language = "English (US)",
series = "Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "71--82",
booktitle = "Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015",
address = "United States",

}

TY - GEN

T1 - Software Engineering Meets Control Theory

AU - Filieri, Antonio

AU - Maggio, Martina

AU - Angelopoulos, Konstantinos

AU - D'Ippolito, Nicolas

AU - Gerostathopoulos, Ilias

AU - Hempel, Andreas Berndt

AU - Hoffmann, Henry

AU - Jamshidi, Pooyan

AU - Kalyvianaki, Evangelia

AU - Klein, Cristian

AU - Krikava, Filip

AU - Misailovic, Sasa

AU - Papadopoulos, Alessandro Vittorio

AU - Ray, Suprio

AU - Sharifloo, Amir M.

AU - Shevtsov, Stepan

AU - Ujma, Mateusz

AU - Vogel, Thomas

PY - 2015/8/12

Y1 - 2015/8/12

N2 - 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.

AB - 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.

KW - Adaptive systems

KW - Control theory

KW - Encoding

KW - Mathematical model

KW - Software engineering

KW - Software systems

UR - http://www.scopus.com/inward/record.url?scp=84953230202&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84953230202&partnerID=8YFLogxK

U2 - 10.1109/SEAMS.2015.12

DO - 10.1109/SEAMS.2015.12

M3 - Conference contribution

AN - SCOPUS:84953230202

T3 - Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015

SP - 71

EP - 82

BT - Proceedings - 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -