{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:40Z","timestamp":1750306060077,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T00:00:00Z","timestamp":1494806400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,5,15]]},"DOI":"10.1145\/3075564.3077628","type":"proceedings-article","created":{"date-parts":[[2017,6,7]],"date-time":"2017-06-07T12:47:29Z","timestamp":1496839649000},"page":"305-312","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Designing Swarms of Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Alessandra","family":"Bagnato","sequence":"first","affiliation":[{"name":"Softeam R&amp;D Department, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Regina Krisztina","family":"B\u00edr\u00f3","sequence":"additional","affiliation":[{"name":"Search-Lab, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Bonino","sequence":"additional","affiliation":[{"name":"Istituto Superiore Mario Boella, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Pastrone","sequence":"additional","affiliation":[{"name":"Istituto Superiore Mario Boella, Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilfried","family":"Elmenreich","sequence":"additional","affiliation":[{"name":"Universitaet Klagenfurt, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9","family":"Reiners","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Applied, Information Technologies, Sankt Augustin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melanie","family":"Schranz","sequence":"additional","affiliation":[{"name":"Lakeside Labs, Klagenfurt, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edin","family":"Arnautovic","sequence":"additional","affiliation":[{"name":"TTTech Computertechnik AG, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,5,15]]},"reference":[{"volume-title":"52nd IEEE Conference on Decision and Control. 436--441","author":"Baldi S.","key":"e_1_3_2_1_2_1","unstructured":"S. Baldi , I. Michailidis , H. Jula , E. B. Kosmatopoulos , and P. A. Ioannou . 2013. A \"plug-n-play\" computationally efficient approach for control design of large-scale nonlinear systems using co-simulation . In 52nd IEEE Conference on Decision and Control. 436--441 . S. Baldi, I. Michailidis, H. Jula, E. B. Kosmatopoulos, and P. A. Ioannou. 2013. A \"plug-n-play\" computationally efficient approach for control design of large-scale nonlinear systems using co-simulation. In 52nd IEEE Conference on Decision and Control. 436--441."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.17"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1561\/1000000001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763581.1763585"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018410.1018847"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"I. Fehervari and W. Elmenreich. 2010. Evolving Neural Network Controllers for a Team of Self-organizing Robots. Journal of Robotics (2010).  I. Fehervari and W. Elmenreich. 2010. Evolving Neural Network Controllers for a Team of Self-organizing Robots. Journal of Robotics (2010).","DOI":"10.1155\/2010\/841286"},{"key":"e_1_3_2_1_8_1","first-page":"24","volume-title":"Emergence and Multi-Agent Systems. In 2005 International Conference on Neural Networks and Brain","volume":"3","author":"Gabbai J. M. E.","unstructured":"J. M. E. Gabbai , Hujun Yin , W. A. Wright , and N. M. Allinson . 2005. Self-Organization , Emergence and Multi-Agent Systems. In 2005 International Conference on Neural Networks and Brain , Vol. 3 . nil 24 - 1863 . J. M. E. Gabbai, Hujun Yin, W. A. Wright, and N. M. Allinson. 2005. Self-Organization, Emergence and Multi-Agent Systems. In 2005 International Conference on Neural Networks and Brain, Vol. 3. nil24-1863."},{"key":"e_1_3_2_1_9_1","unstructured":"Carlos Gershenson. 2007. Design and Control of Self-organizing Systems. (2007). http:\/\/cogprints.org\/5442\/  Carlos Gershenson. 2007. Design and Control of Self-organizing Systems. (2007). http:\/\/cogprints.org\/5442\/"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85029-8_5"},{"key":"e_1_3_2_1_11_1","first-page":"12","article-title":"A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems","volume":"12","author":"Gunes Volkan","year":"2014","unstructured":"Volkan Gunes , Steffen Peter , Tony Givargis , and Frank Vahid . 2014 . A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems . KSII Transactions on Internet and Information Systems (TIIS) 12 , 12 (Dec 2014). Volkan Gunes, Steffen Peter, Tony Givargis, and Frank Vahid. 2014. A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems. KSII Transactions on Internet and Information Systems (TIIS) 12, 12 (Dec 2014).","journal-title":"KSII Transactions on Internet and Information Systems (TIIS)"},{"key":"e_1_3_2_1_12_1","volume-title":"Masaccio: A Formal Model for Embedded Components","author":"Henzinger Thomas A.","year":"2000","unstructured":"Thomas A. Henzinger . 2000 . Masaccio: A Formal Model for Embedded Components . Springer Berlin Heidelberg , Berlin, Heidelberg , 549--563. Thomas A. Henzinger. 2000. Masaccio: A Formal Model for Embedded Components. Springer Berlin Heidelberg, Berlin, Heidelberg, 549--563."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460412.1460435"},{"key":"e_1_3_2_1_14_1","first-page":"1666","article-title":"Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges","volume":"36","author":"Imran Quadri Etienne Brosse","year":"2015","unstructured":"Etienne Brosse Imran Quadri , Alessandra Bagnato and Andrey Sadovykh . 2015 . Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges . Ada User Journal 36 , 4 (2015), 1666 -- 1671 . Etienne Brosse Imran Quadri, Alessandra Bagnato and Andrey Sadovykh. 2015. Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges. Ada User Journal 36, 4 (2015), 1666--1671.","journal-title":"Ada User Journal"},{"volume-title":"7th International Wireless Communications and Mobile Computing Conference. 1666--1671","author":"Jensen J. C.","key":"e_1_3_2_1_15_1","unstructured":"J. C. Jensen , D. H. Chang , and E. A. Lee . 2011. A model-based design methodology for cyber-physical systems . In 7th International Wireless Communications and Mobile Computing Conference. 1666--1671 . J. C. Jensen, D. H. Chang, and E. A. Lee. 2011. A model-based design methodology for cyber-physical systems. In 7th International Wireless Communications and Mobile Computing Conference. 1666--1671."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2912149"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0117-8"},{"volume-title":"Multi-Linear State Space Model Identification for Large Scale Building Systems. In Sustainable Building Conference.","author":"Michailidis Iakovos","key":"e_1_3_2_1_20_1","unstructured":"Iakovos Michailidis , Martin Felix Pichler , and Elias B. Kosmatopoulos . 2013 . Multi-Linear State Space Model Identification for Large Scale Building Systems. In Sustainable Building Conference. Iakovos Michailidis, Martin Felix Pichler, and Elias B. Kosmatopoulos. 2013. Multi-Linear State Space Model Identification for Large Scale Building Systems. In Sustainable Building Conference."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2004.01.001"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 17th IFAC World Congress.","author":"Object Management Group (OMG).","year":"2008","unstructured":"Object Management Group (OMG). 2008 . The UML MARTE Standardized Profile . In Proceedings of the 17th IFAC World Congress. Object Management Group (OMG). 2008. The UML MARTE Standardized Profile. In Proceedings of the 17th IFAC World Congress."},{"key":"e_1_3_2_1_24_1","unstructured":"Object Management Group (OMG). 2011. UML 2.4.1 Superstructure Specification. (2011).  Object Management Group (OMG). 2011. UML 2.4.1 Superstructure Specification. (2011)."},{"key":"e_1_3_2_1_25_1","volume-title":"Version 1.3.","author":"OMG.","year":"2012","unstructured":"OMG. 2012. OMG Systems Modeling Language (OMG SysML) , Version 1.3. ( 2012 ). http:\/\/www.omg.org\/spec\/SysML\/1.3\/ OMG. 2012. OMG Systems Modeling Language (OMG SysML), Version 1.3. (2012). http:\/\/www.omg.org\/spec\/SysML\/1.3\/"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2348832.2348836"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the Eighth International Conference on Artificial Life (ICAL","author":"Quinn Matt","year":"2003","unstructured":"Matt Quinn , Lincoln Smith , Giles Mayley , and Phil Husbands . 2003 . Evolving Teamwork and Role-allocation with Real Robots . In Proceedings of the Eighth International Conference on Artificial Life (ICAL 2003). MIT Press, Cambridge, MA, USA, 302--311. 4 Matt Quinn, Lincoln Smith, Giles Mayley, and Phil Husbands. 2003. Evolving Teamwork and Role-allocation with Real Robots. In Proceedings of the Eighth International Conference on Artificial Life (ICAL 2003). MIT Press, Cambridge, MA, USA, 302--311. 4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/37401.37406"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"e_1_3_2_1_30_1","unstructured":"B. Sch\u00e4tz M. T\u00f6rngren S. Bensalem M. V. Cengarle H. Pfeifer J. McDermid R. Passerone and A. Sangiovanni-Vincentelli. 2015. Research Agenda and Recommendations for Action. Technical Report. CyPhERS \u00e2\u0102\u015e Cyber-Physical European Roadmap & Strategy.  B. Sch\u00e4tz M. T\u00f6rngren S. Bensalem M. V. Cengarle H. Pfeifer J. McDermid R. Passerone and A. Sangiovanni-Vincentelli. 2015. Research Agenda and Recommendations for Action. Technical Report. CyPhERS \u00e2\u0102\u015e Cyber-Physical European Roadmap & Strategy."},{"volume-title":"SCRUM Development Process","author":"Schwaber Ken","key":"e_1_3_2_1_31_1","unstructured":"Ken Schwaber . 1997. SCRUM Development Process . Springer London , London . 117--134 pages. Ken Schwaber. 1997. SCRUM Development Process. Springer London, London. 117--134 pages."},{"volume-title":"Proc. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems. 323--328","author":"Silva B.","key":"e_1_3_2_1_32_1","unstructured":"B. Silva , K. Richeson , B. Krogh , and A. Chutinan . 2000. Modeling and verifying hybrid dynamic systems using CheckMate . In Proc. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems. 323--328 . B. Silva, K. Richeson, B. Krogh, and A. Chutinan. 2000. Modeling and verifying hybrid dynamic systems using CheckMate. In Proc. Conf. on Automation of Mixed Processes: Hybrid Dynamic Systems. 323--328."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2012.27"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2899006"},{"key":"e_1_3_2_1_35_1","volume-title":"Systematically Engineering Self-Organizing Systems: The SodekoVS Approach. ECEASST 17","author":"Sudeikat Jan","year":"2009","unstructured":"Jan Sudeikat , Lars Braubach , Alexander Pokahr , Wolfgang Renz , and Winfried Lamersdorf . 2009. Systematically Engineering Self-Organizing Systems: The SodekoVS Approach. ECEASST 17 ( 2009 ). Jan Sudeikat, Lars Braubach, Alexander Pokahr, Wolfgang Renz, and Winfried Lamersdorf. 2009. Systematically Engineering Self-Organizing Systems: The SodekoVS Approach. ECEASST 17 (2009)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85029-8_4"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1318471.1318549"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1162\/artl_a_00031"}],"event":{"name":"CF '17: Computing Frontiers Conference","sponsor":["SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Siena Italy","acronym":"CF '17"},"container-title":["Proceedings of the Computing Frontiers Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3075564.3077628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3075564.3077628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:42Z","timestamp":1750215822000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3075564.3077628"}},"subtitle":["the H2020 CPSwarm Project: Invited Paper"],"short-title":[],"issued":{"date-parts":[[2017,5,15]]},"references-count":37,"alternative-id":["10.1145\/3075564.3077628","10.1145\/3075564"],"URL":"https:\/\/doi.org\/10.1145\/3075564.3077628","relation":{},"subject":[],"published":{"date-parts":[[2017,5,15]]},"assertion":[{"value":"2017-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}