Pith. sign in

Paper Citation Record · LEDGER

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints

As of 17 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 2 inbound Pith citation observations for arXiv:2504.15830.

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

pith.paper-citation-record.v1
2504.15830 v1

Coverage vector

measured 66 of 66 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T11:26:11.936068Z

measured 68 of 68 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-05T10:20:05.146489Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T20:26:12.774998Z

Reference resolution

66 of 66 outbound references displayed

  • verified exact1
  • verified fuzzy44
  • unresolved21
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9d2d2125-af1d-48fd-8092-6b7cfeed8cc6 · outbound

This paper cites Constructive safety using control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constructive safety using control barrier functions,

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.694167Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.694167Z digest=sha256:a6b5143faefcd01f7a61c13eec5db4101cce1fd68fdbaeeff359ddcd5c8c8bd1

Observation 359510da-48c7-444f-9809-5d9ea66797ec · outbound

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

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier function based quadratic programs for safety critical systems,

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.699344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.699344Z digest=sha256:337efa226198b98426a46f93af549388c22564259f712475687b68396fb6f143

Observation d6ca488f-6d02-4af4-9eb4-f7a9580cda27 · outbound

This paper cites Barrier function based model predictive control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Barrier function based model predictive control,

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.703525Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.703525Z digest=sha256:88c215f97d62fd73eb0b2fe0c57ed9b29c9ee497ee687e6cd47c460a8527bafc

Observation 75e75390-3c56-46ba-8e96-ee567434ca6e · outbound

This paper cites The interior-point revolution in optimization: History, recent developments, and lasting consequences,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints The interior-point revolution in optimization: History, recent developments, and lasting consequences,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.622266Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.707476Z digest=sha256:d04d65219bbffe7d0747cd207128d3e4680269b78f06b4cac4d57d45f8faa071

Observation 31c69574-1173-4c50-88d1-0ecce34efe45 · outbound

This paper cites Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Runtime assurance for safety-critical systems: An introduction to safety filtering approaches for complex control systems,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.610869Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.711826Z digest=sha256:bd7993d6dc393a5b0282461d2f04de1abb573511128cdd89c5e9657156a23602

Observation bd95c929-9e7c-4495-82ea-5bd10530a248 · outbound

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

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints 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-16T11:26:11.716132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.716132Z digest=sha256:1603e457a1a98e8f3235a03ed51ab71c90b98e946e5d4f243f4123c7b9585853

Observation 1484d06c-9356-4bb4-9505-31f3de38df9a · outbound

This paper cites Control barrier function based quadratic programs with application to adaptive cruise control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier function based quadratic programs with application to adaptive cruise control,

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.720476Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.720476Z digest=sha256:789823b9ed0d7599912b0e558f2ceae14a50d8299f59e7afa967d3300a1f074d

Observation 2de4b16a-c903-4211-9a3e-931c29db6796 · outbound

This paper cites Safety-critical control for non-affine non- linear systems with application on autonomous vehicle,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-critical control for non-affine non- linear systems with application on autonomous vehicle,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.585549Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.724404Z digest=sha256:6504e4e8166c8597088595659cda8047829e561aae8c4992583ae2bc66976e97

Observation c592db4f-77de-4863-86cd-e472a5b3ac6f · outbound

This paper cites Decentralized merging control in traffic networks: a control barrier function approach,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Decentralized merging control in traffic networks: a control barrier function approach,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.573715Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.728462Z digest=sha256:c7c826bb003f30e8d75055b1e6649d8251320c6c48b01630498c867a3f0e6422

Observation 1b1465cb-3dfe-468b-8c32-fa1ab0b09a38 · outbound

This paper cites Rule-based safety-critical control design using control barrier functions with application to au- tonomous lane change,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Rule-based safety-critical control design using control barrier functions with application to au- tonomous lane change,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.562183Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.732224Z digest=sha256:60504c420063a642c99b367c995db8c92255715e4581f3dc20b0a8566b7d7cad

Observation c4192b77-285a-46ea-b07b-5018a8f9a123 · outbound

This paper cites Decentralized ve- hicle coordination and lane switching without switching of controllers,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Decentralized ve- hicle coordination and lane switching without switching of controllers,

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.736409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.736409Z digest=sha256:b45910b29729d3c99fc5f072018d148aa6689823c836c5479f978d7d567b0be0

Observation 83a09675-965e-4470-8115-6451ca44a8db · outbound

