Paper Citation Record · LEDGER

Ordering and refining path-complete Lyapunov functions through composition lifts

As of 7 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2503.18189.

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

pith.paper-citation-record.v1
2503.18189 v2

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-22T22:10:28.030525Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+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

23 of 23 outbound references displayed

verified exact0
verified fuzzy22
unresolved1
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 764bb24e-6a5c-43c5-9d5a-d7ed82d69bc1 · outbound

This paper cites Liberzon, Switching in systems and control.

Ordering and refining path-complete Lyapunov functions through composition lifts Liberzon, Switching in systems and control

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.107619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 38bb4e67-26e9-43ae-b70c-ee9950ad1b60 · outbound

This paper cites Tabuada, Verification and control of hybrid systems: a symbolic approach.

Ordering and refining path-complete Lyapunov functions through composition lifts Tabuada, Verification and control of hybrid systems: a symbolic approach

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.154731Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f11f8a56-c447-43ec-8326-0cec6909d4f8 · outbound

This paper cites Goebel, R.

Ordering and refining path-complete Lyapunov functions through composition lifts Goebel, R

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.110652Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 345da564-eb26-431f-9a8a-5274fea6656d · outbound

This paper cites an unresolved cited work.

Ordering and refining path-complete Lyapunov functions through composition lifts Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-22T22:12:12.151417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c5bcf531-9b7d-4d0f-8a03-e5f0e3c9545c · outbound

This paper cites Jongeneel and E.

Ordering and refining path-complete Lyapunov functions through composition lifts Jongeneel and E

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.140681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5b2f6059-9a30-4e92-bd63-7e0a4321e412 · outbound

This paper cites Jungers, The joint spectral radius: theory and applications.

Ordering and refining path-complete Lyapunov functions through composition lifts Jungers, The joint spectral radius: theory and applications

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.131462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7037711e-8dcd-4d6d-af98-d39ee405222d · outbound

This paper cites Multiple Lyapunov functions and other analysis tools for switched and hybrid systems.

Ordering and refining path-complete Lyapunov functions through composition lifts Multiple Lyapunov functions and other analysis tools for switched and hybrid systems

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.134927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 34500def-0a2f-449a-b915-8f1883d891e0 · outbound

This paper cites Joint spectral radius and path-complete graph Lyapunov functions.

Ordering and refining path-complete Lyapunov functions through composition lifts Joint spectral radius and path-complete graph Lyapunov functions

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.137848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ca4f096a-46c6-4986-bd48-34193646e70e · outbound

This paper cites A complete characterization of the ordering of path-complete methods.

Ordering and refining path-complete Lyapunov functions through composition lifts A complete characterization of the ordering of path-complete methods

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.144223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8ab8f3c6-30c4-444f-84b3-741db5d8cd4d · outbound

This paper cites Path-complete and neural Lyapunov functions: Com- putation and performance.

Ordering and refining path-complete Lyapunov functions through composition lifts Path-complete and neural Lyapunov functions: Com- putation and performance

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.147988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5f1eb53e-1957-4d3b-b31c-6207995ca828 · outbound

This paper cites A note on the joint spectral radius.

Ordering and refining path-complete Lyapunov functions through composition lifts A note on the joint spectral radius

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.128327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2057f96c-c16a-40c4-b501-d95e84a4b16a · outbound

This paper cites Algebraic unsolvability of problem of absolute sta- bility of desynchronized systems.

Ordering and refining path-complete Lyapunov functions through composition lifts Algebraic unsolvability of problem of absolute sta- bility of desynchronized systems

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.124784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 98cd843d-8935-40d7-a53c-a21889c3b1a9 · outbound

This paper cites The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impos- sible—to compute and to approximate.

Ordering and refining path-complete Lyapunov functions through composition lifts The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impos- sible—to compute and to approximate

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.104145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5c531b96-8732-42e9-b502-907faffe39db · outbound

This paper cites The boundedness of all products of a pair of matrices is undecidable.

Ordering and refining path-complete Lyapunov functions through composition lifts The boundedness of all products of a pair of matrices is undecidable

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.114407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 43283b85-0b50-434a-99c6-a89d947ee9e3 · outbound

This paper cites Approximation of the joint spectral radius using sum of squares.

Ordering and refining path-complete Lyapunov functions through composition lifts Approximation of the joint spectral radius using sum of squares

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.118053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5a3955d4-4c14-4a2d-9fcb-7ad5d8c4fa51 · outbound

This paper cites Characterization of the ordering of path-complete stability certificates with addition- closed templates.

Ordering and refining path-complete Lyapunov functions through composition lifts Characterization of the ordering of path-complete stability certificates with addition- closed templates

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.121574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 7222e1d2-f535-4ee4-891c-fc05b0cbe3b0 · outbound

This paper cites Stability analysis of discrete- time switched systems through Lyapunov functions with nonminimal state.

Ordering and refining path-complete Lyapunov functions through composition lifts Stability analysis of discrete- time switched systems through Lyapunov functions with nonminimal state

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.179189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f29fdbb2-27b5-46c0-b40c-5fe6633de96a · outbound

This paper cites Equivalence of stability concepts for discrete time-varying systems.

Ordering and refining path-complete Lyapunov functions through composition lifts Equivalence of stability concepts for discrete time-varying systems

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.175341Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 180adfcb-f67a-4210-92bc-b70c869c74b9 · outbound

This paper cites On path-complete Lyapunov functions: Geometry and comparison.

Ordering and refining path-complete Lyapunov functions through composition lifts On path-complete Lyapunov functions: Geometry and comparison

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.168545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 22f4f1d9-a4f4-482e-bbf1-0c66a4c18542 · outbound

This paper cites Comparison of path-complete Lyapunov functions via template-dependent lifts.

Ordering and refining path-complete Lyapunov functions through composition lifts Comparison of path-complete Lyapunov functions via template-dependent lifts

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.165756Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 4ccfbfc9-391a-47b0-8c1b-1beae6ddcfeb · outbound

This paper cites Solving semidefinite- quadratic-linear programs using SDPT3.

Ordering and refining path-complete Lyapunov functions through composition lifts Solving semidefinite- quadratic-linear programs using SDPT3

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.162338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 856ac7f4-18ce-4742-9a78-1946f711f638 · outbound

This paper cites On preorders of path-complete Lyapunov functions through lifts.

Ordering and refining path-complete Lyapunov functions through composition lifts On preorders of path-complete Lyapunov functions through lifts

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.159038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation ed1d01ac-34f6-4da2-b07b-95af3fa45b33 · outbound

This paper cites Statistical comparison of path-complete Lyapunov functions: A discrete-event systems perspective.

Ordering and refining path-complete Lyapunov functions through composition lifts Statistical comparison of path-complete Lyapunov functions: A discrete-event systems perspective

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T22:12:12.172282Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

No inbound Pith citation observations are available.