Paper Citation Record · LEDGER

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming

As of 20 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2504.19330.

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

pith.paper-citation-record.v1
2504.19330 v2

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T06:05:44.491474Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

31 of 31 outbound references displayed

verified exact0
verified fuzzy14
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 56fe4871-b36e-4a03-8c73-d6dd57b384ba · outbound

This paper cites Agrawal and K.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Agrawal and K

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:45.127638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 613b5bab-446f-406e-901d-0f84c8d39da4 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:45.106469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 750b39eb-7262-41c4-bbe3-12c4c71b55bd · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:45.084844Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2d4c059b-936e-4eec-a25a-e3e91fe546a1 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:45.063541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2ee5bc44-b2bc-4b15-882a-0a341b25af76 · outbound

This paper cites A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T06:05:44.360921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e492eab0-d9d3-4fab-980d-a088ab0c033f · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:45.045928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f01a4e57-955e-4c59-8069-150335bd9947 · outbound

This paper cites Dai and F.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Dai and F

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:45.027640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e27275c8-2c2c-4441-a3d4-5c8f39680a37 · outbound

This paper cites Delimpaltadakis, J.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Delimpaltadakis, J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:45.006141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c18f687a-8bbf-420c-8edf-65246671c780 · outbound

This paper cites Freire and M.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Freire and M

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.984976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3973a995-f819-467a-8d0a-a31004af8ce9 · outbound

This paper cites Freire and M.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Freire and M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.967087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c0b8db53-5607-4f66-acbb-2c89838fd8c8 · outbound

This paper cites Gurriet, M.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Gurriet, M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.947791Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5e5f8912-0750-442c-8506-0e1e4cd0de1d · outbound

This paper cites Herceg, M.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Herceg, M

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.928142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 28a7193a-aa1b-42a8-891d-6c4530a3dbe0 · outbound

This paper cites Jagtap, S.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Jagtap, S

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.911123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation adcc25a4-7f56-40f3-82c3-5af213240a0d · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.889624Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 96d260ec-4991-4a2c-85e0-4f28f655a5ca · outbound

This paper cites Katriniok, E.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Katriniok, E

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.873288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 607ce098-1a1a-4e7b-a24d-c363ed9b828d · outbound

This paper cites Lindemann, A.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Lindemann, A

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.855146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 037a4752-10e8-493b-b017-6c549d9cb0bb · outbound

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

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T06:05:44.419329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df22b281-1c8e-4f9c-9acd-b027f63918b3 · outbound

This paper cites Papachristodoulou and S.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Papachristodoulou and S

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.834429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5af80480-a0d7-448c-aa53-a2a088631666 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.802263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 083faa60-a6c7-45b3-8c11-b0efe0298a59 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.781072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c0b9470d-3d3e-4017-93f1-e3a271f712ab · outbound

This paper cites Shakhesi, W.P.M.H.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Shakhesi, W.P.M.H

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.760841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4aaf6371-8a27-479a-b47e-42d22690f52a · outbound

This paper cites Shakhesi, W.P.M.H.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Shakhesi, W.P.M.H

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.744079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0982c98c-86d7-44df-bb49-218f04653403 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.727928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 83029bdb-a15a-4d67-8f09-5d2dbc9201dd · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.711991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 663bc3aa-b96d-4097-b567-a99c7e712f94 · outbound

This paper cites Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T06:05:44.458403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0a71191-6f59-4256-b5b8-bd04c135d257 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.695894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 842fac1f-f03f-4b52-9989-72b0049dacf6 · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.677056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fd63faaa-632c-47dd-89fb-979c77816a0b · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.658154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 78fa9f39-ca76-4bab-837f-26bbb5a8c8db · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.640575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f3466074-4217-445b-9ec0-086d2c60bc0d · outbound

This paper cites an unresolved cited work.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-16T06:05:44.623364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8a257edf-38be-491f-b5f2-054819546fdf · outbound

This paper cites Zhang, Z.

Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming Zhang, Z

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:05:44.605590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.