Software Engineering Meets Control Theory

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.

Maggio, MartinaLund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH(Swepub:lu)cont-mmo (författare)
Angelopoulos, Konstantinos (författare)
D'Ippolito, Nicolas (författare)
Gerostathopoulos, Ilias (författare)
Hempel, Andreas Berndt (författare)
Hoffmann, Henry (författare)
Jamshidi, Pooyan (författare)
Kalyvianaki, Evangelia (författare)
Klein, Cristian (författare)
Krikava, Filip (författare)
Misailovic, Sasa (författare)
Papadopoulos, Alessandro VittorioLund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH(Swepub:lu)cont-alp (författare)
Ray, Suprio (författare)
Sharifloo, Amir M. (författare)
Shevtsov, StepanLinnéuniversitetet,Institutionen för datavetenskap (DV),Adaptwise(Swepub:lnu)stshaa (författare)
Ujma, Mateusz (författare)
Vogel, Thomas (författare)
Institutionen för reglerteknikInstitutioner vid LTH (creator_code:org_t)

Ingår i:2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsPiscataway, NJ, USA : IEEE Press, s. 71-829780769555676

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Reglerteknik

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.