Paper Citation Record · LEDGER

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes

As of 4 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 1 inbound Pith citation observation for arXiv:2512.05495.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2512.05495 v2

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-17T01:47:24.021217Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T04:54:11.999117Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

25 of 25 outbound references displayed

verified exact1
verified fuzzy21
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d269b5cc-fe4d-4ec7-b800-fdbec5e0b5ec · outbound

This paper cites an unresolved cited work.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:48:51.631272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 59dceb3a-7b23-4c03-9152-b85565e34063 · outbound

This paper cites Fuzzy extended vikor-based mobile robot selection model for hospital pharmacy.International Journal of Advanced Robotic Systems, 15(4):1729881418787315.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Fuzzy extended vikor-based mobile robot selection model for hospital pharmacy.International Journal of Advanced Robotic Systems, 15(4):1729881418787315

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.642976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation da2e722a-4529-495e-8cd1-80f649dd4682 · outbound

This paper cites Autonomous navigation system for a differential drive mobile robot.Journal of Testing and Evaluation, 52(2):841–852.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Autonomous navigation system for a differential drive mobile robot.Journal of Testing and Evaluation, 52(2):841–852

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.635529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2e897f09-b926-4e0b-aa46-aa0dcdab06a4 · outbound

This paper cites Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the Moore-Greizer model.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Control of nonlinear systems with reach-avoid-stay specifications: A Lyapunov-barrier approach with an application to the Moore-Greizer model

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.639444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d3b9e7ab-da3f-4885-9571-01db526923ad · outbound

This paper cites A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes A fully automated framework for control of linear systems from temporal logic specifications.IEEE Transactions on Automatic Control, 53(1):287–297

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.627509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c48fdf2f-bb50-4eee-812f-c43cbf65799d · outbound

This paper cites Spatiotemporal tubes for temporal reach-avoid-stay tasks in unknown systems.IEEE Transactions on Automatic Control.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Spatiotemporal tubes for temporal reach-avoid-stay tasks in unknown systems.IEEE Transactions on Automatic Control

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.623025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9eed6e60-7a05-4ad5-9b4b-8263c68ac767 · outbound

This paper cites Springer Science & Business Media.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Springer Science & Business Media

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.618746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 087bd722-38f4-4306-9c38-b6fd2ed5cd15 · outbound

This paper cites Ames, Xiangru Xu, Jessy W.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Ames, Xiangru Xu, Jessy W

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.715663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9510833b-f851-4cdd-8ef7-66ec98ef3903 · outbound

This paper cites Collision cone control barrier functions: Experimental validation on UGVs for kinematic obstacle avoidance.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Collision cone control barrier functions: Experimental validation on UGVs for kinematic obstacle avoidance

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.712815Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d432d3cc-ad93-4b87-8448-d22c60bab57c · outbound

This paper cites A Collision Cone Approach for Control Barrier Functions.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes A Collision Cone Approach for Control Barrier Functions

Reference 10

Resolution: verified exact; arxiv_id, observed 2026-05-17T01:48:50.527120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9fb6f6dd-8f0f-4d97-ac83-de9ca448566e · outbound

This paper cites Dimarogonas.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Dimarogonas

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.659845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 6f05258f-45dc-424e-858f-c68a247cc7b9 · outbound

This paper cites Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.680695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation fe8fc3f6-b6bf-41e8-8bc4-b8d99a8c8a58 · outbound

This paper cites Disturbance rejection mpc for tracking of wheeled mobile robot.IEEE/ASME Transactions On Mechatronics, 22(6):2576–2587.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Disturbance rejection mpc for tracking of wheeled mobile robot.IEEE/ASME Transactions On Mechatronics, 22(6):2576–2587

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.694730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation becf83a4-7a26-4d92-8b83-3997dc919202 · outbound

This paper cites Dynamic control barrier function-based model predictive control to safety-critical obstacle-avoidance of mobile robot.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Dynamic control barrier function-based model predictive control to safety-critical obstacle-avoidance of mobile robot

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.709615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation aa3c13cb-3796-4f9a-9e29-dbb033e917af · outbound

This paper cites an unresolved cited work.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:48:51.645965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 39d17959-5601-4a4b-a49c-d84330b5ac8b · outbound

This paper cites Bechlioulis and George A.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Bechlioulis and George A

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.697956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d9dda7fe-fd46-4429-812b-4a035dfdd2f8 · outbound

This paper cites Approximation-free prescribed performance control with prescribed input constraints.IEEE Control Systems Letters, 7:1261–1266.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Approximation-free prescribed performance control with prescribed input constraints.IEEE Control Systems Letters, 7:1261–1266

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.705810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4cd55b50-9a58-42b9-b331-b0bab28ab17b · outbound

This paper cites Dimarogonas.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Dimarogonas

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.684052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation db5219f9-cdf6-4928-bec6-749e94104f97 · outbound

This paper cites Path-following through control funnel functions.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Path-following through control funnel functions

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.656541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3bf46823-531c-471c-9621-963a0d97108c · outbound

This paper cites Prescribed time scale robot navigation.IEEE Robotics and Automation Letters, 3(2):1191–1198.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Prescribed time scale robot navigation.IEEE Robotics and Automation Letters, 3(2):1191–1198

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.652685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cd76e02d-06fc-4e99-9cbe-248560485e91 · outbound

This paper cites Kdf: Kinodynamic motion planning via geometric sampling-based algorithms and funnel control.IEEE Transactions on robotics, 39(2):978–997.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Kdf: Kinodynamic motion planning via geometric sampling-based algorithms and funnel control.IEEE Transactions on robotics, 39(2):978–997

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.691148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 43641a9e-b97c-474b-a27a-862283f9d874 · outbound

This paper cites Kinodynamic motion planning via funnel control for underactuated unmanned surface vehicles.IEEE Transactions on Control Systems Technology, 32(6):2114–2125.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Kinodynamic motion planning via funnel control for underactuated unmanned surface vehicles.IEEE Transactions on Control Systems Technology, 32(6):2114–2125

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.718936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0cce2208-9544-47ff-b9ef-d7df734475da · outbound

This paper cites Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.IEEE Control Systems Letters, 8:946–951.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Prescribed-time reach-avoid-stay specifications for unknown systems: A spatiotemporal tubes approach.IEEE Control Systems Letters, 8:946–951

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.649389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation be28a314-13f4-4657-961e-797b94fed2ac · outbound

This paper cites an unresolved cited work.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-17T01:48:51.701592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a01a4c54-3a2c-425e-88c5-d578c7de8572 · outbound

This paper cites Reactive safe path following for differential drive mobile robots using control barrier functions.

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes Reactive safe path following for differential drive mobile robots using control barrier functions

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-17T01:48:51.687596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

Observation 0868f1c0-1875-4881-ab92-63c494a8ec69 · inbound

Conformal Constraint Tightening for Chance-Constrained Motion Planning with Unknown Dynamics cites this paper.

Conformal Constraint Tightening for Chance-Constrained Motion Planning with Unknown Dynamics Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T04:54:11.999117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.