{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:31:29Z","timestamp":1729665089765,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/iccve.2013.6799819","type":"proceedings-article","created":{"date-parts":[[2014,5,2]],"date-time":"2014-05-02T18:29:00Z","timestamp":1399055340000},"page":"350-355","source":"Crossref","is-referenced-by-count":1,"title":["Cyber-physical architecture for modeling and enhanced operations of connected-vehicle systems"],"prefix":"10.1109","author":[{"given":"Leonard","family":"Petnga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Austin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"34","author":"choi","year":"2006","journal-title":"A Survey on Ontology Mapping"},{"key":"17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1008216400353","article-title":"Neural navigation approach for intelligent autonomous vehicles (iav)in partially structured environments","volume":"8","author":"chohra","year":"1998","journal-title":"Applied Intelligence"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/S0262-8856(02)00156-7"},{"key":"15","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1109\/TIE.2009.2029571","article-title":"An intelligent longitudinal controller for application in semiautonomous vehicles","volume":"57","author":"cai","year":"2010","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/501416.501454"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2011.02.002"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/2381416.2381429"},{"journal-title":"Ontologies of Time and Time-based Reasoning for MBSE of Cyber-Physical Systems","year":"2013","author":"petnga","key":"11"},{"journal-title":"The Physical Basis of Dimensional Analysis","year":"2001","author":"sonin ain","key":"12"},{"journal-title":"Transforming Transportation Through Connectivity ITS Strategic Research Plan 2010-2014 Progress Update 2012","first-page":"12","year":"2012","key":"3"},{"key":"20","first-page":"57","author":"horrocks","year":"2006","journal-title":"The even more irresistible SROIQ"},{"journal-title":"Intelligent Vehicle\/Highway System A Survey Part1","year":"1999","author":"martin","key":"2"},{"journal-title":"Intelligent Vehicle Highway System(IVHS) Projects in the United States","first-page":"92","year":"1992","key":"1"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"10"},{"journal-title":"Protocol Design for An Automated Highway System","year":"1993","author":"hsu","key":"7"},{"journal-title":"Smart Cars on Smart Roads Problem of Control","year":"1991","author":"varaiya","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2179936"},{"journal-title":"CPS Foundations","year":"2010","author":"edward","key":"4"},{"key":"9","first-page":"4256","author":"loos","year":"0","journal-title":"Adaptive Cruise Control Hybrid Distributed and Now Formally Verified"},{"journal-title":"Embedded System Design Embedded Systems Foundations of Cyber-physical Systems","year":"2011","author":"peter","key":"8"}],"event":{"name":"2013 International Conference on Connected Vehicles and Expo (ICCVE)","start":{"date-parts":[[2013,12,2]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2013,12,6]]}},"container-title":["2013 International Conference on Connected Vehicles and Expo (ICCVE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6784566\/6799751\/06799819.pdf?arnumber=6799819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T12:33:50Z","timestamp":1498134830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6799819\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iccve.2013.6799819","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}