Paper Citation Record · LEDGER

Backward Reachability for Polynomial Systems on A Finite Horizon

As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:1907.03225.

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

pith.paper-citation-record.v1
1907.03225 v1

Coverage vector

measured 26 of 26 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-25T01:50:31.566938Z

measured 26 of 26 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

26 of 26 outbound references displayed

verified exact2
verified fuzzy23
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2ab212c0-d09f-4ed6-9961-d0775a0aecf2 · outbound

This paper cites Control design along trajectories with sums of squares pro- gramming.

Backward Reachability for Polynomial Systems on A Finite Horizon Control design along trajectories with sums of squares pro- gramming

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.355718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation a12583a6-2783-4766-956b-1029e9c54299 · outbound

This paper cites Funnel libraries for real-time robust feedback motion planning.

Backward Reachability for Polynomial Systems on A Finite Horizon Funnel libraries for real-time robust feedback motion planning

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.414278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 7ea3ceb7-debd-455f-a544-f78170e878fc · outbound

This paper cites A time-dependent HamiltonJacobi formulation of reachable sets for continuous dynamic games.

Backward Reachability for Polynomial Systems on A Finite Horizon A time-dependent HamiltonJacobi formulation of reachable sets for continuous dynamic games

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.335259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0e2e4c7-04dc-49af-b80d-bae183fb38da · outbound

This paper cites Convex computation of the region of attraction of polynomial control systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Convex computation of the region of attraction of polynomial control systems

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.371859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation bb15c8c5-e1e9-4cfc-829c-babc0aa273fc · outbound

This paper cites Convex optimization of nonlinear feedback controllers via occupation measures.

Backward Reachability for Polynomial Systems on A Finite Horizon Convex optimization of nonlinear feedback controllers via occupation measures

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.327354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1167c3d6-79ea-455f-9518-de1cd47d4117 · outbound

This paper cites Structured semideﬁnite programs and semialgebraic geometry methods in robustness and opti- mization.

Backward Reachability for Polynomial Systems on A Finite Horizon Structured semideﬁnite programs and semialgebraic geometry methods in robustness and opti- mization

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.397763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation cdbba9c1-a268-419d-9e85-73c5934d7d7d · outbound

This paper cites Quantitative local analysis of nonlinear systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Quantitative local analysis of nonlinear systems

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.351912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ce48fc74-7ea5-4f26-9ef8-9d72a676bf4e · outbound

This paper cites Stability region analysis using polynomial and composite polynomial Lyapunov functions and sum-of-squares programming.

Backward Reachability for Polynomial Systems on A Finite Horizon Stability region analysis using polynomial and composite polynomial Lyapunov functions and sum-of-squares programming

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.405799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation d242a4cd-4381-417d-9030-e81ff9ae5254 · outbound

This paper cites LMI-based computation of optimal quadratic Lyapunov functions for odd polynomial systems.

Backward Reachability for Polynomial Systems on A Finite Horizon LMI-based computation of optimal quadratic Lyapunov functions for odd polynomial systems

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.385509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 0d330952-80d7-4d0c-a94a-0ce5be3dbb0c · outbound

This paper cites Computing the domain of attraction for polynomial systems via BMI optimiza- tion method.

Backward Reachability for Polynomial Systems on A Finite Horizon Computing the domain of attraction for polynomial systems via BMI optimiza- tion method

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.367579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c58196d0-2d13-4a02-9c03-6a86423021a9 · outbound

This paper cites Region of attraction analysis with integral quadratic constraints.

Backward Reachability for Polynomial Systems on A Finite Horizon Region of attraction analysis with integral quadratic constraints

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.363443Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5fa3163b-c7f8-4bb5-b3a3-ac3e8fe44fc5 · outbound

This paper cites Controls applications of sum of squares programming.

Backward Reachability for Polynomial Systems on A Finite Horizon Controls applications of sum of squares programming

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.347810Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation ade076f2-9df9-45fd-ad0d-e1bcde640d46 · outbound

This paper cites Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.393643Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1ad66d29-b529-4a57-bfcd-ddf6b71b0318 · outbound

This paper cites Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-25T01:55:13.387677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 14d02e94-abdd-4575-b15b-df43ae26a36a · outbound

This paper cites Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.389625Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c8b00430-6dd3-4ed5-addc-6fea7271f38a · outbound

This paper cites Quantitative local L 2- gain and reachability analysis for nonlinear systems.

Backward Reachability for Polynomial Systems on A Finite Horizon Quantitative local L 2- gain and reachability analysis for nonlinear systems

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.322200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 40e5528e-c57a-44e9-bb49-c91ef8f6dfb2 · outbound

This paper cites Quasiconvex sum-of-squares programming.

Backward Reachability for Polynomial Systems on A Finite Horizon Quasiconvex sum-of-squares programming

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.338955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation c0a5504a-4e57-4787-b6de-5453c8ade311 · outbound

This paper cites Method of centers for minimizing generalized eigenvalues.

Backward Reachability for Polynomial Systems on A Finite Horizon Method of centers for minimizing generalized eigenvalues

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.343074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 9e8fc0ed-c862-4294-9ae9-0a1361d10028 · outbound

This paper cites Boyd and L.

Backward Reachability for Polynomial Systems on A Finite Horizon Boyd and L

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.317619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 8d434ae8-b9b0-4393-9982-f4274d696801 · outbound

This paper cites SOSOPT: A Toolbox for Polynomial Optimization.

Backward Reachability for Polynomial Systems on A Finite Horizon SOSOPT: A Toolbox for Polynomial Optimization

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-05-25T01:55:13.382436Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 34518cb2-1948-40a2-9f3d-4cf868badb9f · outbound

This paper cites The MOSEK optimization toolbox for MATLAB manual. Version 8.1.

Backward Reachability for Polynomial Systems on A Finite Horizon The MOSEK optimization toolbox for MATLAB manual. Version 8.1

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.410505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 54c977f6-b881-4fac-a350-ec48299a6d27 · outbound

This paper cites On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents.

Backward Reachability for Polynomial Systems on A Finite Horizon On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.376793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 1959a679-a958-4c6d-907c-6b9799ae92f3 · outbound

This paper cites Kinematic and dynamic control of a wheeled mobile robot.

Backward Reachability for Polynomial Systems on A Finite Horizon Kinematic and dynamic control of a wheeled mobile robot

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.401515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 038a0dd5-6001-481b-bb61-e35e1f9e0b82 · outbound

This paper cites Recent NASA research on aerodynamic modeling of poststall and spin dynamics of large transport airplanes.

Backward Reachability for Polynomial Systems on A Finite Horizon Recent NASA research on aerodynamic modeling of poststall and spin dynamics of large transport airplanes

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.381557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation 5c2bc311-85fe-4256-857b-29a8bb8aa480 · outbound

This paper cites an unresolved cited work.

Backward Reachability for Polynomial Systems on A Finite Horizon Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-05-25T21:16:13.331352Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Observation da1e1ab7-7cad-4838-9aba-67ff622c6001 · outbound

This paper cites Nonlinear region of attraction analysis for ﬂight control veriﬁcation and validation.

Backward Reachability for Polynomial Systems on A Finite Horizon Nonlinear region of attraction analysis for ﬂight control veriﬁcation and validation

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-25T21:16:13.359557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.