English

Querying Perception Streams with Spatial Regular Expressions

Robotics 2024-11-12 v1 Computer Vision and Pattern Recognition Formal Languages and Automata Theory

Abstract

Perception in fields like robotics, manufacturing, and data analysis generates large volumes of temporal and spatial data to effectively capture their environments. However, sorting through this data for specific scenarios is a meticulous and error-prone process, often dependent on the application, and lacks generality and reproducibility. In this work, we introduce SpREs as a novel querying language for pattern matching over perception streams containing spatial and temporal data derived from multi-modal dynamic environments. To highlight the capabilities of SpREs, we developed the STREM tool as both an offline and online pattern matching framework for perception data. We demonstrate the offline capabilities of STREM through a case study on a publicly available AV dataset (Woven Planet Perception) and its online capabilities through a case study integrating STREM in ROS with the CARLA simulator. We also conduct performance benchmark experiments on various SpRE queries. Using our matching framework, we are able to find over 20,000 matches within 296 ms making STREM applicable in runtime monitoring applications.

Keywords

Cite

@article{arxiv.2411.05946,
  title  = {Querying Perception Streams with Spatial Regular Expressions},
  author = {Jacob Anderson and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and Danil Prokhorov},
  journal= {arXiv preprint arXiv:2411.05946},
  year   = {2024}
}

Comments

This work has been submitted to the International Journal on Software Tools for Technology Transfer

R2 v1 2026-06-28T19:53:48.244Z