{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:58:59Z","timestamp":1725796739217},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1109\/aspdac.2011.5722281","type":"proceedings-article","created":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T12:54:28Z","timestamp":1299329668000},"page":"7-12","source":"Crossref","is-referenced-by-count":8,"title":["FSM model abstraction for analog\/mixed-signal circuits by learning from I\/O trajectories"],"prefix":"10.1109","author":[{"given":"Chenjie","family":"Gu","sequence":"first","affiliation":[]},{"given":"Jaijeet","family":"Roychowdhury","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Hybrid Systems Computation and Abstraction","year":"1998","author":"pappas","key":"ref4"},{"key":"ref3","first-page":"85","article-title":"Model Reduction via Projection onto Nonlinear Manifolds, with Applications to Analog Circuits and Biochemical Systems","author":"gu","year":"2008","journal-title":"ICCAD ‘08 Proceedings of the 2008 IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"ref10","first-page":"59","article-title":"Integration testing of components guided by incremental state machine learning","author":"li","year":"2006","journal-title":"TAIC-PART ‘06 Proceedings of the Testing Academic & Industrial Conference on Practice And Research Techniques"},{"year":"0","author":"shanbhag","key":"ref6"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04245-8","author":"de berg","year":"2000","journal-title":"Computational Geometry Algorithms and Applications"},{"journal-title":"The Elements of Statistical Learning Data Mining Inference and Prediction","year":"2003","author":"hastie","key":"ref5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90002-4"},{"journal-title":"Dynamic Bayesian Networks Representation Inference and Learning","year":"2002","author":"murphy","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/3-540-45657-0_33","article-title":"On discrete modeing and model checking for nonlinear analog systems","author":"hartong","year":"2002","journal-title":"CAV ‘02 Proceedings of the 14th International Conference on Computer Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.806601"},{"journal-title":"Probabilistic Graphical Models Principles and Techniques","year":"2009","author":"koller","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"}],"event":{"name":"2011 16th Asia and South Pacific Design Automation Conference, ASP-DAC 2011","start":{"date-parts":[[2011,1,25]]},"location":"Yokohama, Japan","end":{"date-parts":[[2011,1,28]]}},"container-title":["16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5716646\/5722157\/05722281.pdf?arnumber=5722281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T21:02:16Z","timestamp":1619211736000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5722281\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2011.5722281","relation":{},"subject":[],"published":{"date-parts":[[2011,1]]}}}