Paper Citation Record · LEDGER

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees

As of 22 August 2026, this Paper Citation Record lists 28 of 28 outbound references and 1 inbound Pith citation observation for arXiv:2505.03612.

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

pith.paper-citation-record.v1
2505.03612 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T23:57:07.269091Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+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-05-13T18:06:46.465416Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-13T18:08:15.366132Z

Reference resolution

28 of 28 outbound references displayed

verified exact0
verified fuzzy17
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 48799418-7793-40bf-93fe-6642f95e9bbb · outbound

This paper cites Robust control barrier–value functions for safety-critical control,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Robust control barrier–value functions for safety-critical control,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.764046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b9bd1c54-9337-4208-b0c9-36c38401ad21 · outbound

This paper cites Control barrier function based quadratic programs for safety critical systems,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Control barrier function based quadratic programs for safety critical systems,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.156295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3272ec16-aa91-44e2-8d40-8ae8eaa3a9c1 · outbound

This paper cites Control barrier functions: Theory and applications,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Control barrier functions: Theory and applications,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.160786Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation deeec189-171d-4320-89b0-d1437f046349 · outbound

This paper cites Robust safety-critical control for dy- namic robotics,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Robust safety-critical control for dy- namic robotics,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.730120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 17143c48-d6d8-483e-9b33-92a3371a47dc · outbound

This paper cites Robust and safe coordination of multiple robotic manipulators: An approach using modified avoidance functions,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Robust and safe coordination of multiple robotic manipulators: An approach using modified avoidance functions,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.716725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation bb31791a-1f7f-4066-bf3e-b6afde29471d · outbound

This paper cites Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Data-driven safety filters: Hamilton-jacobi reachability, control barrier functions, and predictive methods for uncertain systems,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.174055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0a88421-e05b-4bef-92fe-af66a53e1875 · outbound

This paper cites Safety-critical model predictive control with discrete-time control barrier function,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safety-critical model predictive control with discrete-time control barrier function,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.178736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c60e807d-9618-4f20-93dd-1212f14799fc · outbound

This paper cites Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.685067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9575323f-f959-4762-ab64-a36308fa32f3 · outbound

This paper cites Efficient sum of squares-based verification and construction of control barrier functions by sampling on algebraic varieties,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Efficient sum of squares-based verification and construction of control barrier functions by sampling on algebraic varieties,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.670576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation a261a1b2-94a4-44e6-9fae-2593ee458942 · outbound

This paper cites Hamilton-jacobi reachability: A brief overview and recent advances,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Hamilton-jacobi reachability: A brief overview and recent advances,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.656325Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 89b87837-0e43-4349-86cf-261fb171ac3a · outbound

This paper cites Distributionally robust control synthesis for stochastic systems with safety and reach-avoid specifi- cations,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Distributionally robust control synthesis for stochastic systems with safety and reach-avoid specifi- cations,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.195468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ee2bfd2-08f7-4d02-abaa-eed6976b4746 · outbound

This paper cites Vaidyanathan and A.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Vaidyanathan and A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.641604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 9df94774-dc05-4640-9ae8-6a9ffb9e3306 · outbound

This paper cites Safe backstep- ping with control barrier functions,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safe backstep- ping with control barrier functions,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.625825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c5850d6f-f767-4b11-a432-c2596b19162e · outbound

This paper cites Safe control synthesis for multicopter via control barrier function backstepping,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safe control synthesis for multicopter via control barrier function backstepping,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.612696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation b641058a-00a1-4765-9b86-e3a77f37c4f5 · outbound

This paper cites Safe pde backstepping qp control with high relative degree cbfs: Stefan model with actuator dynamics,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safe pde backstepping qp control with high relative degree cbfs: Stefan model with actuator dynamics,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.598582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation d9b4b09a-ed07-410e-8970-2b199dcc090d · outbound

This paper cites Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.584717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 0bc055ab-e26c-40f0-b48b-74c76f7d5fca · outbound

This paper cites Control barrier functions for systems with high relative degree,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Control barrier functions for systems with high relative degree,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.571032Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation c1e609cb-e62a-4bd6-a46d-79a01370ee87 · outbound

This paper cites High-order control barrier functions,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees High-order control barrier functions,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.226952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 891eb343-d6a4-413e-995f-68fa80a700e3 · outbound

This paper cites Constructive safety- critical control: Synthesizing control barrier functions for partially feedback linearizable systems,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Constructive safety- critical control: Synthesizing control barrier functions for partially feedback linearizable systems,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.231050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1630a9d-4918-493c-878d-ea08f89cbfc6 · outbound

This paper cites Constrained control of input–output linearizable systems using control sharing barrier functions,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Constrained control of input–output linearizable systems using control sharing barrier functions,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.235177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09825783-381b-45dd-ae34-1d622c30854b · outbound

This paper cites Prescribed-time safety design for strict-feedback nonlinear systems,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Prescribed-time safety design for strict-feedback nonlinear systems,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.529876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 81303056-84e9-484b-aa0c-1547094b319c · outbound

This paper cites Learning safe, generalizable perception-based hybrid control with certificates,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Learning safe, generalizable perception-based hybrid control with certificates,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.243886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6a2671a-89ae-4803-b660-73c15264de37 · outbound

This paper cites Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.248094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b005308-7844-497d-9840-e9981978e955 · outbound

This paper cites Reach-avoid controllers synthesis for safety critical systems,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Reach-avoid controllers synthesis for safety critical systems,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.508186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 324bc1d2-3e66-4e85-a746-9500bcc29823 · outbound

This paper cites Reach-avoid verification based on convex optimization,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Reach-avoid verification based on convex optimization,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.494052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 73f82240-3f57-4448-9fab-1c3b688130b8 · outbound

This paper cites Isidori, Nonlinear control systems: an introduction.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Isidori, Nonlinear control systems: an introduction

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.480323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Observation 4902fd91-05ad-4af4-b1a3-3a4dcd93ee54 · outbound

This paper cites SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-15T23:57:07.264556Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 170355c6-208f-40a3-9181-54646f1b13fd · outbound

This paper cites Mosek optimization toolbox for matlab,.

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees Mosek optimization toolbox for matlab,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T23:57:07.466120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.

Pith citing papers

Observation 8fe00045-123f-4dc0-8686-8a9d83275468 · inbound

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping cites this paper.

Reach-Avoid Model Predictive Control with Guaranteed Recursive Feasibility via Input Constrained Backstepping Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-13T18:08:15.367612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.