Matthias Althoff, Daniel Althoff, Dirk Wollherr, and Martin Buss. 2010. Safety verification of autonomous vehicles for coordinated evasive maneuvers. In 2010 IEEE Intelligent Vehicles Symposium. IEEE, La Jolla, CA, USA, 1078–1083. https://doi.org/10.1109/IVS.2010.5548121
Matthias Althoff and Silvia Magdici. 2016. Set-Based Prediction of Traffic Participants on Arbitrary Road Networks. IEEE Transactions on Intelligent Vehicles 1, 2 (2016), 187–202. https://doi.org/10.1109/TIV.2016.2622920
Tomáš Bartoň and Petr Musilek. 2016. Derivative based prediction with look ahead. In 2016 International Joint Conference on Neural Networks (IJCNN). IEEE, Vancouver, BC, Canada, 2118–2123. https://doi.org/10.1109/IJCNN.2016.7727461
Jin Cui, Giedre Sabaliauskaite, Lin Shen Liew, Fengjun Zhou, and Biao Zhang. 2019. Collaborative Analysis Framework of Safety and Security for Autonomous Vehicles. IEEE Access 7 (2019), 148672–148683. https://doi.org/10.1109/access.2019.2946632
Mateus Martínez de Lucena and Antônio Augusto Fröhlich. 2022. Modeling Misbehavior Detection Timeliness in VANETs. In 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, Stuttgart, Germany, 1–8. https://doi.org/10.1109/ETFA52439.2022.9921605
Josafat Leal Filho, Matheus Wagner, and Antônio Augusto Frohlich. 2023. Physics-Informed Neural Networks for Monitoring Dynamic Systems: Wind Turbine Study Case. In 2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, Porto Alegre, Brazil, 1–6. https://doi.org/10.1109/SBESC60926.2023.10324156
Antônio Augusto Fröhlich. 2018. SmartData: an IoT-ready API for sensor networks. International Journal of Sensor Networks 28, 3 (2018), 202. https: //doi.org/10.1504/ijsnet.2018.096264
Felix Gruber and Matthias Althoff. 2018. Anytime Safety Verification of Autonomous Vehicles. In 2018 21st International Conference on Intelligent Transportation Systems (ITSC). IEEE, Maui, HI, USA, 1708–1714. https://doi.org/10.1109/ITSC.2018.8569950
José Luis Conradi Hoffmann and Antônio Augusto Fröhlich. 2022. SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems. In 48th Annual Conference of the IEEE Industrial Electronics Society. IEEE, Brussels, Belgium, 1–6. https://doi.org/10.1109/IECON49645.2022.9969074
José Luis Conradi Hoffmann, Leonardo Passig Horstmann, Matheus Wagner, Felipe Vieira, Mateus Martínez de Lucena, and Antônio Augusto Fröhlich. 2022. Using Formal Methods to Specify Data-Driven Cyber-Physical Systems. In 2022 IEEE 31st International Symposium on Industrial Electronics (ISIE). IEEE, Anchorage, AK, USA, 643–648. https://doi.org/10.1109/ISIE51582.2022.9831686
Jihua Huang and Han-Shue Tan. 2016. Control System Design of an Automated Bus in Revenue Service. IEEE Transactions on Intelligent Transportation Systems 17, 10 (Oct. 2016), 2868–2878. https://doi.org/10.1109/tits.2016.2530760
SAE International. 2021. Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. https://doi.org/10.4271/ j3016 202104
International Organization for Standardization. 2018. ISO 2626: Road vehicles – Functional Safety. https://www.iso.org/obp/ui/#iso:std:iso:26262:-1:ed-2:v1:en
Seong-Woo Kim, Baoxing Qin, Zhuang Jie Chong, Xiaotong Shen, Wei Liu, Marcelo H. Ang, Emilio Frazzoli, and Daniela Rus. 2015. Multivehicle Cooperative Driving Using Cooperative Perception: Design and Experimental Validation. IEEE Transactions on Intelligent Transportation Systems 16, 2 (2015), 663–680. https://doi.org/10.1109/TITS.2014.2337316
Weiwei Kong, Yugong Luo, Zhaobo Qin, Yunlong Qi, and Xiaomin Lian. 2019. Comprehensive Fault Diagnosis and Fault-Tolerant Protection of In-Vehicle Intelligent Electric Power Supply Network. IEEE Transactions on Vehicular Technology 68, 11 (2019), 10453–10464. https://doi.org/10.1109/TVT.2019.2921784
Philip Koopman and Michael Wagner. 2016. Challenges in Autonomous Vehicle Testing and Validation. SAE International Journal of Transportation Safety 4, 1 (April 2016), 15–24. https://doi.org/10.4271/2016-01-0128
Federico Lucchetti, Rafal Graczyk, and Marcus Völp. 2023. Toward resilient autonomous driving—An experience report on integrating resilience mechanisms into the Apollo autonomous driving software stack. Frontiers in Computer Science 5 (April 2023), 1–11. https://doi.org/10.3389/fcomp.2023.1125055
Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Yassine Lakhnech and Sergio Yovine (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 152–166.
Khan Muhammad, Amin Ullah, Jaime Lloret, Javier Del Ser, and Victor Hugo C. de Albuquerque. 2021. Deep Learning for Safe Autonomous Driving: Current Challenges and Future Directions. IEEE Transactions on Intelligent Transportation Systems 22, 7 (2021), 4316–4336. https://doi.org/10.1109/TITS.2020.3032227
Piotr F. Orzechowski, Kun Li, and Martin Lauer. 2019. Towards Responsibility-Sensitive Safety of Automated Vehicles with Reachable Set Analysis. In 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE). IEEE, Graz, Austria, 1–6. https://doi.org/10.1109/ICCVE45908.2019.8965069
Christian Pek, Stefanie Manzinger, Markus Koschi, and Matthias Althoff. 2020. Using online verification to prevent autonomous vehicles from causing accidents. Nature Machine Intelligence 2, 9 (Sept. 2020), 518–528. https://doi.org/10.1038/ s42256-020-0225-y
Usman Raza, Alessandro Camerra, Amy L. Murphy, Themis Palpanas, and Gian Pietro Picco. 2015. Practical Data Prediction for Real-World Wireless Sensor Networks. IEEE Transactions on Knowledge and Data Engineering 27, 8 (2015), 2231–2244. https://doi.org/10.1109/TKDE.2015.2411594
M.S. Sangha, J.B. Gomm, D.L. Yu, and G.F. Page. 2005. FAULT DETECTION AND IDENTIFICATION OF AUTOMOTIVE ENGINES USING NEURAL NETWORKS. IFAC Proceedings Volumes 38, 1 (2005), 272–277. https://doi.org/10.3182/200507036-CZ-1902.01933 16th IFAC World Congress.
Shai Shalev-Shwartz, Shaked Shammah, and Amnon Shashua. 2017. On a Formal Model of Safe and Scalable Self-driving Cars. CoRR abs/1708.06374 (2017), 1–37. arXiv:1708.06374 http://arxiv.org/abs/1708.06374
Galina Sidorenko, Aleksei Fedorov, Johan Thunberg, and Alexey Vinel. 2022. Towards a Complete Safety Framework for Longitudinal Driving. IEEE Transactions on Intelligent Vehicles 7, 4 (2022), 809–814. https://doi.org/10.1109/TIV.2022. 3209910
Anirudh Sivakumar and Pratik Mohanty. 2020. Electronic System Design of a Formula Student Electric Car. In 2020 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER). IEEE, Udupi, India, 115–120. https://doi.org/10.1109/DISCOVER50404.2020.9278091
J.T. Spooner and K.M. Passino. 1997. Fault-tolerant control for automated highway systems. IEEE Transactions on Vehicular Technology 46, 3 (1997), 770–785. https://doi.org/10.1109/25.618202