This paper cites Maneuvering with safety guarantees using control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Maneuvering with safety guarantees using control barrier functions,

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.542621Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.740456Z digest=sha256:5258357280d8e9916ae8a810e0b2fa2c506d44ae04ca3eea03c31859e7be169a

Observation 7b019c17-8022-4742-b5ec-b28c906865d2 · outbound

This paper cites Safety-certified constrained control of maritime autonomous surface ships for automatic berthing,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-certified constrained control of maritime autonomous surface ships for automatic berthing,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.530949Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.744831Z digest=sha256:2829fc3a11b12df948e06387b2087eafdce820d0a71c4dc070e3900a8578c969

Observation 0d6cb2ea-dc09-474c-b5e7-0dd0d65f54f8 · outbound

This paper cites Safety-critical guid- ance of underactuated marine vehicles in dynamic environments using velocity obstacles,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety-critical guid- ance of underactuated marine vehicles in dynamic environments using velocity obstacles,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.519340Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.748786Z digest=sha256:8bcfda0141d45d100f8fcbd5e21c7272914e7cb58659b8930274caf2511c9eb3

Observation 45bcac25-28eb-4dc2-ba25-d4d9d631b773 · outbound

This paper cites Combining control barrier functions and behavior trees for multi-agent underwater coverage missions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Combining control barrier functions and behavior trees for multi-agent underwater coverage missions,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.507463Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.752629Z digest=sha256:9640a0bfbc31a38ff1bc7b3e2eef684f109014b04f35d54a4a68bfb9057d5017

Observation e1879b06-b5be-4dc4-a1fd-b8b8bec9d7af · outbound

This paper cites Safety verification of 15 reactive controllers for uav flight in cluttered environments using barrier certificates,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety verification of 15 reactive controllers for uav flight in cluttered environments using barrier certificates,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.495808Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.756260Z digest=sha256:2510d4f4d5cb4cc6fdba8ad84c083ac2ef48945a5ea492d7917ffc2d62d56c8b

Observation 705d7ce8-490b-4d2d-908a-02227d97a72d · outbound

This paper cites Guaranteed safe spacecraft docking with control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Guaranteed safe spacecraft docking with control barrier functions,

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.484025Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.759734Z digest=sha256:646464e1dcadb803034a8a3beb1b602c5a0abc3950063bc9b41ced6955f39d62

Observation 3c80c13c-61f8-4fd1-8fe8-284922a561f5 · outbound

This paper cites Collision avoidance and geofencing for fixed-wing aircraft with control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Collision avoidance and geofencing for fixed-wing aircraft with control barrier functions,

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.763760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.763760Z digest=sha256:05e35a1af26448cfbc34b00b39dd84983e23ce9ede7ed2eceaf84f3529399abe

Observation 5e66d9ca-68c4-42e8-bd4d-a9838e5cc55c · outbound

This paper cites Linear velocity-free visual servoing control for unmanned helicopter landing on a ship with visibility constraint,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Linear velocity-free visual servoing control for unmanned helicopter landing on a ship with visibility constraint,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.465014Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.767854Z digest=sha256:06932cb2a48e5602936e23267758d42fb5c6865f1675b319c0aa8805252e8984

Observation 975e3ef3-742e-4f79-86af-5d45effb04ab · outbound

This paper cites Control barrier functions for mechanical systems: Theory and application to robotic grasping,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier functions for mechanical systems: Theory and application to robotic grasping,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.451970Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.771591Z digest=sha256:60ba566666003114d4754b2b78cb5d80631a460406cacfab768db3a065e51a12

Observation 00b5b4df-6e14-4606-bec6-462b9a23cfab · outbound

This paper cites Safe control for soft-rigid robots with self-contact using control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe control for soft-rigid robots with self-contact using control barrier functions,

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.440446Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.775345Z digest=sha256:6e9b225c3a492d4939b1301322967caa656594c35d890ffaf0091f44734ad9c9

Observation cf13c8f1-61db-4e7e-9257-ff172fd8af98 · outbound

This paper cites Constrained robot control using control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constrained robot control using control barrier functions,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.429207Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.778921Z digest=sha256:3490c1e96bf4d7878d1c86682f3b450415f55ae11f169ebd028e4389e0c52736

Observation ca498a58-4f29-41fb-a9ba-35cfc9e83c96 · outbound

