{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T04:38:35Z","timestamp":1771389515569,"version":"3.50.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031493416","type":"print"},{"value":"9783031493423","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,2]],"date-time":"2023-12-02T00:00:00Z","timestamp":1701475200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,2]],"date-time":"2023-12-02T00:00:00Z","timestamp":1701475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-49342-3_7","type":"book-chapter","created":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T09:02:27Z","timestamp":1701421347000},"page":"113-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Code Generation for\u00a0DES Controllers Modeled as\u00a0Finite State Machines"],"prefix":"10.1007","author":[{"given":"Tiago","family":"Possato","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o H.","family":"Valentini","sequence":"additional","affiliation":[]},{"given":"Luiz F. P.","family":"Southier","sequence":"additional","affiliation":[]},{"given":"Marcelo","family":"Teixeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,12,2]]},"reference":[{"key":"7_CR1","unstructured":"Akesson, K., et al.: Supremica (2019). http:\/\/www.supremica.org\/"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"5831","DOI":"10.1016\/j.ifacol.2017.08.540","volume":"50","author":"LV Alves","year":"2017","unstructured":"Alves, L.V., Martins, L.R., Pena, P.N.: UltraDES - a library for modeling, analysis and control of DES. IFAC-PapersOnLine 50, 5831\u20135836 (2017). https:\/\/doi.org\/10.1016\/j.ifacol.2017.08.540","journal-title":"IFAC-PapersOnLine"},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Assmann, J.V., Gotz, M., Muller, I., Rettberg, A.: Distributed embedded platform for controllers following the SCT. In: International Conference on Electrical, Communication, and Computer Engineering, pp. 1\u20136. IEEE (2021). https:\/\/doi.org\/10.1109\/ICECCE52056.2021.9514113","DOI":"10.1109\/ICECCE52056.2021.9514113"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1109\/TCST.2006.890281","volume":"15","author":"F Basile","year":"2007","unstructured":"Basile, F., Chiacchio, P.: On the implementation of supervised control of discrete event systems. IEEE Trans. Control Syst. Technol. 15, 725\u2013739 (2007). https:\/\/doi.org\/10.1109\/TCST.2006.890281","journal-title":"IEEE Trans. Control Syst. Technol."},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/978-3-642-54862-8_48","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"DA van Beek","year":"2014","unstructured":"van Beek, D.A., et al.: CIF 3: model-based engineering of supervisory controllers. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 575\u2013580. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_48"},{"key":"7_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to Discrete Event Systems","author":"CG Cassandras","year":"2021","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 3rd edn. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72274-6","edition":"3"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"349","DOI":"10.3182\/20121003-3-MX-4033.00056","volume":"45","author":"LB Clavijo","year":"2012","unstructured":"Clavijo, L.B., Basilio, J.C., Carvalho, L.K.: DESLAB: a scientific computing program for analysis and synthesis of discrete-event systems. IFAC Proc. Vol. 45, 349\u2013355 (2012). https:\/\/doi.org\/10.3182\/20121003-3-MX-4033.00056","journal-title":"IFAC Proc. Vol."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2021.3134934","volume":"55","author":"W Fokkink","year":"2022","unstructured":"Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F., Rooda, J.: Supervisor synthesis: bridging theory and practice. Computer 55, 48\u201354 (2022). https:\/\/doi.org\/10.1109\/MC.2021.3134934","journal-title":"Computer"},{"issue":"10","key":"7_CR9","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/MC.2021.3134934","volume":"55","author":"W Fokkink","year":"2022","unstructured":"Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F., Rooda, J.: Supervisor synthesis: bridging theory and practice. Computer 55(10), 48\u201354 (2022)","journal-title":"Computer"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Gobe, F., Timmermanns, T., Ney, O., Kowalewski, S.: Synthesis tool for automation controller supervision. In: International Workshop on Discrete Event Systems, pp. 424\u2013431. IEEE (2016). https:\/\/doi.org\/10.1109\/WODES.2016.7497883","DOI":"10.1109\/WODES.2016.7497883"},{"issue":"5","key":"7_CR11","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1109\/JPROC.2015.2510665","volume":"104","author":"R Harrison","year":"2016","unstructured":"Harrison, R., Vera, D., Ahmad, B.: Engineering methods and tools for cyber-physical automation systems. Proc. IEEE 104(5), 973\u2013985 (2016)","journal-title":"Proc. IEEE"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s00170-006-0843-5","volume":"36","author":"IT Hasdemir","year":"2008","unstructured":"Hasdemir, I.T., Kurtulan, S., Goren, L.: An implementation methodology for supervisory control theory. Int. J. Adv. Manuf. Technol. 36, 373\u2013385 (2008). https:\/\/doi.org\/10.1007\/s00170-006-0843-5","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Leal, A.B., da Cruz, D.L.L., da S. Hounsell, M.: Supervisory control implementation into programmable logic controllers. In: International Conference on Emerging Technologies and Factory Automation, pp. 1\u20137. IEEE (2009). https:\/\/doi.org\/10.1109\/ETFA.2009.5347090","DOI":"10.1109\/ETFA.2009.5347090"},{"issue":"5","key":"7_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/MIC.2016.103","volume":"20","author":"S Litchfield","year":"2016","unstructured":"Litchfield, S., Formby, D., Rogers, J., Meliopoulos, S., Beyah, R.: Rethinking the honeypot for cyber-physical systems. IEEE Internet Comput. 20(5), 9\u201317 (2016)","journal-title":"IEEE Internet Comput."},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/JAS.2017.7510349","volume":"4","author":"Y Liu","year":"2017","unstructured":"Liu, Y., Peng, Y., Wang, B., Yao, S., Liu, Z.: Review on cyber-physical systems. IEEE\/CAA J. Automatica Sinica 4(1), 27\u201340 (2017)","journal-title":"IEEE\/CAA J. Automatica Sinica"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Ljungkrantz, O., Akesson, K., Richardsson, J., Andersson, K.: Implementing a control system framework for automatic generation of manufacturing cell controllers. In: Proceedings 2007 IEEE International Conference on Robotics and Automation, pp. 674\u2013679. IEEE (2007). https:\/\/doi.org\/10.1109\/ROBOT.2007.363064","DOI":"10.1109\/ROBOT.2007.363064"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"5794","DOI":"10.1016\/j.ifacol.2017.08.427","volume":"50","author":"R Malik","year":"2017","unstructured":"Malik, R., \u00c5kesson, K., Flordal, H., Fabian, M.: Supremica-an efficient tool for large-scale discrete event systems. IFAC-PapersOnLine 50, 5794\u20135799 (2017)","journal-title":"IFAC-PapersOnLine"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"7506","DOI":"10.3390\/app12157506","volume":"12","author":"D McCarthy","year":"2022","unstructured":"McCarthy, D., McMorrow, D., O\u2019Dowd, N.P., McCarthy, C.T., Hinchy, E.P.: A model-based approach to automated validation and generation of plc code for manufacturing equipment in regulated environments. Appl. Sci. 12, 7506 (2022). https:\/\/doi.org\/10.3390\/app12157506","journal-title":"Appl. Sci."},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.automatica.2016.10.012","volume":"76","author":"S Mohajerani","year":"2017","unstructured":"Mohajerani, S., Malik, R., Fabian, M.: Compositional synthesis of supervisors in the form of state machines and state maps. Automatica 76, 277\u2013281 (2017)","journal-title":"Automatica"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Moor, T., Schmidt, K., Perk, S.: libFAUDES - An open source C++ library for discrete event systems. In: 2008 9th International Workshop on Discrete Event Systems, pp. 125\u2013130. IEEE (2008). https:\/\/doi.org\/10.1109\/WODES.2008.4605933","DOI":"10.1109\/WODES.2008.4605933"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.ifacol.2015.06.491","volume":"48","author":"LP Pinheiro","year":"2015","unstructured":"Pinheiro, L.P., Lopes, Y.K., Leal, A.B., Junior, R.S.U.R.: Nadzoru: a software tool for supervisory control of DES. IFAC-PapersOnLine 48, 182\u2013187 (2015). https:\/\/doi.org\/10.1016\/j.ifacol.2015.06.491","journal-title":"IFAC-PapersOnLine"},{"key":"7_CR22","unstructured":"Possato, T.: Automated code generator from Supremica to C (2023). bit.ly\/3DTsCEu"},{"key":"7_CR23","unstructured":"Possato, T.: Automated code generator from Supremica to Python (2023). bit.ly\/3saIY99"},{"key":"7_CR24","unstructured":"Possato, T.: DEScMaker case study (2023). bit.ly\/47w3zoA"},{"key":"7_CR25","unstructured":"Possato, T.: DEScMaker case study video (2023). bit.ly\/3KFqELY"},{"key":"7_CR26","unstructured":"Possato, T.: DESPythonMaker case study (2023). bit.ly\/3OD0haF"},{"key":"7_CR27","unstructured":"Queiroz, M.H.D., Cury, J.E.R.: Modular multitasking supervisory control of composite discrete-event systems. In: 16th IFAC World Congress (2005)"},{"key":"7_CR28","doi-asserted-by":"publisher","unstructured":"de Queiroz, M., Cury, J.: Synthesis and implementation of local modular supervisory control for a manufacturing cell. In: International Workshop on Discrete Event Systems, pp. 377\u2013382. IFAC (2002). https:\/\/doi.org\/10.1109\/WODES.2002.1167714","DOI":"10.1109\/WODES.2002.1167714"},{"issue":"1","key":"7_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P Ramadge","year":"1989","unstructured":"Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989). https:\/\/doi.org\/10.1109\/5.21072","journal-title":"Proc. IEEE"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.ifacol.2018.06.310","volume":"51","author":"M Reniers","year":"2018","unstructured":"Reniers, M., van de Mortel-Fronczak, J.: An engineering perspective on model-based design of supervisors. IFAC-PapersOnLine 51, 257\u2013264 (2018). https:\/\/doi.org\/10.1016\/j.ifacol.2018.06.310","journal-title":"IFAC-PapersOnLine"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Rosa, M., Teixeira, M., Malik, R.: Exploiting approximations in supervisory control with distinguishers. In: International Workshop on Discrete Event Systems. Sorrento, Italy (2018)","DOI":"10.1016\/j.ifacol.2018.06.272"},{"key":"7_CR32","unstructured":"Silva, Y.G., de Queiroz, M.H.: Formal synthesis, simulation and automatic code generation of supervisory control for a manufacturing cell. In: Symposium Series in Mechatronics, pp. 418\u2013426. ABCM (2010). https:\/\/www.abcm.org.br\/anais\/cobem\/2009\/pdf\/COB09-1992.pdf"},{"key":"7_CR33","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/s00170-011-3817-1","volume":"62","author":"M Uzam","year":"2012","unstructured":"Uzam, M.: A general technique for the plc-based implementation of RW supervisors with time delay functions. Int. J. Adv. Manuf. Technol. 62, 687\u2013704 (2012). https:\/\/doi.org\/10.1007\/s00170-011-3817-1","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"7_CR34","doi-asserted-by":"publisher","unstructured":"Vieira, A.D., Cury, J.E.R., de Queiroz, M.H.: A model for PLC implementation of supervisory control of DES. In: International Conference on Emerging Technologies and Factory Automation, pp. 225\u2013232 (2006). https:\/\/doi.org\/10.1109\/ETFA.2006.355436","DOI":"10.1109\/ETFA.2006.355436"},{"key":"7_CR35","doi-asserted-by":"publisher","unstructured":"Vieira, A.D., Santos, E.A.P., de Queiroz, M.H., Leal, A.B., de Paula Neto, A.D., Cury, J.E.R.: A method for PLC implementation of supervisory control of DES. IEEE Trans. Control Syst. Technol. 25, 175\u2013191 (2017). https:\/\/doi.org\/10.1109\/TCST.2016.2544702","DOI":"10.1109\/TCST.2016.2544702"},{"key":"7_CR36","first-page":"1","volume":"1","author":"J Yang","year":"2023","unstructured":"Yang, J., Tan, K., Feng, L., El-Sherbeeny, A.M., Li, Z.: Reducing the learning time of reinforcement learning for the supervisory control of discrete event systems. IEEE Access 1, 1\u201314 (2023)","journal-title":"IEEE Access"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-49342-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T09:03:40Z","timestamp":1701421420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-49342-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,2]]},"ISBN":["9783031493416","9783031493423"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-49342-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,2]]},"assertion":[{"value":"2 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Manaus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 December 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf23.ufam.edu.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}