{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:59:04Z","timestamp":1750309144302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,14]],"date-time":"2024-04-14T00:00:00Z","timestamp":1713052800000},"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":[[2024,4,14]]},"DOI":"10.1145\/3643655.3643875","type":"proceedings-article","created":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T11:25:37Z","timestamp":1722943537000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Employing Discrete Controller Synthesis for Developing Systems-of-Systems Controllers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4327-1807","authenticated-orcid":false,"given":"Jialong","family":"Li","sequence":"first","affiliation":[{"name":"Waseda University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5602-3023","authenticated-orcid":false,"given":"Wallace","family":"Manzano","sequence":"additional","affiliation":[{"name":"University of Sao Paulo, Sao Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-0398-4588","authenticated-orcid":false,"given":"Takuto","family":"Yamauchi","sequence":"additional","affiliation":[{"name":"Waseda University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2981-5206","authenticated-orcid":false,"given":"Nobuhiro","family":"Matsuyama","sequence":"additional","affiliation":[{"name":"Waseda University, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7754-4298","authenticated-orcid":false,"given":"Elisa Yumi","family":"Nakagawa","sequence":"additional","affiliation":[{"name":"University of Sao Paulo, University of Sao Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1106-1709","authenticated-orcid":false,"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[{"name":"Tokyo Institute of Technology, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Schneider","author":"Alpern Bowen","year":"1986","unstructured":"Bowen Alpern and Fred B. Schneider. 1986. Recognizing Safety and Liveness. Technical Report. USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SoSE59841.2023.10178586"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606714"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9386-4"},{"key":"e_1_3_2_1_5_1","volume-title":"Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. International Conference on Automated Planning and Scheduling 33","author":"Delgado Tom\u00e1s","year":"2023","unstructured":"Tom\u00e1s Delgado, Marco S\u00e1nchez Sorondo, V\u00edctor Braberman, and Sebasti\u00e1n Uchitel. 2023. Exploration Policies for On-the-Fly Controller Synthesis: A Reinforcement Learning Approach. International Conference on Automated Planning and Scheduling 33, 1 (Jul. 2023), 569--577."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489850.2489855"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"volume-title":"MTSA: The Modal Transition System Analyser. In 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering. 475--476","author":"D'Ippolito N.","key":"e_1_3_2_1_8_1","unstructured":"N. D'Ippolito, D. Fischbein, M. Chechik, and S. Uchitel. 2008. MTSA: The Modal Transition System Analyser. In 2008 23rd IEEE\/ACM International Conference on Automated Software Engineering. 475--476."},{"key":"e_1_3_2_1_9_1","volume-title":"Synthesis of Live Behaviour Models. In 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). 77--86","author":"D'Ippolito Nicol\u00e1s Roque","year":"2010","unstructured":"Nicol\u00e1s Roque D'Ippolito, Victor Braberman, Nir Piterman, and Sebasti\u00e1n Uchitel. 2010. Synthesis of Live Behaviour Models. In 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). 77--86."},{"key":"e_1_3_2_1_10_1","unstructured":"Defense Research Director of Systems Engineering Office of the Director and Engineering. 2010. Systems Engineering Guide for Systems of Systems: Summary. (2010)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2017.01.016"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13173-017-0062-y"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"D. Harel and A. Pnueli. 1989. On the Development of Reactive Systems. Springer-Verlag Berlin Heidelberg 477--498.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cageo.2015.04.001"},{"volume-title":"42nd Latin American Computing Conference (CLEI). 1--12","author":"Lana Cristiane A.","key":"e_1_3_2_1_16_1","unstructured":"Cristiane A. Lana, Nilton M. Souza, M\u00e1rcio E. Delamaro, Elisa Y. Nakagawa, Fl\u00e1vio Oquendo, and Jos\u00e9 C. Maldonado. 2016. Systems-of-systems development: Initiatives, trends, and challenges. In 42nd Latin American Computing Conference (CLEI). 1--12."},{"key":"e_1_3_2_1_17_1","volume-title":"Epstein","author":"Lane Jo Ann","year":"2013","unstructured":"Jo Ann Lane and Daniel J. Epstein. 2013. What is a System of Systems and Why Should I Care. https:\/\/api.semanticscholar.org\/CorpusID:61771797"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUC50751.2020.00012"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE54965.2022.00043"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS-C58168.2023.00029"},{"key":"e_1_3_2_1_21_1","volume-title":"Concurrency: State Models and Java Programs","author":"Magee Jeff","year":"2006","unstructured":"Jeff Magee and Jeff Kramer. 2006. Concurrency: State Models and Java Programs (2nd ed.). Wiley Publishing.","edition":"2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"e_1_3_2_1_23_1","article-title":"Dynamic-SoS","volume":"63","author":"Manzano Wallace","year":"2019","unstructured":"Wallace Manzano, Valdemar Vicente Graciano Neto, and Elisa Yumi Nakagawa. 2019. Dynamic-SoS: An Approach for the Simulation of Systems-of-Systems Dynamic Architectures. Comput. J. 63, 5 (04 2019), 709--731.","journal-title":"Comput. J."},{"key":"e_1_3_2_1_24_1","first-page":"12458","article-title":"A Framework for the Simulation and Validation of Distributed Control Architectures for Technical Systems of Systems","volume":"50","author":"Nazari Shaghayegh","year":"2017","unstructured":"Shaghayegh Nazari, Simon Wenzel, Lukas Samuel Maxeiner, Christian Sonntag, and Sebastian Engell. 2017. A Framework for the Simulation and Validation of Distributed Control Architectures for Technical Systems of Systems. IFACPapersOnLine 50, 1 (2017), 12458--12463. 20th IFAC World Congress.","journal-title":"IFACPapersOnLine"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2499634.2499667"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2020.3017343"},{"volume-title":"IEEE International Conference on System of Systems Engineering (SoSE). 1--6.","author":"Joseph","key":"e_1_3_2_1_27_1","unstructured":"Joseph J. Simpson and Mary J. Simpson. 2009. System of systems complexity identification and control. In IEEE International Conference on System of Systems Engineering (SoSE). 1--6."},{"key":"e_1_3_2_1_28_1","unstructured":"Jordan L. Stern. 2022. Strategically Robust System-Of-Systems Design. Ph. D. Dissertation. United States -- New Jersey. Last updated - 2023-03-08."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6230-9"},{"key":"e_1_3_2_1_30_1","volume-title":"An Analysis Space Reduction for Discrete Controller Synthesis by Stepwise Partial Synthesis. IEICE Transactions on Information and Systems J106-D","author":"Yamauchi Takuto","year":"2023","unstructured":"Takuto Yamauchi and Kenji Tei. 2023. An Analysis Space Reduction for Discrete Controller Synthesis by Stepwise Partial Synthesis. IEICE Transactions on Information and Systems J106-D (2023), 218--230."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00046"}],"event":{"name":"SESoS '24: 12th ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"],"location":"Lisbon Portugal","acronym":"SESoS '24"},"container-title":["Proceedings of the 12th ACM\/IEEE International Workshop on Software Engineering for Systems-of-Systems and Software Ecosystems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643655.3643875","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643655.3643875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:28Z","timestamp":1750287028000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643655.3643875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,14]]},"references-count":32,"alternative-id":["10.1145\/3643655.3643875","10.1145\/3643655"],"URL":"https:\/\/doi.org\/10.1145\/3643655.3643875","relation":{},"subject":[],"published":{"date-parts":[[2024,4,14]]},"assertion":[{"value":"2024-08-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}