This paper cites A control barrier function approach for maximizing perfor- mance while fulfilling to iso/ts 15066 regulations,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A control barrier function approach for maximizing perfor- mance while fulfilling to iso/ts 15066 regulations,

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.417609Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.782457Z digest=sha256:1e15d6827f0c61618f0da3ead3fc495e9c5a7a007360c12e7fc0383ce4d54430

Observation 1b8d0024-3fcc-410d-842f-b6739729ce1f · outbound

This paper cites Distributed barrier function-enabled human-in-the-loop control for multi-robot sys- tems,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Distributed barrier function-enabled human-in-the-loop control for multi-robot sys- tems,

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.405536Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.786119Z digest=sha256:710ab3d000cc16b75bff1a35fe1b4d022dff4e700b43a8f278aa10cfdc9d2093

Observation 45f49c01-c8ec-4870-9b7d-f536d8c6f9a2 · outbound

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

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Control barrier functions for signal temporal logic tasks,

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.789664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.789664Z digest=sha256:133e7a1ed327a65f2744e9fdb2c976d81726f2add92d7c4c23b498efb19c77c9

Observation 5d2496f4-29e2-40fd-b77e-10a89c132839 · outbound

This paper cites High order control lyapunov-barrier functions for temporal logic specifications,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High order control lyapunov-barrier functions for temporal logic specifications,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.386384Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.793167Z digest=sha256:95a511038bf39b0e16509595625c21467a6876d027e3204d8437a611cf7cdbbb

Observation f494ff47-a784-48fa-9e13-9146569942c0 · outbound

This paper cites Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Handling disjunctions in signal temporal logic based control through nonsmooth barrier functions,

Reference 27

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.796678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.796678Z digest=sha256:4c8f51fddccf6d841cff3832aabd2871a0dc95ae24c58efb6e13a8168888334c

Observation f79c8453-24a2-481f-9f45-5b81611248ce · outbound

This paper cites Continuous-time control synthe- sis under nested signal temporal logic specifications,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Continuous-time control synthe- sis under nested signal temporal logic specifications,

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.800114Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.800114Z digest=sha256:1266a0d72f92fe30dd29664522c3a49bb4ea216dfabe3a811f22e6e86ee56538

Observation 5536b9ca-2a31-4815-ad63-354e4abbf2ba · outbound

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

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.361664Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.804690Z digest=sha256:f19aa42733ef3b7fe3cd10632cbea9b86a4f375f0e42da29614d22db6ed5f111

Observation 44c5528f-aee1-4498-8efd-e2e73327fd84 · outbound

This paper cites High-order barrier functions: Robustness, safety and performance-critical control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High-order barrier functions: Robustness, safety and performance-critical control,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.351213Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.808207Z digest=sha256:649d9df866600d969c227688575c1487e604962724d78e5a084de51169ad9e39

Observation ce354026-b8ba-47c5-a7e5-e50549af8dc6 · outbound

This paper cites High order control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High order control barrier functions,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.339937Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.811608Z digest=sha256:4623c7b07cd6568b3aca79149acc3e0b7bce86d7f987ae19e50960ac49e82f73

Observation dbbd8f33-342e-4fdf-8be6-0326c4b66afa · outbound

This paper cites Low-complexity control for a class of uncertain mimo nonlinear systems under generalized time-varying output constraints,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Low-complexity control for a class of uncertain mimo nonlinear systems under generalized time-varying output constraints,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.328126Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.815151Z digest=sha256:e3e763745d2ca094974a148d5938c477efc1be277904954999e75a74801e32b1

Observation c6e80c2f-2c04-44d9-8ec6-67f1e93aa98b · outbound

This paper cites On the equivalence between prescribed performance con- trol and control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints On the equivalence between prescribed performance con- trol and control barrier functions,

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.316683Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.818349Z digest=sha256:ad6c4241ff7f77ab6de8918d676906cf3f0962cbb98b0a2b1b603043f1381fdc

Observation d41d9dfe-8f26-4651-9320-9b3b739d5944 · outbound

This paper cites Safe-by-design control for euler–lagrange systems,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe-by-design control for euler–lagrange systems,

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.304726Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.821700Z digest=sha256:226567f4bd6a55b4ad977236f4f689c6ff9ae52842923e742b316cb37a820dba

Observation 4fa09290-0893-41c9-95b1-2519723cba56 · outbound

