{"as_of":"2026-08-07T10:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fb7026e78e7b562b9c525916f4e28a2b9baa2a1d4ffda470c3e3cea8c4713ee4","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-22T22:10:28.030525Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2503.18189/citation-record","integrity":"/paper/2503.18189/integrity","json":"/paper/2503.18189/citation-record.json","paper":"/paper/2503.18189"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Liberzon, Switching in systems and control","venue":null,"work_id":"d7ab93b4-b057-4511-88bc-e1ce479b387d","year":2003},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:bdba2939a242e912c3e01fecd3b87ffe418e4c3d1a4925b25fb9ade6439a2947","observation_id":"764bb24e-6a5c-43c5-9d5a-d7ed82d69bc1","resolution":{"observed_at":"2026-05-22T22:12:12.107619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tabuada, Verification and control of hybrid systems: a symbolic approach","venue":null,"work_id":"29e92e5f-e421-4b03-b73c-54a575892f11","year":2009},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:0127515833311390c61b3226bb9e2cc9d09cd63fdf60928d85fc5dac8cf55716","observation_id":"38bb4e67-26e9-43ae-b70c-ee9950ad1b60","resolution":{"observed_at":"2026-05-22T22:12:12.154731Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Goebel, R","venue":null,"work_id":"70eed8ff-18cb-412b-bf0a-d6a50c2d5957","year":2012},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:5f8be3f1157e78334d6e79c53cc84dfe4148df764114f4eaef8a5ba513cda017","observation_id":"f11f8a56-c447-43ec-8326-0cec6909d4f8","resolution":{"observed_at":"2026-05-22T22:12:12.110652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aa30253e-bb55-490d-a74f-f5cd3c1b0aa1","year":2020},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:4eecacfd5963e0d0f39601a21ff6e8f7d3970559a24bba39207096613293ea16","observation_id":"345da564-eb26-431f-9a8a-5274fea6656d","resolution":{"observed_at":"2026-05-22T22:12:12.151417Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Jongeneel and E","venue":null,"work_id":"37ff7dbf-0ad6-4405-93aa-81de60a0f3e3","year":2023},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:d13cf4a87f381316ac153fc1c93896cc2d3a738e1aaf06ff38e4538b24e1347f","observation_id":"c5bcf531-9b7d-4d0f-8a03-e5f0e3c9545c","resolution":{"observed_at":"2026-05-22T22:12:12.140681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Jungers, The joint spectral radius: theory and applications","venue":null,"work_id":"28f24a78-cc72-47dd-a913-6cc75e976ee8","year":2009},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:4e3554de89c0c91061d87a04f5b15aef681877cba1c943eb70d37751a648e966","observation_id":"5b2f6059-9a30-4e92-bd63-7e0a4321e412","resolution":{"observed_at":"2026-05-22T22:12:12.131462Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Multiple Lyapunov functions and other analysis tools for switched and hybrid systems","venue":null,"work_id":"b732601f-a41a-44b5-862a-5c431f8a8181","year":1998},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:00de931a62052d7268009fddd0bc6de568fe5abb27f7a0d04571a4216623ca8c","observation_id":"7037711e-8dcd-4d6d-af98-d39ee405222d","resolution":{"observed_at":"2026-05-22T22:12:12.134927Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Joint spectral radius and path-complete graph Lyapunov functions","venue":null,"work_id":"7c577f55-ed78-4d49-92b9-2e89c10c00bb","year":2014},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:cdadaaee5ec1b98483601edf6105fcc79ec748a499945430fc22ed0d55dc9661","observation_id":"34500def-0a2f-449a-b915-8f1883d891e0","resolution":{"observed_at":"2026-05-22T22:12:12.137848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A complete characterization of the ordering of path-complete methods","venue":null,"work_id":"d3924054-fe95-4927-a41a-a7dab6c2885d","year":2019},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:37e5aca6d6a6e973871a3fb430c757fe8d19d8ce110109d1a04fc2e19aa9a2a1","observation_id":"ca4f096a-46c6-4986-bd48-34193646e70e","resolution":{"observed_at":"2026-05-22T22:12:12.144223Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Path-complete and neural Lyapunov functions: Com- putation and performance","venue":null,"work_id":"48a3cbe4-3d44-4ca9-9095-2043ac41a313","year":2024},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:62abb08d25f8d89c23afe5a858e56061b1dbd58e7ddf9ce1fab2f705b380e018","observation_id":"8ab8f3c6-30c4-444f-84b3-741db5d8cd4d","resolution":{"observed_at":"2026-05-22T22:12:12.147988Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A note on the joint spectral radius","venue":null,"work_id":"11cad19d-c22f-4e4f-8587-7700d31931c1","year":1960},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:2aeefc9bb39ff0f4982322c5bf6243198c303b319b7226124aa01f7b554039a0","observation_id":"5f1eb53e-1957-4d3b-b31c-6207995ca828","resolution":{"observed_at":"2026-05-22T22:12:12.128327Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Algebraic unsolvability of problem of absolute sta- bility of desynchronized systems","venue":null,"work_id":"a3bb94b8-a564-4167-8cb1-7c628a4be6e2","year":1990},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:343f03632cdf401b1606aa0265ed85b19de76ac8dca603b63b548e4e3e0d9b27","observation_id":"2057f96c-c16a-40c4-b501-d95e84a4b16a","resolution":{"observed_at":"2026-05-22T22:12:12.124784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The Lyapunov exponent and joint spectral radius of pairs of matrices are hard—when not impos- sible—to compute and to approximate","venue":null,"work_id":"742162b0-d949-479c-8b80-53a840d47875","year":1997},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:a69a24d0e4465517edfc898ca3d0be4362f2c334b3690386c656927d32ab7ca6","observation_id":"98cd843d-8935-40d7-a53c-a21889c3b1a9","resolution":{"observed_at":"2026-05-22T22:12:12.104145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The boundedness of all products of a pair of matrices is undecidable","venue":null,"work_id":"580f86d7-3238-4ed1-b967-a06ec819b2ea","year":2000},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:984b6e3904564c97b2ed881832c9f043b0332517cae43247abe96a0d9f6c395c","observation_id":"5c531b96-8732-42e9-b502-907faffe39db","resolution":{"observed_at":"2026-05-22T22:12:12.114407Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Approximation of the joint spectral radius using sum of squares","venue":null,"work_id":"7ac2036d-3c62-4d2c-ab6c-2cbf3d7bf45d","year":2008},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:cb59f17ba99660f8c4ca6dd8527e9f179e052dbdfd9c331a416a448fb0ef3940","observation_id":"43283b85-0b50-434a-99c6-a89d947ee9e3","resolution":{"observed_at":"2026-05-22T22:12:12.118053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Characterization of the ordering of path-complete stability certificates with addition- closed templates","venue":null,"work_id":"0e5e9795-e86e-409e-bb24-e7d9f67ad1fc","year":2023},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:4e8f3f2ebdff1030142e5630be16094eb13534d20bea64bac8ca39313b389f2b","observation_id":"5a3955d4-4c14-4a2d-9fcb-7ad5d8c4fa51","resolution":{"observed_at":"2026-05-22T22:12:12.121574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Stability analysis of discrete- time switched systems through Lyapunov functions with nonminimal state","venue":null,"work_id":"e24a629b-d1eb-419c-95f0-ac4025630043","year":2003},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:470a778289f0f8414f9ae84794f2d00e1f77c9b9ba0a38c599e726653a90f350","observation_id":"7222e1d2-f535-4ee4-891c-fc05b0cbe3b0","resolution":{"observed_at":"2026-05-22T22:12:12.179189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Equivalence of stability concepts for discrete time-varying systems","venue":null,"work_id":"49880aee-69e6-4b5b-b1e9-0f5c08f7081e","year":1994},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:a530f0165e5bbbaadd3252d3aa3e32b3ab2485c426ac959ffbba2b6537745e2a","observation_id":"f29fdbb2-27b5-46c0-b40c-5fe6633de96a","resolution":{"observed_at":"2026-05-22T22:12:12.175341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On path-complete Lyapunov functions: Geometry and comparison","venue":null,"work_id":"b233fe1b-97b2-4497-951d-dc5ab1e7a1fa","year":1947},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:fcabdae8cfe937f0cdcf2f4c37361b99b3f738a2b1e97fdc20b1b8b03b48007a","observation_id":"180adfcb-f67a-4210-92bc-b70c869c74b9","resolution":{"observed_at":"2026-05-22T22:12:12.168545Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Comparison of path-complete Lyapunov functions via template-dependent lifts","venue":null,"work_id":"8546ffad-dab6-49a1-a52d-79d947121040","year":2022},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:5c32acf6dd06713a9e070b924efcde2f3cb8d0e8c46e1f9daf107760fd4fd46c","observation_id":"22f4f1d9-a4f4-482e-bbf1-0c66a4c18542","resolution":{"observed_at":"2026-05-22T22:12:12.165756Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Solving semidefinite- quadratic-linear programs using SDPT3","venue":null,"work_id":"6c52bcb5-a7ad-4dcb-808c-f2ec66e3f98c","year":2003},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:f4f904933d90b61fff3a4b9fef17d2178af51bb9754cb5230dbc718e417ac6bd","observation_id":"4ccfbfc9-391a-47b0-8c1b-1beae6ddcfeb","resolution":{"observed_at":"2026-05-22T22:12:12.162338Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"On preorders of path-complete Lyapunov functions through lifts","venue":null,"work_id":"b807b113-5e67-452d-b3ef-a3363a689080","year":2025},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:281fd781fb12c682a12059fcbf1383c42df5e7ed211ba0f34a562f0b56428559","observation_id":"856ac7f4-18ce-4742-9a78-1946f711f638","resolution":{"observed_at":"2026-05-22T22:12:12.159038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Statistical comparison of path-complete Lyapunov functions: A discrete-event systems perspective","venue":null,"work_id":"26a1f9cf-320e-4e52-bef7-a33426373ee8","year":2024},"citing_paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-22T22:10:28.030525Z"},"links":{"citing_paper":"/paper/2503.18189"},"observation_digest":"sha256:321a6a64681e95298172932b298543e29fe9bae5b37f1de7d96ded7e979f4579","observation_id":"ed1d01ac-34f6-4da2-b07b-95af3fa45b33","resolution":{"observed_at":"2026-05-22T22:12:12.172282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2503.18189","last_updated":"2025-07-26T15:45:01Z","latest_version":2,"primary_category":"math.OC","snapshot_observed_at":"2026-07-06T20:57:25.975173Z","submitted_at":"2025-03-23T20:03:03Z","title":"Ordering and refining path-complete Lyapunov functions through composition lifts"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":22},"total_outbound_references":23},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"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."}