Webbläsaren som du använder stöds inte av denna webbplats. Alla versioner av Internet Explorer stöds inte längre, av oss eller Microsoft (läs mer här: * https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Var god och använd en modern webbläsare för att ta del av denna webbplats, som t.ex. nyaste versioner av Edge, Chrome, Firefox eller Safari osv.

Software Engineering Meets Control Theory

In English

Författare

  • 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
Visa allt

Summary, in English

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.

Publiceringsår

2015

Språk

Engelska

Sidor

71-82

Publikation/Tidskrift/Serie

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

Dokumenttyp

Konferensbidrag

Ämne

  • Control Engineering

Conference name

10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Conference date

2015-05-18

Status

Published

Forskningsgrupp

  • LCCC

ISBN/ISSN/Övrigt

  • ISBN: 978-0-7695-5567-6