Certified Control for Train Sign Classification
Autor: | Roßbach, Jan, Leuschel, Michael |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Zdroj: | EPTCS 395, 2023, pp. 69-76 |
Druh dokumentu: | Working Paper |
DOI: | 10.4204/EPTCS.395.5 |
Popis: | There is considerable industrial interest in integrating AI techniques into railway systems, notably for fully autonomous train systems. The KI-LOK research project is involved in developing new methods for certifying such AI-based systems. Here we explore the utility of a certified control architecture for a runtime monitor that prevents false positive detection of traffic signs in an AI-based perception system. The monitor uses classical computer vision algorithms to check if the signs -- detected by an AI object detection model -- fit predefined specifications. We provide such specifications for some critical signs and integrate a Python prototype of the monitor with a popular object detection model to measure relevant performance metrics on generated data. Our initial results are promising, achieving considerable precision gains with only minor recall reduction; however, further investigation into generalization possibilities will be necessary. Comment: In Proceedings FMAS 2023, arXiv:2311.08987 |
Databáze: | arXiv |
Externí odkaz: |