This paper cites A collision cone approach for control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A collision cone approach for control barrier functions,

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.293747Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.825086Z digest=sha256:85ff9fa604b3572f263b30ddf2b5bfb471376b70f2570a4753342c29b999622a

Observation 61241ca0-72e8-488d-9d6f-e5dc0fe57d3d · outbound

This paper cites Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles,

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.282443Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.828395Z digest=sha256:40fa07b714c21946f353032e8f821729584e6c28bae512c159ca6920039afdf1

Observation 3dcddeb0-8563-4f3e-992a-7714db682dbb · outbound

This paper cites Correctness guarantees for the composition of lane keeping and adaptive cruise control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Correctness guarantees for the composition of lane keeping and adaptive cruise control,

Reference 37

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.831952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.831952Z digest=sha256:9c281789617df87ea9683d8854294353b7766b7843b972e038ec9d652edc9b25

Observation 27165dfa-c8fa-4790-ad5b-74ae49dada6f · outbound

This paper cites Verification and synthesis of control barrier functions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Verification and synthesis of control barrier functions,

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.263110Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.835467Z digest=sha256:739ec21d38b2dfc7743844bb638ac82390d1a1969217af2bb5e971f9c595d0a1

Observation 92d2f41e-4c39-4a1f-ae57-180ea15c665c · outbound

This paper cites Safety Verification and Controller Synthesis for Systems with Input Constraints.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safety Verification and Controller Synthesis for Systems with Input Constraints

Reference 39

Resolution
verified exact
local_arxiv, observed 2026-08-16T11:26:11.973457Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.838964Z digest=sha256:7c266e4838b2b8e85f0461b0f422ded6c478876dc34db311b9b6eb757785f8fd

Observation bbabb43b-c2f1-485b-a1ac-18e7ec33f828 · outbound

This paper cites Iterative model predictive control for piecewise systems,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Iterative model predictive control for piecewise systems,

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.251026Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.843317Z digest=sha256:a6e933702f622ccff2cfe4cf297f95d87f25cce717810c8c5347cf910719bb94

Observation 8a3217aa-ab98-4508-b3eb-463beb3cb0b8 · outbound

This paper cites Receding horizon control with online barrier function design under signal temporal logic specifica- tions,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Receding horizon control with online barrier function design under signal temporal logic specifica- tions,

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.239538Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.846793Z digest=sha256:d7e8f7aed78aaf1efb6d577699afef257815caff08a5d6326c6df3bf6bb13800

Observation 77ad7ee1-ab2f-4413-a542-5a90a341f67f · outbound

This paper cites Predictive control barrier func- tions: Enhanced safety mechanisms for learning-based control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Predictive control barrier func- tions: Enhanced safety mechanisms for learning-based control,

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.227972Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.850321Z digest=sha256:e7a123e75e2eaa1c8516f5ee45227dc3a63aac9cd16a7a14c9ed79579d181d43

Observation 0a38737b-1213-4ef5-8bb2-8dc53af754c6 · outbound

This paper cites An online approach to active set invariance,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints An online approach to active set invariance,

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.216154Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.853857Z digest=sha256:e7b26d5f0551a691848060092766f8bb6e6d21ae3c492750f30016f487f9535b

Observation f69772ce-7618-4333-b29b-4169785a7803 · outbound

This paper cites Constructive barrier cer- tificates with applications to fixed-wing aircraft collision avoidance,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Constructive barrier cer- tificates with applications to fixed-wing aircraft collision avoidance,

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.204326Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.857302Z digest=sha256:676381c7dfbea266d86ea471c80df750c70bdf3af0e11e8fcfc5e87c8997a9cb

Observation 0ba98ddb-5510-4efd-a5e4-ae72c0ada925 · outbound

This paper cites High relative degree control barrier functions under input constraints,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints High relative degree control barrier functions under input constraints,

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.191751Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.861001Z digest=sha256:144489ec23fe4c9a19cc3f64e34ab2183cd083df41c655d5ed64e3f1bdf645bb

Observation bb0ed009-153e-4f87-ac2c-ee49480cef23 · outbound

This paper cites Backup control barrier functions: Formulation and comparative study,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Backup control barrier functions: Formulation and comparative study,

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.178652Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.864813Z digest=sha256:8cf3c750f60a1601aa2b20740c71fb0bfe5284b62352fd3efbdccd09b8548af5

Observation ab6468e1-736c-4cd2-975c-bf3908132390 · outbound

