{"as_of":"2026-08-18T17:46:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:299404f1ba80a9d764d400aabaec19b0eb911cb612156cdc40bf0e34fb54305a","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-18T06:34:40.430872+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:250fb2ed1501444050be1b1ab50f0e4ded5ba9766985d604727716bb0852c92c","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:feb622c2355360df9312deaafb28b2516156fb3c672c34dde57ed41a71fe954b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:39ed9f613dfd78ecf39508d36f77294ee98221601eb9dc56d690899204a48a28","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ea9a247b916aa5114d8ecd70bf864015f7de648c137781151007e7a298019c7d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:dc333224785c134904bc03b11d7fd9c4bfec80b09c0952b1d0df0c22c5c38a8e","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:145c8ab1fc99bc04187c7ca5c61436b20297e407d639e1f7e5f5757755adb6e4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ad845fb2f92fb7ab32bbdc53e62641cecb61704b42e3940f9e78bfc89552b85a","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:9870b07d67615db0309d61bd2120288780f5cb8062fd4cddc1a62dc1cdfc21ee","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:4cfbf0d5e7265d53c036ca6844dcf41197d1fafa14b3d4a863042498e5599d6b","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:92b441b7a0c550c565aa79fabe3e990612c65a146adefdd76f61663db5da4d1d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:3b806dd910028a8c47eeab7a83211614e69174b0d3ef1a73aa75a59b05dc68bb","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:918f021e93346c308f5f597c9d105e2fcc31a01d750fa5cde773216b90041c92","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:247a0c35f2e6f7a1d18de36e3df6cec169c22d66382836d07b03e73a1d2d2708","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:97e1e4286b58c25afae851362c1172252c85406d6c598fe94a810acce635e804","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:2b6afd6c504ae1a83bffbc89c274b8837c6bffef7f1443b5a71d54a8004bd5c2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e0e6bafbdb824b32d7da0b90e8b04ba14038f7181310287ad034219a1581b6a2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:3adcb986ab2680506c714d7c3e2bc5616157c7dd11846a024914485717bbd6cc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:fda769f037d4289afd38aff6b258c1446221f4b4c208d80ff01746cbd4fb137d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:a3cac6dd77c3b14586749e6b9e0fbbea347235373956a6f94b3df40efbfe1206","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e29a8852c0f624d049438f3e3098540862055571c4716267ee82d1514a87b595","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:0026849afe7b2234cb5854caed133ae13bd35013f837e1efdca2dbcbc6d7a2e2","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:7776d64037849b2d812bf1526e57991cd511cfd97f15a1b299e3028393eead9d","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:1cb50755bc66aa44b3df7d523dafe0ba953e4046a6058973376e0cc07868cfdc","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:dd957149c276ba744c5c73d353278bdb3ff57c0d7ff054c8d7cf9dab9c5eb346","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:009f198d31ed3cf7b5976576ee75c12c2d965ab0936ea6420e4bb8238a0779a4","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:ad8ec6d0a929c563beb030ea3c1e20db4fa850b6dcd23565a905fd4a0c121cdf","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:e230caa6320f43f8cfc7ee8e5dd7bae43884d6a0ecaa38e223756230d752eb83","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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:44d609a4325fdac355c8bb186ab92a5309a1862300e25561d30d877d3e04ddbd","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-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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."}