SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Ray Suprio)
 

Sökning: WFRF:(Ray Suprio) > (2015) > Software Engineerin...

LIBRIS Formathandbok  (Information om MARC21)
FältnamnIndikatorerMetadata
00004013naa a2200553 4500
001oai:lup.lub.lu.se:992f4aee-ce17-4e28-9ee3-fe2bf9bdeec1
003SwePub
008160404s2015 | |||||||||||000 ||eng|
009oai:DiVA.org:lnu-51288
024a https://lup.lub.lu.se/record/52399592 URI
024a https://doi.org/10.1109/SEAMS.2015.122 DOI
024a https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-512882 URI
040 a (SwePub)lud (SwePub)lnu
041 a engb eng
042 9 SwePub
072 7a kon2 swepub-publicationtype
072 7a ref2 swepub-contenttype
100a Filieri, Antonio4 aut
2451 0a Software Engineering Meets Control Theory
264 1a Piscataway, NJ, USA :b IEEE Press,c 2015
520 a 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.
650 7a TEKNIK OCH TEKNOLOGIERx Elektroteknik och elektronikx Reglerteknik0 (SwePub)202022 hsv//swe
650 7a ENGINEERING AND TECHNOLOGYx Electrical Engineering, Electronic Engineering, Information Engineeringx Control Engineering0 (SwePub)202022 hsv//eng
650 7a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe
650 7a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng
700a Maggio, Martinau Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-mmo
700a Angelopoulos, Konstantinos4 aut
700a D'Ippolito, Nicolas4 aut
700a Gerostathopoulos, Ilias4 aut
700a Hempel, Andreas Berndt4 aut
700a Hoffmann, Henry4 aut
700a Jamshidi, Pooyan4 aut
700a Kalyvianaki, Evangelia4 aut
700a Klein, Cristian4 aut
700a Krikava, Filip4 aut
700a Misailovic, Sasa4 aut
700a Papadopoulos, Alessandro Vittoriou Lund University,Lunds universitet,Institutionen för reglerteknik,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Automatic Control,Departments at LTH,Faculty of Engineering, LTH4 aut0 (Swepub:lu)cont-alp
700a Ray, Suprio4 aut
700a Sharifloo, Amir M.4 aut
700a Shevtsov, Stepanu Linnéuniversitetet,Institutionen för datavetenskap (DV),Adaptwise4 aut0 (Swepub:lnu)stshaa
700a Ujma, Mateusz4 aut
700a Vogel, Thomas4 aut
710a Institutionen för reglerteknikb Institutioner vid LTH4 org
773t 2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systemsd Piscataway, NJ, USA : IEEE Pressg , s. 71-82q <71-82z 9780769555676
856u http://dx.doi.org/10.1109/SEAMS.2015.12x freey FULLTEXT
856u http://dl.acm.org/citation.cfm?id=2821370y Paper at ACM Digital Library
8564 8u https://lup.lub.lu.se/record/5239959
8564 8u https://doi.org/10.1109/SEAMS.2015.12
8564 8u https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-51288

Hitta via bibliotek

Till lärosätets databas

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.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy