{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:55:41Z","timestamp":1770285341840,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106247","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"373-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Automated control of multiple software goals using multiple actuators"],"prefix":"10.1145","author":[{"given":"Martina","family":"Maggio","sequence":"first","affiliation":[{"name":"Lund University, Sweden"}]},{"given":"Alessandro Vittorio","family":"Papadopoulos","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}]},{"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Henry","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"University of Chicago, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897054"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950328"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"e_1_3_2_1_4_1","volume-title":"Model Predictive Control","author":"Camacho E.F.","year":"2004","unstructured":"E.F. Camacho and C. Bordons . Model Predictive Control . Springer London , 2004 . E.F. Camacho and C. Bordons. Model Predictive Control. Springer London, 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/560131"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-008-0032-x"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.60"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.55"},{"key":"e_1_3_2_1_11_1","first-page":"435","volume-title":"2016 USENIX Annual Technical Conference (USENIX ATC 16)","author":"Farrell Anne","year":"2016","unstructured":"Anne Farrell and Henry Hoffmann . Meantime : Achieving both minimal energy and timeliness with approximate computing . In 2016 USENIX Annual Technical Conference (USENIX ATC 16) , pages 421\u2013 435 , Denver, CO , June 2016 . USENIX Association. Anne Farrell and Henry Hoffmann. Meantime: Achieving both minimal energy and timeliness with approximate computing. In 2016 USENIX Annual Technical Conference (USENIX ATC 16), pages 421\u2013435, Denver, CO, June 2016. USENIX Association."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"e_1_3_2_1_14_1","first-page":"211","volume-title":"Proceedings of the 37th International Conference on Software Engineering, ICSE 2015","author":"Filieri Antonio","unstructured":"Antonio Filieri , Lars Grunske , and Alberto Leva . Lightweight adaptive filtering for efficient learning and updating of probabilistic models . In Proceedings of the 37th International Conference on Software Engineering, ICSE 2015 , pages 200\u2013 211 . IEEE, May 2015. Antonio Filieri, Lars Grunske, and Alberto Leva. Lightweight adaptive filtering for efficient learning and updating of probabilistic models. In Proceedings of the 37th International Conference on Software Engineering, ICSE 2015, pages 200\u2013211. IEEE, May 2015."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568272"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786833"},{"key":"e_1_3_2_1_17_1","volume-title":"Thomas Vogel. Software Engineering Meets Control Theory. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Filieri Antonio","year":"2015","unstructured":"Antonio Filieri , Martina Maggio , Konstantinos Angelopoulos , Nicolas D\u2019Ippolito , Ilias Gerostathopoulos , Andreas Hempel , Henry Hoffmann , Pooyan Jamshidi , Evangelia Kalyvianaki , Cristian Klein , Filip Krikava , Sasa Misailovic , Alessandro Vittorio Papadopoulos , Suprio Ray , Molzam Sharifloo , Amir, Stepan Shevtsov , Mateusz Ujma , and Thomas Vogel. Software Engineering Meets Control Theory. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , Firenze, Italy , May 2015 . Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D\u2019Ippolito, Ilias Gerostathopoulos, Andreas Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Molzam Sharifloo, Amir, Stepan Shevtsov, Mateusz Ujma, and Thomas Vogel. Software Engineering Meets Control Theory. In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Firenze, Italy, May 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3024188"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421318"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2014.21"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/557291"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2600116"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/975344"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.32"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815403"},{"key":"e_1_3_2_1_26_1","first-page":"10","volume-title":"EMSOFT","author":"Hoffmann Henry","unstructured":"Henry Hoffmann , Martina Maggio , Marco D. Santambrogio , Alberto Leva , and Anant Agarwal . A generalized software framework for accurate and efficient management of performance goals . EMSOFT , pages 1\u2013 10 . IEEE Press, 2013. Henry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, and Anant Agarwal. A generalized software framework for accurate and efficient management of performance goals. EMSOFT, pages 1\u201310. IEEE Press, 2013."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108419"},{"issue":"12","key":"e_1_3_2_1_28_1","first-page":"3238","article-title":"Embedded online optimization for model predictive control at megahertz rates. Automatic Control","volume":"59","author":"Jerez J.L.","year":"2014","unstructured":"J.L. Jerez , P.J. Goulart , S. Richter , G.A. Constantinides , E.C. Kerrigan , and M. Morari . Embedded online optimization for model predictive control at megahertz rates. Automatic Control , IEEE Transactions on , 59 ( 12 ): 3238 \u2013 3251 , Dec 2014 . J.L. Jerez, P.J. Goulart, S. Richter, G.A. Constantinides, E.C. Kerrigan, and M. Morari. Embedded online optimization for model predictive control at megahertz rates. Automatic Control, IEEE Transactions on, 59(12):3238\u20133251, Dec 2014.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.03.010"},{"key":"e_1_3_2_1_30_1","first-page":"15","volume-title":"HOTOS","author":"Karamanolis Christos","unstructured":"Christos Karamanolis , Magnus Karlsson , and Xiaoyun Zhu . Designing controllable computer systems . HOTOS , pages 9\u2013 15 . USENIX Association, 2005. Christos Karamanolis, Magnus Karlsson, and Xiaoyun Zhu. Designing controllable computer systems. HOTOS, pages 9\u201315. USENIX Association, 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CPSNA.2015.23"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24853-0"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2008.31"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-007-0022-y"},{"key":"e_1_3_2_1_36_1","volume-title":"CRC","author":"Levine William S","year":"1996","unstructured":"William S Levine . The control handbook . CRC , 1996 . William S Levine. The control handbook. CRC, 1996."},{"key":"e_1_3_2_1_37_1","volume-title":"System Identification: Theory for the User","author":"Ljung Lennart","year":"1999","unstructured":"Lennart Ljung . System Identification: Theory for the User . Prentice Hall PTR , Upper Saddle River, NJ, USA, 1999 . Lennart Ljung. System Identification: Theory for the User. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1999."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.123"},{"key":"e_1_3_2_1_39_1","volume-title":"With Constraints","author":"Maciejowski J.M.","year":"2002","unstructured":"J.M. Maciejowski . Predictive Control : With Constraints . Prentice Hall , 2002 . J.M. Maciejowski. Predictive Control: With Constraints. Prentice Hall, 2002."},{"key":"e_1_3_2_1_40_1","first-page":"3741","volume-title":"CDC","author":"Maggio M.","unstructured":"M. Maggio , H. Hoffmann , M.D. Santambrogio , A Agarwal , and A Leva . Controlling software applications via resource allocation within the heartbeats framework . CDC , pages 3736\u2013 3741 . IEEE, 2010. M. Maggio, H. Hoffmann, M.D. Santambrogio, A Agarwal, and A Leva. Controlling software applications via resource allocation within the heartbeats framework. CDC, pages 3736\u20133741. IEEE, 2010."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2177499"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.16"},{"issue":"1","key":"e_1_3_2_1_43_1","first-page":"1","article-title":"Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact)","volume":"3","author":"Maggio Martina","year":"2017","unstructured":"Martina Maggio , Alessandro Vittorio Papadopoulos , Antonio Filieri , and Henry Hoffmann . Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact) . Dagstuhl Artifacts Series , 3 ( 1 ):2: 1 \u2013 2 :3, 2017 . Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri, and Henry Hoffmann. Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact). Dagstuhl Artifacts Series, 3(1):2:1\u20132:3, 2017.","journal-title":"Dagstuhl Artifacts Series"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086288"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2666795.2666803"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.63"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176389"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950301"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2903381"},{"key":"e_1_3_2_1_52_1","volume-title":"IET, 7(10)","author":"van der Veen G.","year":"2013","unstructured":"G. van der Veen , J.-W. van Wingerden , M. Bergamasco , M. Lovera , and M. Verhaegen . Closed-loop subspace identification methods: an overview. Control Theory Applications , IET, 7(10) , July 2013 . G. van der Veen, J.-W. van Wingerden, M. Bergamasco, M. Lovera, and M. Verhaegen. Closed-loop subspace identification methods: an overview. Control Theory Applications, IET, 7(10), July 2013."},{"key":"e_1_3_2_1_53_1","volume-title":"Filtering and System Identification: A Least Squares Approach","author":"Verhaegen Michel","year":"2012","unstructured":"Michel Verhaegen and Vincent Verdult . Filtering and System Identification: A Least Squares Approach . Cambridge University Press , New York, NY, USA , 2012 . Michel Verhaegen and Vincent Verdult. Filtering and System Identification: A Least Squares Approach. Cambridge University Press, New York, NY, USA, 2012."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2015.41"},{"issue":"2","key":"e_1_3_2_1_55_1","article-title":"Fast model predictive control using online optimization. Control Systems Technology","volume":"18","author":"Wang Yang","year":"2010","unstructured":"Yang Wang and S. Boyd . Fast model predictive control using online optimization. Control Systems Technology , IEEE Transactions on , 18 ( 2 ), March 2010 . Yang Wang and S. Boyd. Fast model predictive control using online optimization. Control Systems Technology, IEEE Transactions on, 18(2), March 2010.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2003.819861"},{"key":"e_1_3_2_1_57_1","first-page":"79","volume-title":"Didac Gil de la Iglesia, and Tanvir Ahmad. A survey of formal methods in self-adaptive systems. C3S2E","author":"Weyns Danny","year":"2012","unstructured":"Danny Weyns , M. Usman Iftikhar , Didac Gil de la Iglesia, and Tanvir Ahmad. A survey of formal methods in self-adaptive systems. C3S2E , pages 67\u2013 79 , 2012 . Danny Weyns, M. Usman Iftikhar, Didac Gil de la Iglesia, and Tanvir Ahmad. A survey of formal methods in self-adaptive systems. C3S2E, pages 67\u201379, 2012."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970322"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555611"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.11.019"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2012.74"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Paderborn Germany","acronym":"ESEC\/FSE'17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106247","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:36Z","timestamp":1750217436000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":61,"alternative-id":["10.1145\/3106237.3106247","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106247","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}