{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:05:03Z","timestamp":1725624303415},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_28","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"404-419","source":"Crossref","is-referenced-by-count":51,"title":["An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hilscher","sequence":"first","affiliation":[]},{"given":"Sven","family":"Linker","sequence":"additional","affiliation":[]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/9.664155","volume":"43","author":"J. Lygeros","year":"1998","unstructured":"Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Transactions on Automatic Control\u00a043, 522\u2013539 (1998)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR2","unstructured":"Jula, H., Kosmatopoulos, E.B., Ioannou, P.A.: Collision avoidance analysis for lane changing and merging. Technical Report UCB-ITS-PRR-99-13, California Partners for Advanced Transit and Highways (PATH), Univ. of California at Berkeley (1999)"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Werling, M., Gindele, T., Jagszent, D., Gr\u00f6ll, L.: A robust algorithm for handling traffic in urban scenarios. In: Proc. IEEE Intelligent Vehicles Symposium, Eindhoven, The Netherlands, pp. 168\u2013173 (2008)","DOI":"10.1109\/IVS.2008.4621260"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1080\/00207170600587531","volume":"79","author":"W. Damm","year":"2006","unstructured":"Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. International Journal of Control\u00a079, 395\u2013421 (2006)","journal-title":"International Journal of Control"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1013339920783","volume":"12","author":"T. Moor","year":"2002","unstructured":"Moor, T., Raisch, J., O\u2019Young, S.: Discrete supervisory control of hybrid systems based on l-complete approximations. Discrete Event Dynamic Systems\u00a012, 83\u2013107 (2002)","journal-title":"Discrete Event Dynamic Systems"},{"key":"28_CR6","unstructured":"Moor, T., Raisch, J., Davoren, J.: Admissiblity criteria for a hierarchical design of hybrid systems. In: Proc. IFAD Conf. on Analysis and Design of Hybrid Systems, St. Malo, France, pp. 389\u2013394 (2003)"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1109\/TAC.2006.876952","volume":"51","author":"L.C.G.J.M. Habets","year":"2006","unstructured":"Habets, L.C.G.J.M., Collins, P., van Schuppen, J.: Reachability and control synthesis for piecewise-affine hybrid systems on simplices. IEEE Transactions on Automatic Control\u00a051, 938\u2013948 (2006)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Computer\u00a018, 10\u201319 (1985)","journal-title":"Computer"},{"key":"28_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C., Ravn, A.: A calculus of durations. Information Processing Letters\u00a040, 269\u2013276 (1991)","journal-title":"Information Processing Letters"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-540-31862-0_33","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"A. Sch\u00e4fer","year":"2005","unstructured":"Sch\u00e4fer, A.: A Calculus for Shapes in Time and Space. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol.\u00a03407, pp. 463\u2013477. Springer, Heidelberg (2005)"},{"key":"28_CR11","volume-title":"Using Z \u2013 Specification, Refinement, and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z \u2013 Specification, Refinement, and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. TCS\u00a0126, 183\u2013235 (1994)","journal-title":"TCS"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"28_CR14","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. CACM\u00a021, 666\u2013677 (1978)","journal-title":"CACM"},{"key":"#cr-split#-28_CR15.1","doi-asserted-by":"crossref","unstructured":"Hilscher, M., Linker, S., Olderog, E.R., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic maenoeuvres. Report\u00a079, SFB\/TR 14 AVACS (2011);","DOI":"10.1007\/978-3-642-24559-6_28"},{"key":"#cr-split#-28_CR15.2","unstructured":"ISSN: 1860-9821, avacs.org"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"AC-38","author":"P. Varaija","year":"1993","unstructured":"Varaija, P.: Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control\u00a0AC-38, 195\u2013207 (1993)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"28_CR17","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF01797158","volume":"2","author":"A. Hsu","year":"1994","unstructured":"Hsu, A., Eskafi, F., Sachs, S., Varaija, P.: Protocol design for an automated highway system. Discrete Event Dynamic Systems\u00a02, 183\u2013206 (1994)","journal-title":"Discrete Event Dynamic Systems"},{"key":"28_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"A.E. Haxthausen","year":"2000","unstructured":"Haxthausen, A.E., Peleska, J.: Formal development and verification of a distributed railway control system. IEEE Trans. on Software Engineering\u00a026, 687\u2013701 (2000)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-16265-7_12","volume-title":"Integrated Formal Methods","author":"J. Faber","year":"2010","unstructured":"Faber, J., Ihlemann, C., Jacobs, S., Sofronie-Stokkermans, V.: Automatic Verification of Parametric Specifications with Complex Topologies. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"28_CR20","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-1-4020-5587-4_5","volume-title":"Handbook of Spatial Logics","author":"J. Benthem van","year":"2007","unstructured":"van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartmann, I., Benthem, J. (eds.) Handbook of Spatial Logics, pp. 217\u2013298. Springer, Heidelberg (2007)"},{"key":"28_CR21","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.ic.2006.08.005","volume":"205","author":"A. Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer, A.: Axiomatisation and decidability of multi-dimensional duration calculus. Information and Computation\u00a0205, 25\u201364 (2007)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T10:24:03Z","timestamp":1560853443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}