{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:13:23Z","timestamp":1771571603487,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,12]]},"DOI":"10.1109\/apccas67402.2025.11377968","type":"proceedings-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T20:54:40Z","timestamp":1771534480000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Rigorous Verification of Implicit Poincar\u00e9 Map Generated by a Sinusoidally Forced Continuous Piecewise Linear Circuit"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4476-8893","authenticated-orcid":false,"given":"Hideaki","family":"Okazaki","sequence":"first","affiliation":[{"name":"Graduate school of Electrical and Information Engineering, Shonan Institute of Technology,Fujisawa,Kanagawa,Japan,251-8511"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1153-7025","authenticated-orcid":false,"given":"Naohiko","family":"Inaba","sequence":"additional","affiliation":[{"name":"Graduate school of Electrical and Information Engineering, Shonan Institute of Technology,Fujisawa,Kanagawa,Japan,251-8511"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"3","key":"ref1","first-page":"447","article-title":"A Generation Mechanism of Canards in a Piecewise Linear System","volume":"E80-A","author":"Arima","year":"1997","journal-title":"IEICE Trans. Fundamentals."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e88-a.4.810"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511526473"},{"key":"ref4","first-page":"77","volume-title":"INTLAB - INTerval LABoratory, Developments in Reliable Computing","author":"Rump","year":"1999"},{"issue":"3","key":"ref5","first-page":"459-1-33","article-title":"Bifurcations and Proarrhythmic Behaviors in Cardiac Electrical Excitations","volume":"12","author":"Tsumoto","year":"2022","journal-title":"Baiomolcules"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/100791233"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12316-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2020.132493"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1063\/5.0040658"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1587\/nolta.12.88"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2022.133438"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.physd.2022.133178"},{"key":"ref13","volume-title":"Introduction to Nonlinear Network Theory","author":"Chua","year":"1969"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-4-431-68243-1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16437-5_8"}],"event":{"name":"2025 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","location":"Busan, Korea, Republic of","start":{"date-parts":[[2025,10,12]]},"end":{"date-parts":[[2025,10,15]]}},"container-title":["2025 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11373921\/11376610\/11377968.pdf?arnumber=11377968","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T06:48:38Z","timestamp":1771570118000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11377968\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/apccas67402.2025.11377968","relation":{},"subject":[],"published":{"date-parts":[[2025,10,12]]}}}