arxiv: 2604.27168 · v2 · submitted 2026-04-29 · 💻 cs.RO · cs.HC

Recognition: unknown

The Field of Safe Motion: Operationalizing Affordances in the Field of Safe Travel Using Reachability Analysis

Leif Johnson , Trent Victor , Johan Engstr\"om

Authors on Pith no claims yet

Pith reviewed 2026-05-08 02:59 UTC · model grok-4.3

classification 💻 cs.RO cs.HC

keywords field of safe motionfield of safe travelreachability analysisdriving safetykinematic modelsescape routesaffordances

0 comments

The pith

The Field of Safe Motion turns the conceptual Field of Safe Travel into a quantitative model using reachability analysis to check for collision-free escape routes in driving.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper tries to establish a concrete computational version of the Field of Safe Travel by defining the Field of Safe Motion. This model uses reachability analysis on kinematic models to determine at any moment whether a driver has a safe escape path that accounts for their own abilities and others' possible moves. A sympathetic reader would care because it provides an interpretable way to assess safety that bounds uncertainty with basic assumptions rather than complex predictions. This could help evaluate driving behavior in many scenarios without needing advanced machine learning.

Core claim

The central claim is that the Field of Safe Motion provides a quantitative safety model for determining whether a driver maintains a collision-free escape route at any given moment. It does this by accounting for the driver's physical capabilities and the foreseeable actions of other road users through reachability analysis applied to interpretable kinematic models. This operationalizes the long-standing conceptual Field of Safe Travel into a practical tool that relies on a small set of basic assumptions.

What carries the argument

The Field of Safe Motion, a reachability set of states where the driver can reach safety without collision, computed from kinematic models of the driver and other road users.

Load-bearing premise

The model assumes that simple kinematic models are enough to bound what other road users will reasonably do in the future and that a driver's physical capabilities can be accurately captured in those same models.

What would settle it

A concrete falsifier would be a situation where the model predicts a safe escape route but a collision occurs due to unaccounted behaviors, or predicts no route but the driver avoids collision.

read the original abstract

We present the Field of Safe Motion (FSM), a quantitative safety model for determining whether a driver maintains a collision-free escape route, or "out," at any given moment by accounting for that driver's physical capabilities and the foreseeable actions of other road users. The Field of Safe Travel (FST) provides a framework for representing the types of sensory information and actions available to drivers. However, the FST has remained conceptual in nature since its initial publication almost 90 years ago -- and a concrete computational operationalization is still lacking. At the same time, reachability analysis provides a quantitative basis for assessing the possible actions available to road users, using interpretable kinematic models, but reachability models have so far remained confined largely to the engineering and robotics literature. Bringing these two approaches together provides for an interpretable, quantitative tool for assessing driving behavior across a wide range of driving scenarios. Beyond being interpretable, our approach relies on a relatively small set of basic assumptions that are easy to enumerate and reason about. Furthermore, an interpretable reachability model paired with kinematic assumptions provides a way to bound uncertainty about road users' reasonably foreseeable future locations. We demonstrate the applicability of the FSM to different driving scenarios and discuss the strengths and weaknesses of the model.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper turns the 1930s Field of Safe Travel idea into a reachability-based model for checking safe escape routes, but the abstract leaves the actual computations and results opaque.

read the letter

The main takeaway is that the authors have built a quantitative version of the old Field of Safe Travel concept. They call it the Field of Safe Motion and use reachability analysis on kinematic models to decide whether a driver has a collision-free 'out' at any moment, given their own limits and what other road users might reasonably do next. That combination is new in the way they frame it, and they keep the assumptions explicit and enumerable, which is a real plus for interpretability in safety work.

Referee Report

0 major / 3 minor

Summary. The manuscript presents the Field of Safe Motion (FSM) as a quantitative safety model that operationalizes the long-standing conceptual Field of Safe Travel (FST) framework. It uses reachability analysis on kinematic models to determine, at any instant, whether a driver maintains a collision-free escape route ('out') while accounting for the driver's physical capabilities and the foreseeable future locations of other road users. The approach is illustrated through demonstrations in multiple driving scenarios, with explicit enumeration of modeling assumptions and emphasis on interpretability.

Significance. If the central modeling framework holds, the work provides a useful synthesis that makes an 90-year-old conceptual affordance model computationally operational via tools already common in robotics. The explicit listing of assumptions and the use of reachability sets to bound uncertainty about other agents' actions are genuine strengths that allow the method to be critiqued and extended without hidden parameters. This positions FSM as a candidate interpretable safety layer for both human-driver assessment and autonomous-vehicle planning.

