<p>Space-time prisms provide a framework to model the uncertainty on the space-time location of a moving object between its measured space-time locations, based on a bound on the speed of the moving object. In this model, the <i>generalised alibi query</i> asks whether <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textsf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">n</mi> </math></EquationSource> </InlineEquation> moving objects, given by their respective measured space-time locations and speed bounds, may have met. An analytical solution for <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textsf{n}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> to this problem was first given by Kuijpers et al. (Int J Geogr Inf Sci 25(2):293–322, 2011) and later geometric and algorithmic solutions were proposed for aribtrary finite <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textsf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">n</mi> </math></EquationSource> </InlineEquation> in Jansen and Kuijpers (Comput Geom 127:102159, 2025). In this paper, we extend the previous methods to space-time prisms that include “stationary activity time”. We propose solutions that work via the spatial projection as well as methods that use the temporal projection, using techniques from convex and semi-algebraic geometry. We also address variants of the alibi query where it is asked whether the <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textsf{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">n</mi> </math></EquationSource> </InlineEquation> moving objects may have met at a spatial location or at given moment in time.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Algorithms to decide the generalised alibi query for space-time prisms with stationary activity time

  • Arthur Jansen,
  • Bart Kuijpers

摘要

Space-time prisms provide a framework to model the uncertainty on the space-time location of a moving object between its measured space-time locations, based on a bound on the speed of the moving object. In this model, the generalised alibi query asks whether \(\textsf{n}\) n moving objects, given by their respective measured space-time locations and speed bounds, may have met. An analytical solution for \(\textsf{n}=2\) n = 2 to this problem was first given by Kuijpers et al. (Int J Geogr Inf Sci 25(2):293–322, 2011) and later geometric and algorithmic solutions were proposed for aribtrary finite \(\textsf{n}\) n in Jansen and Kuijpers (Comput Geom 127:102159, 2025). In this paper, we extend the previous methods to space-time prisms that include “stationary activity time”. We propose solutions that work via the spatial projection as well as methods that use the temporal projection, using techniques from convex and semi-algebraic geometry. We also address variants of the alibi query where it is asked whether the \(\textsf{n}\) n moving objects may have met at a spatial location or at given moment in time.