{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T22:26:14Z","timestamp":1730240774123,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1109\/icecs.2008.4675002","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T15:45:25Z","timestamp":1227627925000},"page":"910-913","source":"Crossref","is-referenced-by-count":4,"title":["Verification of a MEMS based adaptive cruise control system using simulation and semi-formal approaches"],"prefix":"10.1109","author":[{"given":"S.","family":"Jairam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kusum","family":"Lata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subir K.","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Navakanta","family":"Bhat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0893-1321(2003)16:2(65)"},{"year":"0","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(08)80152-6"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"7","article-title":"verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","volume":"1569","author":"chutinam","year":"1999","journal-title":"ser LNCS"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/34\/1\/125"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/261320.261324"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"11","first-page":"203","article-title":"ellipsoidal techniques for reachability analysis","volume":"1790","author":"kurzhanski","year":"2000","journal-title":"ser LNCS"},{"key":"12","first-page":"96","article-title":"reachability analysis via face lifting","volume":"1386","author":"dang","year":"1998","journal-title":"ser LNCS"}],"event":{"name":"2008 15th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2008)","start":{"date-parts":[[2008,8,31]]},"location":"St. Julien's, Malta","end":{"date-parts":[[2008,9,3]]}},"container-title":["2008 15th IEEE International Conference on Electronics, Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4664823\/4674773\/04675002.pdf?arnumber=4675002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:47:01Z","timestamp":1602686821000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4675002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icecs.2008.4675002","relation":{},"subject":[],"published":{"date-parts":[[2008,8]]}}}