minor comments (3)

The demonstrations in the scenario section are purely qualitative. Adding even simple quantitative descriptors (e.g., area of the FSM or minimum distance to the boundary of the reachable set) would make the figures more informative without altering the paper's scope.
Notation for the reachable sets of the ego vehicle versus surrounding agents is introduced but not always consistently subscripted across the model description; a short table of symbols would eliminate ambiguity.
The abstract states that the model 'bounds uncertainty' but does not name the specific kinematic models (e.g., single-track vs. point-mass) used in the reachability computations; a single sentence in the abstract or introduction would orient readers immediately.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. The assessment correctly identifies the core contribution: a quantitative, interpretable operationalization of the 90-year-old Field of Safe Travel concept via reachability analysis on kinematic models, with explicit assumptions and bounded uncertainty about other agents.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper frames FSM as a synthesis of the long-standing conceptual FST (Gibson & Crooks, 1938) with standard reachability analysis on kinematic models. No derivation step reduces by construction to its own inputs, no fitted parameters are relabeled as predictions, and no load-bearing uniqueness theorems or ansatzes are imported via self-citation. The central claim is an explicit operationalization resting on enumerable kinematic assumptions that remain independent of the target result. This is the normal case of a self-contained modeling framework.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The model rests on standard domain assumptions about kinematic reachability and foreseeability of other agents; no free parameters or invented entities are mentioned in the abstract.

axioms (2)

domain assumption Simple kinematic models suffice to represent driver and vehicle capabilities for reachability computation
The abstract states that the approach relies on interpretable kinematic models.
domain assumption Reachability sets can bound uncertainty about other road users' future locations
The abstract claims the model provides a way to bound uncertainty about foreseeable actions.

pith-pipeline@v0.9.0 · 5531 in / 1369 out tokens · 43715 ms · 2026-05-08T02:59:56.449228+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 5 canonical work pages

[1]

In 2008 IEEE Intelligent Vehicles Symposium pp

Stochastic reachable sets of interacting traﬃc participants. In 2008 IEEE Intelligent Vehicles Symposium pp. 1086-1092. Bicchieri, C

2008
[2]

2011-01-0094)

The tire-force ellipse (friction ellipse) and tire characteristics (No. 2011-01-0094). SAE Technical Paper . Broadhurst, A., Baker, S., and Kanade, T

2011
[3]

The American Journal of Psychology , 130(4), pp.413-429

Gibson and Crooks (1938): vision and validation. The American Journal of Psychology , 130(4), pp.413-429. Engström, J., Liu, S.-Y., Dinparastdjadid, A., and Simoiu, C

1938
[4]

Springer, Cham

Lecture Notes in Mobility. Springer, Cham. https://doi.org/10.1007/978-3-032-12374-9_6 Fuller, R

work page doi:10.1007/978-3-032-12374-9_6
[5]

doi: 10.1109/IEEESTD.2022.9761121 Johnson, L., Engström, J., Srinivasan, A., Özturk, I., and Markkula, G

Standard 2846-2022 for Assumptions in Safety-Related Models for Automated Driving Systems. doi: 10.1109/IEEESTD.2022.9761121 Johnson, L., Engström, J., Srinivasan, A., Özturk, I., and Markkula, G

work page doi:10.1109/ieeestd.2022.9761121 2022
[6]

arXiv preprint arXiv:2505.14842

Looking for an out: Aﬀordances, uncertainty and collision avoidance behavior of human drivers. arXiv preprint arXiv:2505.14842. Kadar, E. E., and Shaw, R. E

work page arXiv
[7]

Nature Machine Intelligence 2 , 518–528

Using online veriﬁcation to prevent autonomous vehicles from causing accidents. Nature Machine Intelligence 2 , 518–528. https://doi.org/10.1038/s42256-020-0225-y Schumann, J., Engström, J., Johnson, L., O'Kelly, M., Messias, J., Kober, J., Zgonnikov, A. Active inference as a uniﬁed model of collision avoidance behavior in human drivers. arXiv:2506.02215 ...

work page doi:10.1038/s42256-020-0225-y
[8]

On a Formal Model of Safe and Scalable Self-driving Cars

On a formal model of safe and scalable self-driving cars. arXiv preprint arXiv:1708.06374. Smith, K., and Källhammer, J. E

work page Pith review arXiv