{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:36:47Z","timestamp":1743147407900,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259413"},{"type":"electronic","value":"9783319259420"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25942-0_5","type":"book-chapter","created":{"date-parts":[[2015,10,16]],"date-time":"2015-10-16T05:32:14Z","timestamp":1444973534000},"page":"71-86","source":"Crossref","is-referenced-by-count":4,"title":["Synthesizing Controllers for Multi-lane Traffic Maneuvers"],"prefix":"10.1007","author":[{"given":"Gregor v.","family":"Bochmann","sequence":"first","affiliation":[]},{"given":"Martin","family":"Hilscher","sequence":"additional","affiliation":[]},{"given":"Sven","family":"Linker","sequence":"additional","affiliation":[]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,17]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/9.250509","volume":"AC\u201338","author":"P Varaija","year":"1993","unstructured":"Varaija, P.: Smart cars on smart roads: problems of control. IEEE Trans. on Automatic Control AC\u201338, 195\u2013207 (1993)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"5_CR2","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 Trans. on Automatic Control 43, 522\u2013539 (1998)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-642-24559-6_28","volume-title":"Formal Methods and Software Engineering","author":"M Hilscher","year":"2011","unstructured":"Hilscher, M., Linker, S., Olderog, E.-R., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic manoeuvres. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 404\u2013419. Springer, Heidelberg (2011)"},{"key":"5_CR4","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W., Weinberg, H.: Hybrid i\/o automata. Technical Report Report CSI-R9907, April 1999, Computing Science Institute, University of Nijmegen (1999)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1109\/TAC.2009.2039237","volume":"55","author":"K Cai","year":"2010","unstructured":"Cai, K., Wonham, W.: Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans. Autom. Control 55, 605\u2013618 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/357195.357196","volume":"5","author":"P Merlin","year":"1983","unstructured":"Merlin, P., v. Bochmann, G.: On the construction of submodule specifications and communication protocols. ACM Trans. Program. Lang. Syst. 5, 1\u201325 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR7","unstructured":"v. Bochmann, G., Hilscher, M., Linker, S., Olderog, E.R.: Synthesizing and verifying controllers for multi-lane traffic maneuvers. Technical Report 109, AVACS (2015). see \n                      www.avacs.org\n                      \n                     under \u2018Papers\u2019"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0890-5401(03)00067-1","volume":"185","author":"NA Lynch","year":"2003","unstructured":"Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid i\/o automata. Inf. Comput. 185, 105\u2013157 (2003)","journal-title":"Inf. Comput."},{"key":"5_CR9","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. Intern. Journal of Control 79, 395\u2013421 (2006)","journal-title":"Intern. Journal of Control"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Damm, W., M\u00f6hlmann, E., Rakow, A.: Component based design of hybrid systems: A case study on concurrency and coupling. In: Proc. 17th Intern. Conf. on Hybrid Systems: Computation and Control, HSCC 2014, pp.145\u2013150, ACM (2014)","DOI":"10.1145\/2562059.2562120"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25, 206\u2013230 (1987)","journal-title":"SIAM J. Control Optim."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10626-011-0127-6","volume":"23","author":"G v. Bochmann","year":"2013","unstructured":"v. Bochmann, G.: Using logic to solve the submodule construction problem. Discrete Event Dynamic Systems 23, 27\u201359 (2013)","journal-title":"Discrete Event Dynamic Systems"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-21437-0_4","volume-title":"FM 2011: Formal Methods","author":"W Damm","year":"2011","unstructured":"Damm, W., Finkbeiner, B.: Does it pay to extend the perimeter of a world model? In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 12\u201326. Springer, Heidelberg (2011)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1067915.1067920","volume":"4","author":"R Ziller","year":"2005","unstructured":"Ziller, R., Schneider, K.: Combining supervisor synthesis and model checking. ACM Trans. Embed. Comput. Syst. 4, 331\u2013362 (2005)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/j.sysconle.2004.10.002","volume":"54","author":"JG Thistle","year":"2005","unstructured":"Thistle, J.G.: Undecidability in decentralized supervision. Systems & Control Letters 54, 503\u2013509 (2005)","journal-title":"Systems & Control Letters"},{"key":"5_CR16","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall (1989)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. In: Genuys, F. (ed.) Programming Languages: NATO Advanced Study Institute, pp. 43\u2013112. Academic Press (1968)","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Abramson, N.: The ALOHA system: Another alternative for computer communications. In: Proc. Fall Joint Computer Conf. AFIPS 1970, pp. 281\u2013285. ACM (1970)","DOI":"10.21236\/AD0707853"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/128733.128734","volume":"8","author":"R Gotzhein","year":"1990","unstructured":"Gotzhein, R., v. Bochmann, G.: Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Syst. 8, 255\u2013283 (1990)","journal-title":"ACM Trans. Comput. Syst."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s10270-011-0216-x","volume":"12","author":"HN Castej\u00f3n","year":"2013","unstructured":"Castej\u00f3n, H.N., v. Bochmann, G., Br\u00e6k, R.: On the realizability of collaborative services. Software and System Modeling 12, 597\u2013617 (2013)","journal-title":"Software and System Modeling"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Mauw, S., Reniers, M.A.: High-level message sequence charts. In: SDL 1997: Time for Testing - SDL, MSC and Trends, pp. 291\u2013306. Elsevier Science B.V. (1997)","DOI":"10.1016\/B978-044482816-3\/50020-4"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25942-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T03:12:06Z","timestamp":1559272326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25942-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259413","9783319259420"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25942-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}