{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T11:57:32Z","timestamp":1772539052832,"version":"3.50.1"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2015,6,1]],"date-time":"2015-06-01T00:00:00Z","timestamp":1433116800000},"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","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Cyber-Physical Systems Program","award":["0931669"],"award-info":[{"award-number":["0931669"]}]},{"name":"U.S. Department of Transportation under the University Transportation Center Program","award":["DTRT13-G-UTC47"],"award-info":[{"award-number":["DTRT13-G-UTC47"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/tits.2014.2359392","type":"journal-article","created":{"date-parts":[[2015,1,20]],"date-time":"2015-01-20T00:34:50Z","timestamp":1421714090000},"page":"1595-1600","source":"Crossref","is-referenced-by-count":4,"title":["Discrete-State Encoding in Hybrid-State Systems for Intelligent Vehicle Control and Estimation"],"prefix":"10.1109","volume":"16","author":[{"given":"Arda","family":"Kurt","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1962.5219422"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1961.5219184"},{"key":"ref12","article-title":"Pulse code communication","author":"gray","year":"1953"},{"key":"ref13","article-title":"Encoding technique for software and hardware","author":"johnson","year":"1998"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120844"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45716-X_36"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1990.145.367"},{"key":"ref17","author":"hand","year":"1988","journal-title":"Comparisons and stability analysis of linearized equations of motion for a basic bicycle model"},{"key":"ref18","author":"antsaklis","year":"2006","journal-title":"Linear Systems"},{"key":"ref19","author":"brown","year":"1991","journal-title":"Matrices and Vector Spaces"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1016\/S0005-1098(98)00175-7","article-title":"Complexity of stability and controllability of elementary hybrid systems","volume":"35","author":"blondel","year":"1999","journal-title":"Automatica"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625201"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Hybrid Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814621"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2006.1689682"},{"key":"ref1","first-page":"9540","article-title":"Hybrid state system development for autonomous vehicle control in urban scenarios","author":"kurt","year":"0","journal-title":"Proc IFAC World Congr"},{"key":"ref9","first-page":"263","article-title":"Discrete and hybrid state system modeling and analysis","volume":"5","author":"dogruel","year":"1997","journal-title":"Turkish J Electr Eng"},{"key":"ref20","first-page":"593","article-title":"The map method for synthesis of combinational logic circuits","volume":"72","author":"kamaugh","year":"1953","journal-title":"Trans Am Inst Elect Eng"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.486641"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/6979\/7115254\/6920047-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/7115254\/06920047.pdf?arnumber=6920047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:50:30Z","timestamp":1649443830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6920047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":21,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tits.2014.2359392","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6]]}}}