{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:09:35Z","timestamp":1729652975609,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/aspdac.2015.7059096","type":"proceedings-article","created":{"date-parts":[[2015,3,13]],"date-time":"2015-03-13T21:06:37Z","timestamp":1426280797000},"page":"725-730","source":"Crossref","is-referenced-by-count":11,"title":["Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits"],"prefix":"10.1109","author":[{"given":"Hyun-Sek Lukas","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Hoelldampf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Olbrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Barke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2245941"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IMS3TW.2009.5158695"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0695-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1049\/ip-g-2.1991.0058"},{"article-title":"Impulse generator utilizing nonlinear transmission line","year":"2010","author":"nakasha","key":"ref31"},{"key":"ref30","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004","journal-title":"FORMATS\/FTRTFT"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1687399.1687401"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2012.6379019"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5651402"},{"key":"ref34","first-page":"293","article-title":"Towards assertion based verification of analog and mixed signal designs using PSL","author":"sammane","year":"2007","journal-title":"FDL"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0076-y"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.25"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"ref11"},{"key":"ref12","first-page":"21","article-title":"Verification of analog and mixed-signal circuits using hybrid system techniques","volume":"3312","author":"dang","year":"2004","journal-title":"FMCAD"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351136"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244113"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-3-540-78929-1_16","article-title":"Zonotope\/hyperplane intersection for hybrid systems reachability analysis","author":"girard","year":"2008","journal-title":"Proc of Hybrid Systems Computation and Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.026"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382573"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007209"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2507771.2507783"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_35"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(96)00023-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1986.1085952"},{"journal-title":"Feedback Nonlinear and Distributed Circuits","year":"2009","author":"chen","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185643"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars","year":"2010","author":"althoff","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-2530-0_6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2012.6398386"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1109\/TCS.1975.1084079","article-title":"The modified nodal approach to network analysis","volume":"22","author":"ho","year":"1975","journal-title":"IEEE Trans Circuits Syst"},{"key":"ref42","first-page":"196","article-title":"Piecewise linear modeling of nonlinear devices for formal verification of analog circuits","author":"yan zhang","year":"2012","journal-title":"2012 Formal Methods in Computer-Aided Design (FMCAD) FMCAD"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0085-x"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081384"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/43.97615"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742898"}],"event":{"name":"2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2015,1,19]]},"location":"Chiba, Japan","end":{"date-parts":[[2015,1,22]]}},"container-title":["The 20th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7050531\/7058915\/07059096.pdf?arnumber=7059096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T00:15:12Z","timestamp":1566432912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7059096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2015.7059096","relation":{},"subject":[],"published":{"date-parts":[[2015,1]]}}}