Paper Citation Record · LEDGER

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions

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

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

pith.paper-citation-record.v1
2506.18171 v1

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:04:59.799739Z

measured 37 of 37 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

37 of 37 outbound references displayed

verified exact0
verified fuzzy28
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 36f254cb-4960-42e0-ac12-3416a0022ad4 · outbound

This paper cites In: Proc.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proc

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.364674Z

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 2255d790-bb59-4d9c-8388-0db4c763e1cf · outbound

This paper cites Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Stability of Polynomial Differential Equations: Complexity and Converse Lyapunov Questions

Reference 2

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T19:04:59.838247Z

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 46b37c4e-050a-4b66-bf67-c49a9a4c3164 · outbound

This paper cites In: Proc.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proc

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.351554Z

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 5342f15a-e073-4f46-8a19-6beef1c3b3e7 · outbound

This paper cites In: Proc.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proc

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.339682Z

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 586a6bea-eee3-4703-ac5b-4e32bbad0df4 · outbound

This paper cites Handbook of model checking pp.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Handbook of model checking pp

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.328317Z

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 c78913c8-6094-4234-b793-ffbee5398b30 · outbound

This paper cites Advances in neural information processing systems32 (2019).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Advances in neural information processing systems32 (2019)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.315101Z

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 5d379ac3-a94f-4f30-ac76-eacf88a45c23 · outbound

This paper cites Springer, 4 edn.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Springer, 4 edn

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.303038Z

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 3d21dd93-ed52-4517-8a97-ac02d2641ed6 · outbound

This paper cites In: International conference on Tools and Algorithms for the Construction and Analysis of Systems.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: International conference on Tools and Algorithms for the Construction and Analysis of Systems

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-15T19:04:59.688627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f66dd0d8-e1b8-4ba6-a125-fbc7e6d4c382 · outbound

This paper cites In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-15T19:04:59.691936Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17be9605-8138-4eb4-9ecc-3ea3ae6838c4 · outbound

This paper cites In: 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.277995Z

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 0ec8131d-4b43-4352-985b-31bb22ba1bed · outbound

This paper cites Springer (2007).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Springer (2007)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.267132Z

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 2462e4f4-e7ad-4995-be6b-62fb4dea301b · outbound

This paper cites Discrete and Continuous Dynamical Systems-B20(8), 2291–2331 (2015).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Discrete and Continuous Dynamical Systems-B20(8), 2291–2331 (2015)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.256131Z

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 fd110591-9856-4e93-8262-eb1badc54c90 · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:05:00.245849Z

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 7ae756a9-77be-4160-9b1c-97e9252758cc · outbound

This paper cites In: Proceedings of the 17th international conference on Hybrid systems: computation and control.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proceedings of the 17th international conference on Hybrid systems: computation and control

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.235122Z

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 f43e52cb-34d8-4d66-a4c3-fc6d45d3c4f8 · outbound

This paper cites Prentice-Hall (2002).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Prentice-Hall (2002)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.223571Z

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 4a4e4b6e-67e4-4026-826c-a33f63a8cf24 · outbound

This paper cites Academic Press (1961) Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions 19.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Academic Press (1961) Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions 19

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.211609Z

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 dd93fa6b-05e4-4c98-969f-cd1bdc1adb3b · outbound

This paper cites Mathematics in Computer Science6(4), 395– 408 (2012).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Mathematics in Computer Science6(4), 395– 408 (2012)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.199245Z

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 3b65cab2-4e4c-46ce-8eab-40e8c2a9b0ed · outbound

This paper cites arXiv preprint (2025).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions arXiv preprint (2025)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.186516Z

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 9b0e4442-d19c-4725-b790-a93a7ad0a70a · outbound

This paper cites In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.066215Z

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 9246200a-5aeb-4836-83df-ceee8bf84193 · outbound

This paper cites Automatica 175, 112193 (2025).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Automatica 175, 112193 (2025)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.054860Z

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 1f2e9d36-79ed-4c05-95ce-530ddfe1a2ba · outbound

This paper cites International journal of control55(3), 531–534 (1992).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions International journal of control55(3), 531–534 (1992)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.043519Z

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 5b16dd7e-9717-459d-918b-e9be0e59854e · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:05:00.030328Z

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 85021eca-1169-4768-9db7-437b8dad299c · outbound

This paper cites In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.017236Z

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 177ded67-9fc6-4749-99f4-f78a134db7d4 · outbound

This paper cites In: 2015 54th IEEE conference on decision and control (CDC).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions In: 2015 54th IEEE conference on decision and control (CDC)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:05:00.001971Z

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 03b99caf-ebc1-495e-8fd8-44fa8362e0ee · outbound

This paper cites Autonomous Robots 43, 275–307 (2019).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Autonomous Robots 43, 275–307 (2019)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.989772Z

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 76f5c007-82c8-48a5-ad52-f69006538b30 · outbound

This paper cites IFAC Proceedings Volumes46(23), 576–581 (2013).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions IFAC Proceedings Volumes46(23), 576–581 (2013)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.979169Z

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 ebd36443-6d2c-4145-aa69-5f5f44e0e858 · outbound

This paper cites Journal of Symbolic Computation 58, 41–63 (2013).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Journal of Symbolic Computation 58, 41–63 (2013)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.968891Z

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 c2c86d6b-ad13-443a-8ebd-2207b7f5e2c3 · outbound

This paper cites Nonlinear Analysis: Hybrid Systems3(4), 588–596 (2009).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Nonlinear Analysis: Hybrid Systems3(4), 588–596 (2009)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.957603Z

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 ad2579a1-6d35-4117-b532-f586ad19f3a2 · outbound

This paper cites Optimization Methods and Software11(1-4), 625–653 (1999).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Optimization Methods and Software11(1-4), 625–653 (1999)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.946105Z

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 fe495544-7d01-4b1f-8c3d-120e852ad243 · outbound

This paper cites Automatica44(10), 2669–2675 (2008).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Automatica44(10), 2669–2675 (2008)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.934308Z

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 c5cdcdae-98cd-425b-b142-00a548d09cd2 · outbound

This paper cites Nature methods17(3), 261–272 (2020).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Nature methods17(3), 261–272 (2020)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.921557Z

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 5ee43f53-bf3d-4e6e-85f9-760bafca1da9 · outbound

This paper cites Advances in Neural Information Pro- cessing Systems 35, 29113–29125 (2022).

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Advances in Neural Information Pro- cessing Systems 35, 29113–29125 (2022)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.909290Z

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 462527ac-5527-43fa-bf63-81b2b43a02c4 · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:04:59.896324Z

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 005f2ef3-f110-4335-a6d6-cf9bc9af5f08 · outbound

This paper cites (E4) Consider the model [26] ˙x = −x3 1 +x2 −x1−x2.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions (E4) Consider the model [26] ˙x = −x3 1 +x2 −x1−x2

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:04:59.883830Z

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 d6843bc9-2e2a-44ae-b08e-5185f3b5acb8 · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:04:59.871668Z

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 3f9b7ae1-8836-4c61-90c7-ec0843083fed · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:04:59.860531Z

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 8c464924-55d4-4f5d-a914-46d885d80dbc · outbound

This paper cites an unresolved cited work.

Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:04:59.849478Z

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.