This paper cites Predictive control barrier functions for online safety critical control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Predictive control barrier functions for online safety critical control,

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.166553Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.868145Z digest=sha256:8cfaa68f57045151b657c99f084c7c226e5375b39c7a51de5ceed3f0475ac290

Observation be9a072e-8234-4413-9b34-8475b6d74024 · outbound

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

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Robust control barrier–value functions for safety-critical control,

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.871569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.871569Z digest=sha256:3ce3db990a19ad22e210fa07adb5c418f9b4ec30c822d07be9424f825b980920

Observation d0c728d6-2c8d-436f-9f41-dd44307e0cf5 · outbound

This paper cites Neural lyapunov control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Neural lyapunov control,

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.148457Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.875468Z digest=sha256:ab6ca499647fd0046d9f2a33d1074b4d983159271499beef0e1807af2bff5440

Observation eacb209b-0e1e-4679-b4ef-5bb9c15ec601 · outbound

This paper cites Learning robust output control barrier functions from safe expert demonstrations,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Learning robust output control barrier functions from safe expert demonstrations,

Reference 50

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.136388Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.879410Z digest=sha256:e5b47b4f75c42a53d8596a001f208af25b3c759fc3deccb51f71794f56e0a67c

Observation 1a548aa2-e029-4f0c-bd5f-7944428ed535 · outbound

This paper cites Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control,

Reference 51

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.883059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.883059Z digest=sha256:c6cab9480af72c417198ce35f9db4d19dcbcdbac9e812f247660a87a5a890391

Observation 1b975e96-5ca0-4caa-b634-2cfc218cb44c · outbound

This paper cites Leveraging equivariances and sym- metries in the control barrier function synthesis,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Leveraging equivariances and sym- metries in the control barrier function synthesis,

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.119030Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.886572Z digest=sha256:7ddc49a4b7c2a4cc0f6cc0a053daba2c6e5382a8f45fddbd16c003c9c404adbf

Observation 3df66353-37e8-4e0a-9ef0-a83821b228ab · outbound

This paper cites Equivariant dynamical systems,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Equivariant dynamical systems,

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.890178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.890178Z digest=sha256:cde4b4c309f8a52c297ae13d8ad857d16fff08888376d32fcc70b1bd437d4244

Observation 928c4ad2-f676-42a4-8425-76a9d46b7892 · outbound

This paper cites Equivariant systems theory and observer design,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Equivariant systems theory and observer design,

Reference 54

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.101220Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.893626Z digest=sha256:e6fa0a8715c5b7713826b579d66e9acf3d216149202582d1608db7ec99cf9089

Observation e486d4ee-9051-40dd-ac45-7c17798b0d97 · outbound

This paper cites From time-invariant to uniformly time-varying control barrier functions: A constructive approach,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints From time-invariant to uniformly time-varying control barrier functions: A constructive approach,

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.897041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.897041Z digest=sha256:63c9f555b1583db9102155df18ad7af4faa975ba65207d5cf989a28e1f73c840

Observation bb628b22-6c29-4af1-b795-c861bd8ab49c · outbound

This paper cites Construction of control barrier functions using predictions with finite horizon,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Construction of control barrier functions using predictions with finite horizon,

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.082457Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.900424Z digest=sha256:0b69c792c4431dd390f448c915612aec7140f82f19ea9a6cbe0ef75cab2c0744

Observation 317f1628-b8a2-415a-9fa1-1c20d440e4b6 · outbound

This paper cites Asymptotic stability and feedback stabilization,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Asymptotic stability and feedback stabilization,

Reference 57

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.903978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.903978Z digest=sha256:74b8d3925f174865dc80ffb3c15d9f8ef229ca313a3768e8f2220ccc010a6465

Observation 5cd677a4-19ef-404d-a147-9bcefecc8d6e · outbound

This paper cites Lyapunov functions and discontinuous stabilizing feedback,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Lyapunov functions and discontinuous stabilizing feedback,

Reference 58

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.907554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.907554Z digest=sha256:a2902f9ea17120b53ae83b4454d7ab2415a4cd848e6af4330e527b3a5e4d2992

Observation 1558a79d-c443-42d1-a956-7455b449b2fd · outbound

This paper cites A lyapunov-like characterization of asymptotic control- lability,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints A lyapunov-like characterization of asymptotic control- lability,

