Abstract:With the rapid development of GPS positioning and wireless communication, more and more trajectories are collected. How to accurately and efficiently detect abnormal trajectories from a large number of trajectories has become a focused issue. The similarity measurement method adopted by the existing abnormal trajectory detection technology often ignores the situation that the abnormal sub-trajectory has enough neighbors. If a trajectory is composed of multiple such sub-trajectories, this anomaly will not be detected. At present, the trajectory outlier detection algorithm based on common slices sub-sequence(TODCSS) has improved the above problems. However, it is not accurate enough in feature extraction. Its detection scope is limited to 2D-plane and the time dimension is ignored, so it can’t detect abnormal vehicle behaviors such as multiple stops, detention, too slow speed and so on. Based on the above problems, this paper proposes a spatio-temporal trajectory anomaly detection based on common sub-sequence (STADCS). Firstly, in order to obtain accurate and reasonable similar trajectories, the length of sub-trajectory is added to the common sequence of trajectories, and non-common parts between two trajectories are added to the similarity measurement. Then the time is added to detect trajectories of time anomalies. It improves the accuracy and rationality of detection. Finally, we conducted experiments on real datasets and used F1 − measure to evaluate the accuracy of this algorithm. Compared with existing algorithms, the accuracy of STADCS is improved by about 15.15%.

An Improved Algorithm on Generalized Symbolic Trajectory Evaluation for False Negative

Terminal Satisfiability in GSTE

An assertion graph based abstraction algorithm in GSTE and Its application

Counter-example Generation in Generalized Symbolic Trajectory Evaluation

SGCMG Non-Singularity Trajectory Programming Algorithm based on Improved CVP Method

A Transformation-Based Approach to Implication of GSTE Assertion Graphs

Implication of Assertion Graphs in GSTE

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification

Detecting spurious counterexamples efficiently in abstract model checking

Dependence Guided Symbolic Execution.

A Trajectory Evaluator by Sub-tracks for Detecting VOT-based Anomalous Trajectory

Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis

Improved Model Checking Technology for Program Temporal Safety Properties

State of the art: Dynamic symbolic execution for automated test generation

TPAD: Identifying Effective Trajectory Predictions Under the Guidance of Trajectory Anomaly Detection Model

Spatio-temporal Trajectory Anomaly Detection Based on Common Sub-Sequence

Double Counterfactual Regret Minimization for Generating Safety-Critical Scenario of Autonomous Driving

Symbolic state-space exploration meets statistical model checking

Sign Change Detection Based Fitness Evaluation for Automatic Implicit Equation Discovery

Symbolic Assume-Guarantee Reasoning Through BDD Learning

Safety Metric Aware Trajectory Repairing for Automated Driving