An Implementation of Linear Temporal Logic for Driving Safety Suitable for the Concept of Local Dynamic Map

Safely driving on the road is a highly complicated information process for autonomous driving systems, which requires knowledge in the form of the hierarchical structure to bind them together. According to the past works on Cooperative Intelligent Transport Systems (C-ITS), the concept of Local Dynamic Map (LDM) is one of the critical technologies. It can coordinate environmental information with different time scales to update by mapping onto a consistent geometric structure in a hierarchy. A possible representation of the LDM concept can be associated with a relational database or semantic web technology such as Resource Description Framework (RDF) and Web Ontology Language (OWL). However, moving objects on the road can take infinitely many states. In this study, we propose an integration with Linear Temporal Logic (LTL) to represent events with potential risks to express them on LDM. In the computer experiment, risky situations were examined by using LDM update rules with LTL at turning and roundabout.