Paper Citation Record · LEDGER

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems

As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.09323.

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

pith.paper-citation-record.v1
1908.09323 v3

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T11:27:55.357450Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

35 of 35 outbound references displayed

verified exact1
verified fuzzy27
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d134c2b8-fe28-4d34-8e08-d46eaaaefdce · outbound

This paper cites Blanchini and S.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Blanchini and S

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:55.185469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a2a5a53-893b-4b81-9f75-a15f3ddbf4ef · outbound

This paper cites Control barrie r function based quadratic programs with application to adaptive crui se control,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Control barrie r function based quadratic programs with application to adaptive crui se control,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.910179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 23b3eab2-3382-44ff-8c88-d937be97b9fc · outbound

This paper cites Control b arrier function based quadratic programs for safety critical syst ems,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Control b arrier function based quadratic programs for safety critical syst ems,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:55.196138Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f93a612-8164-428d-9687-b7bcc8c63983 · outbound

This paper cites ¨Uber die lage der integralkurven gew¨ ohnlicher differ- entialgleichungen,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems ¨Uber die lage der integralkurven gew¨ ohnlicher differ- entialgleichungen,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.884492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b14e4a08-85f8-41ab-b848-6e8c26f1492f · outbound

This paper cites Principe du maximum, in´ egalit´ e de harnac k et unicit´ e du probleme de cauchy pour les op´ erateurs elliptiques d´ eg ´ en´ er´ es,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Principe du maximum, in´ egalit´ e de harnac k et unicit´ e du probleme de cauchy pour les op´ erateurs elliptiques d´ eg ´ en´ er´ es,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.870002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ee56e590-99b5-4f9f-b25a-1879862e543a · outbound

This paper cites On a characterization of ﬂow-invariant sets ,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems On a characterization of ﬂow-invariant sets ,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.855409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation adda1ea3-554b-4298-becc-b1fc18177156 · outbound

This paper cites On ﬂow-invariant sets.,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems On ﬂow-invariant sets.,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.841213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f658519a-5c94-49ed-a025-f0cbb9e80c26 · outbound

This paper cites The theorems of bony and brezis on ﬂow-inv ariant sets,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems The theorems of bony and brezis on ﬂow-inv ariant sets,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.826513Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5a911fdc-2acc-442f-8d0a-41c368b70c75 · outbound

This paper cites Safety veriﬁcation of hybri d systems us- ing barrier certiﬁcates,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Safety veriﬁcation of hybri d systems us- ing barrier certiﬁcates,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.811081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ebf466a6-6230-482b-9ca6-078b4e689f76 · outbound

This paper cites A framework f or worst- case and stochastic safety veriﬁcation using barrier certi ﬁcates,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems A framework f or worst- case and stochastic safety veriﬁcation using barrier certi ﬁcates,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.795809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c634f219-e697-4b51-85e1-d56de1ff3456 · outbound

This paper cites Converse barrier certiﬁca te theorems,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Converse barrier certiﬁca te theorems,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.781062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 74f5d411-0335-4c03-9901-a06b69b59cb1 · outbound

This paper cites Aubin, Viability theory.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Aubin, Viability theory

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.765251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f9533f15-983a-4b39-98b4-2599ccd7027c · outbound

This paper cites Exponentia l- condition-based barrier certiﬁcate generation for safety veriﬁcation of hybrid systems,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Exponentia l- condition-based barrier certiﬁcate generation for safety veriﬁcation of hybrid systems,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.749407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 95960076-3524-49fe-94f7-69ab0eac9de2 · outbound

This paper cites Ordinary differential equations,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Ordinary differential equations,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.733676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b922c1eb-d3ef-43fc-9f58-7ffc11d44cc3 · outbound

This paper cites Pachpatte, Inequalities for differential and integral equations , vol.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Pachpatte, Inequalities for differential and integral equations , vol

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.718370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6bf2d54d-ef54-4db4-be8d-3ca39c9d41e3 · outbound

This paper cites Lakshmikantham and S.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Lakshmikantham and S

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.703063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 305e6531-e99f-49a2-a7e9-c5af08e02be1 · outbound

This paper cites an unresolved cited work.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:55.687462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bbeea1a2-e2cf-4c1a-8fca-f5f78d5aa87f · outbound

This paper cites an unresolved cited work.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:55.672484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 8ff63f2d-fd03-4e97-bab4-3d2686490f0d · outbound

This paper cites Characterizations of safety in hybrid inclusions via barrier functions,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Characterizations of safety in hybrid inclusions via barrier functions,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.657228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7d1abedf-98f2-4724-825b-140cf63adbdb · outbound

This paper cites Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-08-14T11:27:55.420541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 677ecce7-dc7e-44a4-a883-cfe84b07d326 · outbound

This paper cites Flow-invariant sets and differential inequalities in normed spaces,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Flow-invariant sets and differential inequalities in normed spaces,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.641425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4b8e8209-15f8-45fd-890f-c5cdccc8a90d · outbound

This paper cites Control Barrier Functions: Theory and Applications.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Control Barrier Functions: Theory and Applications

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-14T11:27:55.288938Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d05329b-099f-4a82-a6da-7f32b0068542 · outbound

This paper cites Berge, Topological Spaces: including a treatment of multi-valued functions, vector spaces, and convexity.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Berge, Topological Spaces: including a treatment of multi-valued functions, vector spaces, and convexity

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.626009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7ea07118-a26b-4a84-a525-e4628bfdb1b6 · outbound

This paper cites Ly usternik’s theorem and the theory of extrema,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Ly usternik’s theorem and the theory of extrema,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.610493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3301f097-1fa7-449c-90fe-442254591bd4 · outbound

This paper cites Aubin and I.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Aubin and I

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.595387Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d704da4f-44e1-4690-850f-6272ff3f2340 · outbound

This paper cites Stability in nonlinear prog ramming,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Stability in nonlinear prog ramming,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.579901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ddfcc18f-1744-43c6-af9a-eb79ac3810b6 · outbound

This paper cites Continuous selections. i,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Continuous selections. i,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.564586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b87cd6eb-2379-4c6a-8a3e-a8c571124667 · outbound

This paper cites Point-to-set maps in mathematical progra mming,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Point-to-set maps in mathematical progra mming,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.549320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d9859179-871f-40e3-9be6-598a9910111d · outbound

This paper cites Aubin and A.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Aubin and A

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.533364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 61bebd49-8419-4fec-aade-72935ea79651 · outbound

This paper cites Continuity an d smooth- ness properties of nonlinear optimization-based feedback controllers,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Continuity an d smooth- ness properties of nonlinear optimization-based feedback controllers,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.500852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 9808830e-f4f1-4367-bf31-4ea08bcb2c99 · outbound

This paper cites Control barrier fu nctions for signal temporal logic tasks,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Control barrier fu nctions for signal temporal logic tasks,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.485016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d92a3392-824f-4f6f-a856-cc83b3003216 · outbound

This paper cites an unresolved cited work.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:55.469408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation adfa8035-ff1b-4978-93f8-7ff4e033cc59 · outbound

This paper cites Robustn ess of con- trol barrier functions for safety critical control,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Robustn ess of con- trol barrier functions for safety critical control,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.517881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5b0e4fd5-67e0-495d-a3ff-7c3f451a9735 · outbound

This paper cites Extensions of the Evans-Gould stability theorems for mathematical programs,.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Extensions of the Evans-Gould stability theorems for mathematical programs,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T11:27:55.453253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 920d34e6-3397-4678-92ac-51121925643b · outbound

This paper cites an unresolved cited work.

Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-14T11:27:55.436476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.