lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Software engineering meets control theory
Show others and affiliations
2015 (English)In: Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Piscataway, NJ, USA: IEEE Press, 2015, 71-82 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Piscataway, NJ, USA: IEEE Press, 2015. 71-82 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-51288DOI: 10.1109/SEAMS.2015.12OAI: oai:DiVA.org:lnu-51288DiVA: diva2:914022
Conference
SEAMS '15, 18-19 May, 2015, Florence
Available from: 2016-03-23 Created: 2016-03-23 Last updated: 2017-01-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textPaper at ACM Digital Library

Search in DiVA

By author/editor
Shevtsov, Stepan
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 80 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf