{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T18:02:00Z","timestamp":1764957720365,"version":"3.46.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742874.3756008","type":"proceedings-article","created":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:59:20Z","timestamp":1764957560000},"page":"7-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-8761-6201","authenticated-orcid":false,"given":"Moon","family":"Kim","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7524-8292","authenticated-orcid":false,"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9654-5678","authenticated-orcid":false,"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2025,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Principles of cyber-physical systems","author":"Alur Rajeev","unstructured":"Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_19"},{"key":"e_1_3_2_1_3_1","volume-title":"Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. arXiv preprint arXiv:2506.00251","author":"Kim Moon","year":"2025","unstructured":"Moon Kim, Avinash Malik, and Partha Roop. 2025. Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. arXiv preprint arXiv:2506.00251 (2025)."},{"key":"e_1_3_2_1_4_1","volume-title":"Hybrid Systems: Modeling, Analysis and Control","author":"Lygeros John","year":"2009","unstructured":"John Lygeros, Claire Tomlin, and Shankar Sastry. 2009. Hybrid Systems: Modeling, Analysis and Control. University of California, Berkeley, Course EE291e. http:\/\/inst.cs.berkeley.edu\/~ee291e\/sp09\/handouts\/book.pdf."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2020.100870"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_7_1","volume-title":"Handbook of networked and embedded control systems","author":"Raskin Jean-Fran\u00e7ois","unstructured":"Jean-Fran\u00e7ois Raskin. 2005. An introduction to hybrid automata. In Handbook of networked and embedded control systems. Springer, 491\u2013517."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361198"}],"event":{"name":"EMSOFT '25: International Conference on Embedded Software","location":"Taipei International Convention Center (TICC) Taipei Taiwan","acronym":"EMSOFT '25","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","SIGBED ACM Special Interest Group on Embedded Systems","CEDA","IEEE CAS"]},"container-title":["Proceedings of the International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742874.3756008","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,5]],"date-time":"2025-12-05T17:59:47Z","timestamp":1764957587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742874.3756008"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":8,"alternative-id":["10.1145\/3742874.3756008","10.1145\/3742874"],"URL":"https:\/\/doi.org\/10.1145\/3742874.3756008","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}