{"as_of":"2026-08-18T02:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ec2de9126dfc420375fd0467586ef80544e2255ca3629675ad3b31dd516319d3","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T06:05:44.491474Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2504.19330/citation-record","integrity":"/paper/2504.19330/integrity","json":"/paper/2504.19330/citation-record.json","paper":"/paper/2504.19330"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:05:45.120942Z","title":"Agrawal and K","venue":null,"work_id":"4b5e7cbc-f969-4396-9af0-90a120466ffc","year":2017},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.336069Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:3a985ac2d6d75b3521920bd944dacb1668ca233fab0b232d480fe20c2c80e261","observation_id":"56fe4871-b36e-4a03-8c73-d6dd57b384ba","resolution":{"observed_at":"2026-08-16T06:05:45.127638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:45.099753Z","title":null,"venue":null,"work_id":"22cc5c05-b061-4003-9f71-2decc32da359","year":2019},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.343377Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:f22680122edba4cb9c6961ec4a6abdcbb16e397dbdd484eca617c90ef14e76f2","observation_id":"613b5bab-446f-406e-901d-0f84c8d39da4","resolution":{"observed_at":"2026-08-16T06:05:45.106469Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:45.079200Z","title":null,"venue":null,"work_id":"d351444f-c8da-4fb7-9cd0-21cdd79d41e1","year":2014},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.348937Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:661deb8f0448b50885975a095b9da44ad850e05a6b327218eb81dd5aaaa35830","observation_id":"750b39eb-7262-41c4-bbe3-12c4c71b55bd","resolution":{"observed_at":"2026-08-16T06:05:45.084844Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:45.058655Z","title":null,"venue":null,"work_id":"8c613e79-edcf-4692-86d5-53b1978b7eb5","year":2021},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.355271Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:32b498df0cb7b657da2fa34333b3e51649e254c2eced98fa2f275363dfa632d3","observation_id":"2d4c059b-936e-4eec-a25a-e3e91fe546a1","resolution":{"observed_at":"2026-08-16T06:05:45.063541Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2209.00081","last_updated":"2024-11-11T01:04:19Z","snapshot_observed_at":"2026-08-16T16:35:33.978533Z","submitted_at":"2022-08-31T19:31:31Z","title":"A Semi-Algebraic Framework for Verification and Synthesis of Control Barrier Functions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.00081","snapshot_observed_at":"2026-08-16T06:05:44.360921Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.360921Z"},"links":{"cited_paper":"/paper/2209.00081","citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:38c9b3d005e00cccecab58a86f7ebf36d13841555ed81e74b05f3675abbb73f0","observation_id":"2ee5bc44-b2bc-4b15-882a-0a341b25af76","resolution":{"observed_at":"2026-08-16T06:05:44.360921Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:05:45.040733Z","title":null,"venue":null,"work_id":"f1db2a71-8d5e-464d-b044-8d5e9d852974","year":2009},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.366766Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:f1738595b13b785644dd11bdbfd4f6e44d1bc7a891a337746434a47e8d912e34","observation_id":"e492eab0-d9d3-4fab-980d-a088ab0c033f","resolution":{"observed_at":"2026-08-16T06:05:45.045928Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:45.022302Z","title":"Dai and F","venue":null,"work_id":"b40a0a67-ed41-46d1-a8fd-39a21b4992dc","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.372051Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:581bca36765acf94ce2b7854c5be2b534592ad0873eb36d4a94592ae9e801a90","observation_id":"f01a4e57-955e-4c59-8069-150335bd9947","resolution":{"observed_at":"2026-08-16T06:05:45.027640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.997437Z","title":"Delimpaltadakis, J","venue":null,"work_id":"c2c8f854-2407-4c00-b1cc-b43b76447d73","year":2025},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.376895Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:6faebdc5e888eaa0e4fcdf99402d1f4b237beb059469bf05ddbe2864612a8388","observation_id":"e27275c8-2c2c-4441-a3d4-5c8f39680a37","resolution":{"observed_at":"2026-08-16T06:05:45.006141Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.978666Z","title":"Freire and M","venue":null,"work_id":"2e017144-c778-4fdb-bd21-d8cfdac46caa","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.382187Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:b22d82aaaf280738875e5c886652627d33c3d08e36194d67250b10db991e1347","observation_id":"c18f687a-8bbf-420c-8edf-65246671c780","resolution":{"observed_at":"2026-08-16T06:05:44.984976Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.959815Z","title":"Freire and M","venue":null,"work_id":"38db7ffb-c403-4a5b-8092-6c73fc2e8d68","year":2024},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.387114Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:775cca3013e232beff8ae2f6088c3b1094bdebf2067e595d6de263315fa0bd72","observation_id":"3973a995-f819-467a-8d0a-a31004af8ce9","resolution":{"observed_at":"2026-08-16T06:05:44.967087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.942759Z","title":"Gurriet, M","venue":null,"work_id":"7d2c9f0c-7f00-4f99-b91b-4a1646c6ecf0","year":2020},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.391529Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:ee555e773940e2bc5b643d18504a7236cac48cbc44b5cb5c08b275575dda02c8","observation_id":"c0b8db53-5607-4f66-acbb-2c89838fd8c8","resolution":{"observed_at":"2026-08-16T06:05:44.947791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.923116Z","title":"Herceg, M","venue":null,"work_id":"9ad246f4-dc4c-4779-ae16-d2d4140ad146","year":2013},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.396210Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:d70ff96c6b785308327cd74d25b7e9c38479ca3b4479499ece8af84c072818f0","observation_id":"5e5f8912-0750-442c-8506-0e1e4cd0de1d","resolution":{"observed_at":"2026-08-16T06:05:44.928142Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.905211Z","title":"Jagtap, S","venue":null,"work_id":"7c2ea041-0b09-4d84-b16b-c3cf24644c02","year":2021},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.401140Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:a49f1fcdf78259da0276e39e2903af9cea863f48ec05dc4b07654cbff2924a41","observation_id":"28a7193a-aa1b-42a8-891d-6c4530a3dbe0","resolution":{"observed_at":"2026-08-16T06:05:44.911123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.885179Z","title":null,"venue":null,"work_id":"85be7c57-e4aa-4a34-9d0e-ecad8fc9c544","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.406221Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:c4813647e705304bda7832860c954e384da8cf3e0992263585a0b3cf9c8c1573","observation_id":"adcc25a4-7f56-40f3-82c3-5af213240a0d","resolution":{"observed_at":"2026-08-16T06:05:44.889624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.866729Z","title":"Katriniok, E","venue":null,"work_id":"dc9ff52d-93ea-4b52-b8d9-d0ea4df0789a","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.410563Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:3f47463e4a884fc721aae119f5bea3708de3084ce3751c8ba72a833bcc9eaf0d","observation_id":"96d260ec-4991-4a2c-85e0-4f28f655a5ca","resolution":{"observed_at":"2026-08-16T06:05:44.873288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.849813Z","title":"Lindemann, A","venue":null,"work_id":"857aa6ab-d687-4eaf-9f86-f336813f82df","year":2024},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.415290Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:499aa1855c40bad233f8d551b2596374afbdaa93d232aef2cfd2c22ebdb754de","observation_id":"607ce098-1a1a-4e7b-a24d-c363ed9b828d","resolution":{"observed_at":"2026-08-16T06:05:44.855146Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1310.4716","last_updated":"2021-12-27T23:37:26Z","snapshot_observed_at":"2026-08-16T00:35:02.259584Z","submitted_at":"2013-10-17T14:30:42Z","title":"SOSTOOLS Version 4.00 Sum of Squares Optimization Toolbox for MATLAB","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1310.4716","snapshot_observed_at":"2026-08-16T06:05:44.419329Z","title":"Papachristodoulou, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.419329Z"},"links":{"cited_paper":"/paper/1310.4716","citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:06c719bd385ecaf86b480299497294a6a6ca8fc16041bb7ab7d598f3a943a995","observation_id":"037a4752-10e8-493b-b017-6c549d9cb0bb","resolution":{"observed_at":"2026-08-16T06:05:44.419329Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:05:44.821518Z","title":"Papachristodoulou and S","venue":null,"work_id":"d5b90477-0660-4a5a-be87-7c62e0515e94","year":2005},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.423764Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:eb5117e20693066581663f4c9dca50f86aa1eb5df1ccd348cbcbfd1caf2d6a36","observation_id":"df22b281-1c8e-4f9c-9acd-b027f63918b3","resolution":{"observed_at":"2026-08-16T06:05:44.834429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.796685Z","title":null,"venue":null,"work_id":"40c74b37-1edb-4702-b3b6-9c6d86be872c","year":1993},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.427835Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:c8e3a37949bc185ab48c3fc45f51221a09525eddac85cc4bea5fe214fb3d8a11","observation_id":"5af80480-a0d7-448c-aa53-a2a088631666","resolution":{"observed_at":"2026-08-16T06:05:44.802263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.775416Z","title":null,"venue":null,"work_id":"9a671765-3762-41de-a807-c861ea365704","year":2000},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.432724Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:83529c77f447582fc561e1092cb905ea17bce01f62626f9b160c1d2f493f77eb","observation_id":"083faa60-a6c7-45b3-8c11-b0efe0298a59","resolution":{"observed_at":"2026-08-16T06:05:44.781072Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.755284Z","title":"Shakhesi, W.P.M.H","venue":null,"work_id":"28e33a8f-3292-427f-8a2a-2ef3e2a4aec3","year":null},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.437737Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:f0d7c35cae2f75fd6e73b089217ba1fc8bc040c02e796e2f4370c7243daa73f9","observation_id":"c0b9470d-3d3e-4017-93f1-e3a271f712ab","resolution":{"observed_at":"2026-08-16T06:05:44.760841Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.739698Z","title":"Shakhesi, W.P.M.H","venue":null,"work_id":"1fad7635-2da4-465a-a6e1-abcddd33a0c6","year":2024},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.442679Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:014d1e91153293ee491dcc9557585d9d4c15c73115981e7a45074cbcd70fa143","observation_id":"4aaf6371-8a27-479a-b47e-42d22690f52a","resolution":{"observed_at":"2026-08-16T06:05:44.744079Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.722932Z","title":null,"venue":null,"work_id":"f98d1cf5-9622-4b33-aacb-e0d2cc9b3b5b","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.447205Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:ec1c7839171f6e12c25600cda3aad6eb1f3f78202170ea53848ac94702ee156d","observation_id":"0982c98c-86d7-44df-bb49-218f04653403","resolution":{"observed_at":"2026-08-16T06:05:44.727928Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.707861Z","title":null,"venue":null,"work_id":"2dbd8ab1-bad6-4f1e-8f6f-6148890624e4","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.452624Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:868358b4d918a6679402c816ce737cd96dd15b1f1f6884794dca9b8bbe2bca17","observation_id":"83029bdb-a15a-4d67-8f09-5d2dbc9201dd","resolution":{"observed_at":"2026-08-16T06:05:44.711991Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.11763","last_updated":"2024-03-18T13:20:38Z","snapshot_observed_at":"2026-08-17T20:02:01.228579Z","submitted_at":"2024-03-18T13:20:38Z","title":"Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2403.11763","snapshot_observed_at":"2026-08-16T06:05:44.458403Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.458403Z"},"links":{"cited_paper":"/paper/2403.11763","citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:5579338ba18e14852c60375da5b7875a5e8493959c5c5204429b1093d11efa08","observation_id":"663bc3aa-b96d-4097-b567-a99c7e712f94","resolution":{"observed_at":"2026-08-16T06:05:44.458403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:05:44.691036Z","title":null,"venue":null,"work_id":"0bd96f80-5c48-4737-a14e-acd9dce1ee7a","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.463871Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:a12008c8a5171197a096cc448a6542f651cc3b6de0399738121fa635c5381ea5","observation_id":"c0a71191-6f59-4256-b5b8-bd04c135d257","resolution":{"observed_at":"2026-08-16T06:05:44.695894Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.670895Z","title":null,"venue":null,"work_id":"f9367722-4ac7-4f09-9ba0-149c3ac63ae2","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.468905Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:aee8cbfec8bd8043bdc6ceac295d27fbbea2d85c6d65acfddf6b932bef349681","observation_id":"842fac1f-f03f-4b52-9989-72b0049dacf6","resolution":{"observed_at":"2026-08-16T06:05:44.677056Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.653679Z","title":null,"venue":null,"work_id":"d37af9e7-9951-43e0-b450-f2afbe4d121d","year":2024},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.473964Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:bb0bca6960180a0bd94706eb978e26ab99711b3542f431bceb05852e90894a23","observation_id":"fd63faaa-632c-47dd-89fb-979c77816a0b","resolution":{"observed_at":"2026-08-16T06:05:44.658154Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.635622Z","title":null,"venue":null,"work_id":"29068c51-a91d-46be-8055-de7c7e327235","year":2021},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.479447Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:a0cceb73746dc8a3e21fc950edcfff147e79b3173d6c5f698601095599bc3464","observation_id":"78fa9f39-ca76-4bab-837f-26bbb5a8c8db","resolution":{"observed_at":"2026-08-16T06:05:44.640575Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.618069Z","title":null,"venue":null,"work_id":"2b5cb477-f716-45cf-81a5-426790eed649","year":2021},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.485532Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:65105aec8e41390db14976ec3f3adea444a1a42ba83951fca194fa693d40dabe","observation_id":"f3466074-4217-445b-9ec0-086d2c60bc0d","resolution":{"observed_at":"2026-08-16T06:05:44.623364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-16T06:05:44.597166Z","title":"Zhang, Z","venue":null,"work_id":"8801bf14-8cf0-4a7e-9884-5de127880892","year":2023},"citing_paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T06:05:44.491474Z"},"links":{"citing_paper":"/paper/2504.19330"},"observation_digest":"sha256:cb446f5b6c1cc8b1b99439bc27c527a308e3f050acc2abe10288cd53878bb312","observation_id":"8a257edf-38be-491f-b5f2-054819546fdf","resolution":{"observed_at":"2026-08-16T06:05:44.605590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.19330","last_updated":"2025-04-29T06:54:55Z","latest_version":2,"primary_category":"math.OC","snapshot_observed_at":"2026-08-16T05:52:50.360105Z","submitted_at":"2025-04-27T18:59:43Z","title":"Synthesis of Discrete-time Control Barrier Functions for Polynomial Systems Based on Sum-of-Squares Programming"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":0,"verified_fuzzy":14},"total_outbound_references":31},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2504.19330."}