{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:37:18Z","timestamp":1740101838556,"version":"3.37.3"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,4,4]],"date-time":"2023-04-04T00:00:00Z","timestamp":1680566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,4]],"date-time":"2023-04-04T00:00:00Z","timestamp":1680566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2143351"],"award-info":[{"award-number":["2143351"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,4,4]]},"DOI":"10.1109\/icit58465.2023.10143031","type":"proceedings-article","created":{"date-parts":[[2023,6,9]],"date-time":"2023-06-09T17:21:52Z","timestamp":1686331312000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A Data-Driven Hybrid Automaton Framework to Modeling Complex Dynamical Systems"],"prefix":"10.1109","author":[{"given":"Yejiang","family":"Yang","sequence":"first","affiliation":[{"name":"School of Electrical Engineering, Southwest Jiaotong University,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zihao","family":"Mo","sequence":"additional","affiliation":[{"name":"School of Computer and Cyber Sciences, Augusta University,Augusta,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiming","family":"Xiang","sequence":"additional","affiliation":[{"name":"School of Computer and Cyber Sciences, Augusta University,Augusta,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.20537\/nd210102"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2019.124127"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-020-04722-z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696505"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-021-06019-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683106"},{"key":"ref7","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","volume":"32","author":"Fazlyab","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"ref10","article-title":"Ef-ficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref11","article-title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume":"34","author":"Wang","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2017.2688961"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883837"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1201\/9780429492563"}],"event":{"name":"2023 IEEE International Conference on Industrial Technology (ICIT)","start":{"date-parts":[[2023,4,4]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2023,4,6]]}},"container-title":["2023 IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10143075\/10143030\/10143031.pdf?arnumber=10143031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,1]],"date-time":"2024-03-01T08:53:47Z","timestamp":1709283227000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10143031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icit58465.2023.10143031","relation":{},"subject":[],"published":{"date-parts":[[2023,4,4]]}}}