Abstract
The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. However, we show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change controller. Thereby, we contrast the setting of interleaving semantics and synchronous concurrent semantics. We also consider the possibility of exchanging knowledge between neighboring cars in order to come up with the right decisions.
This research was partially supported by the German Research Council (DFG) in the Transregional Collaborative Research Center SFB/TR 14 AVACS, and the Natural Science and Engineering Research Council of Canada.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Varaija, P.: Smart cars on smart roads: problems of control. IEEE Trans. on Automatic Control AC–38, 195–207 (1993)
Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated vehicles. IEEE Trans. on Automatic Control 43, 522–539 (1998)
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–419. Springer, Heidelberg (2011)
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)
Cai, K., Wonham, W.: Supervisor localization: A top-down approach to distributed control of discrete-event systems. IEEE Trans. Autom. Control 55, 605–618 (2010)
Merlin, P., v. Bochmann, G.: On the construction of submodule specifications and communication protocols. ACM Trans. Program. Lang. Syst. 5, 1–25 (1983)
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 www.avacs.org under ‘Papers’
Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid i/o automata. Inf. Comput. 185, 105–157 (2003)
Damm, W., Hungar, H., Olderog, E.R.: Verification of cooperating traffic agents. Intern. Journal of Control 79, 395–421 (2006)
Damm, W., Möhlmann, 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–150, ACM (2014)
Ramadge, P., Wonham, W.: Supervisory control of a class of discrete event processes. SIAM J. Control Optim. 25, 206–230 (1987)
v. Bochmann, G.: Using logic to solve the submodule construction problem. Discrete Event Dynamic Systems 23, 27–59 (2013)
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–26. Springer, Heidelberg (2011)
Ziller, R., Schneider, K.: Combining supervisor synthesis and model checking. ACM Trans. Embed. Comput. Syst. 4, 331–362 (2005)
Thistle, J.G.: Undecidability in decentralized supervision. Systems & Control Letters 54, 503–509 (2005)
Milner, R.: Communication and Concurrency. Prentice-Hall (1989)
Dijkstra, E.W.: Cooperating sequential processes. In: Genuys, F. (ed.) Programming Languages: NATO Advanced Study Institute, pp. 43–112. Academic Press (1968)
Abramson, N.: The ALOHA system: Another alternative for computer communications. In: Proc. Fall Joint Computer Conf. AFIPS 1970, pp. 281–285. ACM (1970)
Gotzhein, R., v. Bochmann, G.: Deriving protocol specifications from service specifications including parameters. ACM Trans. Comput. Syst. 8, 255–283 (1990)
CastejĂ³n, H.N., v. Bochmann, G., Bræk, R.: On the realizability of collaborative services. Software and System Modeling 12, 597–617 (2013)
Mauw, S., Reniers, M.A.: High-level message sequence charts. In: SDL 1997: Time for Testing - SDL, MSC and Trends, pp. 291–306. Elsevier Science B.V. (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bochmann, G.v., Hilscher, M., Linker, S., Olderog, ER. (2015). Synthesizing Controllers for Multi-lane Traffic Maneuvers. In: Li, X., Liu, Z., Yi, W. (eds) Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2015. Lecture Notes in Computer Science(), vol 9409. Springer, Cham. https://doi.org/10.1007/978-3-319-25942-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-25942-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25941-3
Online ISBN: 978-3-319-25942-0
eBook Packages: Computer ScienceComputer Science (R0)