{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T02:10:23Z","timestamp":1738289423174,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789284"},{"type":"electronic","value":"9783540789291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78929-1_22","type":"book-chapter","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T09:01:58Z","timestamp":1216285318000},"page":"301-315","source":"Crossref","is-referenced-by-count":2,"title":["Safety and Liveness in Intelligent Intersections"],"prefix":"10.1007","author":[{"given":"Hemant","family":"Kowshik","sequence":"first","affiliation":[]},{"given":"Derek","family":"Caveney","sequence":"additional","affiliation":[]},{"given":"P. R.","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-3","key":"22_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0898-1221(87)90107-6","volume":"13","author":"T. Ba\u015far","year":"1987","unstructured":"Ba\u015far, T., Kumar, P.R.: On worst case design strategies. Computers and Mathematics with Applications\u00a013(1-3), 239\u2013245 (1987)","journal-title":"Computers and Mathematics with Applications"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0389-4304(94)90216-X","volume":"15","author":"A. Doi","year":"1994","unstructured":"Doi, A., Butsuen, T., Niibe, T., Yakagi, T., Yamamoto, Y., Seni, H.: Development of a rear-end collision avoidance system with automatic braking control. JSAE Review\u00a015, 335\u2013340 (1994)","journal-title":"JSAE Review"},{"key":"22_CR3","unstructured":"National\u00a0Center for Statistics and Analysis. In: 2006 Traffic Safety Annual Assessment - A Preview, DOT HS 810 791 (July 2007)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Girard, A.R., de Sousa, J.B., Misener, J.A., Hedrick, J.K.: A control architecture for integrated cooperative cruise control and collision warning systems. In: Proceedings of the 40th Conference on Decision and Control, vol.\u00a02, pp. 1491\u20131496.","DOI":"10.1109\/CDC.2001.981105"},{"key":"22_CR5","unstructured":"Intelligent transportation systems, California Center for Innovative Transportation (August 2007), [Online], http:\/\/www.calccit.org\/itsdecision"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Huang, J., Tan, H.S.: Design and implementation of a cooperative collision warning system. In: Proceedings of the IEEE Intelligent Transportation Systems Conference, Toronto, Canada, pp. 1017\u20131022 (2006)","DOI":"10.1109\/ITSC.2006.1707355"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1109\/6979.898217","volume":"1","author":"J.K. Kuchar","year":"2000","unstructured":"Kuchar, J.K., Yang, L.C.: A review of conflict detection and resolution modeling methods. IEEE Transactions on Intelligent Transportation Systems\u00a01, 179\u2013189 (2000)","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"22_CR8","unstructured":"Kowshik, H., Caveney, D., Kumar, P.R.: Provable Systemwide Safety in Intelligent Intersections. IEEE Transactions Automatic Control (submitted, 2007)"},{"key":"22_CR9","unstructured":"Misener, J.A., Sengupta, R., Krishnan, H.: Cooperative collision warning: Enabling crash avoidance with wireless technology. In: 12th World Congress on Intelligent Transportation Systems, San Francisco, p. 1960 (2005)"},{"issue":"5","key":"22_CR10","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1115\/1.2764510","volume":"129","author":"D.M. Stipanovic","year":"2007","unstructured":"Stipanovic, D.M., Hokayem, P.F., Spong, M.W., Siljak, D.D.: Avoidance control for multi-agent systems. ASME Journal of Dynamic Systems, Measurement and Control\u00a0129(5), 699\u2013707 (2007)","journal-title":"ASME Journal of Dynamic Systems, Measurement and Control"},{"issue":"7","key":"22_CR11","doi-asserted-by":"publisher","first-page":"949","DOI":"10.1109\/5.871303","volume":"88","author":"C. Tomlin","year":"2000","unstructured":"Tomlin, C., Lygeros, J., Sastry, S.: A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE\u00a088(7), 949\u2013970 (2000)","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"22_CR12","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/9.664154","volume":"43","author":"C. Tomlin","year":"1998","unstructured":"Tomlin, C., Pappas, G., Sastry, S.: Conflict resolution of air traffic management: A study in multiagent hybrid systems. IEEE Transactions on Automatic Control\u00a043(4), 509\u2013521 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"38","author":"P. Varaiya","year":"1993","unstructured":"Varaiya, P.: Smart cars on smart roads: Problems of control. IEEE Transactions on Automatic Control\u00a038, 195\u2013207 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"22_CR14","unstructured":"Ydstie, B.E., Liu, L.K.: Single- and multi-variable control with extended prediction horizons. In: American Control Conference, vol.\u00a021, pp. 1303\u20131308."},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Antonsson, E.K., Grote, K.: A new threat assessment measure for collision avoidance systems. In: Proceedings of the IEEE Intelligent Transportation Systems Conference, Toronto, Canada, pp. 968\u2013975 (2006)","DOI":"10.1109\/ITSC.2006.1706870"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78929-1_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T01:49:37Z","timestamp":1738288177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78929-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789284","9783540789291"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78929-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}