Reference 59

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.911308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.911308Z digest=sha256:f694ba68ef61247f14940d2f32ddc2749250067250e106be41284b356246c79c

Observation efbce114-a5a3-47b7-a70a-5905e6c1db48 · outbound

This paper cites an unresolved cited work.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Unresolved cited work

Reference 60

Resolution
unresolved
raw_fallback, observed 2026-08-16T11:26:12.049602Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.915093Z digest=sha256:f048ec24e04029e482716695afa55f40fecb2ed1433fa2a03eb4a5e78ffb9caa

Observation 5628e700-0b62-4ee6-bbf4-130ce59aa259 · outbound

This paper cites Nonlinear controllability and observability,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Nonlinear controllability and observability,

Reference 61

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.918807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.918807Z digest=sha256:5c356d30c95b15b951ba15c1b7a16559bfdf3c572f5486718651f6ab32b1e9ff

Observation 7eb75e30-afa5-4e9d-9925-7cfd17ee8d32 · outbound

This paper cites Nonlinear controllability via lie theory,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Nonlinear controllability via lie theory,

Reference 62

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.029978Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.922205Z digest=sha256:7b2dba7ce1b5e79717cbc84c4aa8920f70a2f2b22f144a2caee9868c506528b2

Observation ef9fe0b2-aad1-4f14-948a-28b74d18a145 · outbound

This paper cites Trajectory planning for a four-wheel-steering vehicle,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Trajectory planning for a four-wheel-steering vehicle,

Reference 63

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.018554Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.925683Z digest=sha256:4d0d5c2f77148ebbf0262b71fafc71fd7ec181d9ef539e0d19b059f4e77dd7b2

Observation 25a1ba08-44e6-422e-971f-f6f641db6e9f · outbound

This paper cites Examples when nonlinear model predictive control is nonrobust,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints Examples when nonlinear model predictive control is nonrobust,

Reference 64

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:12.005591Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.929205Z digest=sha256:b89b618f586801bcc66564c52bd50bc4858f686323d8a28f00cfb2f8b6c56073

Observation 6ca5c86d-23fb-44c5-b7da-2fe95571f711 · outbound

This paper cites CasADi – A software framework for nonlinear optimization and opti- mal control,.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints CasADi – A software framework for nonlinear optimization and opti- mal control,

Reference 65

Resolution
unresolved
no resolver link, observed 2026-08-16T11:26:11.932568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-16T11:26:11.932568Z digest=sha256:05a53bdbe6cad99e5bf532ddbd2a6a0f836a418dcb201d6587322ef3dd3cdb4b

Observation ceee91fa-0ec9-463a-b494-420cbce0a0b6 · outbound

This paper cites min tPr0,T2s hpφpt;x0,u˚ x0,T2qq´ γt (47a) ě min tPr0,T2s hpφpt;x0,u˚ e,x0,T1qq´ γt (47b) “ min.

Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints min tPr0,T2s hpφpt;x0,u˚ x0,T2qq´ γt (47a) ě min tPr0,T2s hpφpt;x0,u˚ e,x0,T1qq´ γt (47b) “ min

Reference 66

Resolution
verified fuzzy
raw_fallback, observed 2026-08-16T11:26:11.985862Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-16T11:26:11.936068Z digest=sha256:5bd153a275de6bba09722ee78631f207fa8c7201fed3c533cdb09322efdbba54

Pith citing papers

Observation b76c9240-b48a-46ba-832b-da1f2c199972 · inbound

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis cites this paper.

Leveraging Equivariances and Symmetries in the Control Barrier Function Synthesis Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints

Reference 26

Resolution
unresolved
no resolver link, observed 2026-08-05T10:20:05.146489Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T10:20:05.146489Z digest=sha256:446b04e2d3ce3faa90b87c6177c1aecc606787dd38ab281c26b2599f8a59eab1

Observation 6ca2efa2-d86d-47d5-86ce-e1a6e08a505a · inbound

Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control cites this paper.

Predicted-Flow Control Barrier Functions for Real-Time Safe Optimal Control Predictive Synthesis of Control Barrier Functions and its Application to Time-Varying Constraints

Reference 33

Resolution
verified exact
arxiv_id, observed 2026-07-01T20:26:12.776482Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-06-28T21:08:38.045956Z digest=sha256:03bf49cf97d3f7addb6f6733c50a799056aeb19b530cee8af241ec1e05ca56dd