...
Expand |
---|
You may choose from one of the following papers. The scope, complexity and required knowledge for these papers roughly divides them into topics for bachelor students and for master students. However, bachelor students that take great interest in a master students topic may also choose from those. The papers are assigned via first-come-first-serve. Already taken papers are marked. Please send an email to Niklas (nre@informatik.uni-kiel.de) in order to reserve a paper. Many of the links do only work in the university network. Through the usage of a VPN or a remote session to the terminal server, those are also accessible from home. If any problems occur feel free to contact us. Bachelor RecommendationsVelha, P., Nannipieri, T., Signorini, A., Morosi, M., Solazzi, M., Barone, F., ... & Di Pasquale, F. (2019). Monitoring large railways infrastructures using hybrid optical fibers sensor systems. IEEE Transactions on Intelligent Transportation Systems, 21(12), 5177-5188. Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). A Model-based Approach for the Modeling and the Verification of Railway Signaling System. In ENASE (pp. 367-376). P. Sun, S. Collart-dutilleul and P. Bon, "A model pattern of railway interlocking system by Petri nets," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292. D. Giglio and N. Sacco, "A Petri net model for analysis, optimisation, and control of railway networks and train schedules," 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC), Rio de Janeiro, Brazil, 2016, pp. 2442-2449, doi: 10.1109/ITSC.2016.7795949. W. Carvajal-Carreño, A. P. Cucala García, A. Fernández-Cardador and L. Söder, "Efficient driving algorithms for non-disturbed and disturbed trains with the CBTC signalling system," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 418-425, doi: 10.1109/MTITS.2015.7223289. S. Wandelt, Z. Wang and X. Sun, "Worldwide Railway Skeleton Network: Extraction Methodology and Preliminary Analysis," in IEEE Transactions on Intelligent Transportation Systems, vol. 18, no. 8, pp. 2206-2216, Aug. 2017, doi: 10.1109/TITS.2016.2632998. Master RecommendationsFerlin, A., Qiu, S., Bon, P., Sallak, M., Dutilleul, S. C., Schön, W., & Cherfi-Boulanger, Z. (2018). An automated method for the study of human reliability in railway supervision systems. IEEE Transactions on Intelligent Transportation Systems, 19(10), 3360-3375. Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "Standardisation considerations for autonomous train control." Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022. Basile, D., ter Beek, M.H., Legay, A. (2020). Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. https://doi.org/10.1007/978-3-030-50086-3_1 |
...