{"as_of":"2026-08-12T22:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:be481147b0770e297241f393c4f9120a8e0602ac7667a5bfdfd672bdce479303","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-04T16:45:04.942908Z","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-12T06:34:41.77262+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/2509.12182/citation-record","integrity":"/paper/2509.12182/integrity","json":"/paper/2509.12182/citation-record.json","paper":"/paper/2509.12182"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:02.827945Z","title":"Control barrier func- tions: Theory and applications","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:02.827945Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:b33da9d923bc37d0fbf3d6b0eeb8822bdc543bf5b0fb257324f187e890091581","observation_id":"e9a1e87c-09b0-4044-b6b9-6e799e2fde50","resolution":{"observed_at":"2026-08-04T16:45:02.827945Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:02.904452Z","title":"Control barrier function based quadratic programs for safety critical systems.IEEE Transactions on Automatic Control, 62(8):3861–3876, 2017","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:02.904452Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:a78f9acc6c5669deca01fc0c24a17cd815ada5bf2e7dae956c6861c9706a9825","observation_id":"4c5266ca-c5b4-465d-aaf7-d5c6bf95cd93","resolution":{"observed_at":"2026-08-04T16:45:02.904452Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:02.967091Z","title":"Stabilization with relaxed controls.Nonlinear Analysis: Theory, Methods & Applications, 7(11):1163–1173, 1983","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:02.967091Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:883b700bed69e45a969695de927d69d64a95c1bb77d87a15d569bd5b6f835e3e","observation_id":"fd8d24c7-0a88-4e1a-b5c5-d3ca99e5191b","resolution":{"observed_at":"2026-08-04T16:45:02.967091Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.053563Z","title":"On (the existence of) control Lyapunov barrier functions","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.053563Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:51b901d564771cf78123ca64a7d0dfaef0a0b018f8b3d3c7464bd8ef96a493fe","observation_id":"762266b0-17cd-436c-a186-5c9406153563","resolution":{"observed_at":"2026-08-04T16:45:03.053563Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.142575Z","title":"stabilization with guaranteed safety using control Lyapunov–barrier function","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.142575Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:2e6ddfe6d512709121486919802586cf1afe8dd4112cc3a6b22e61eea2be6032","observation_id":"8fe642b2-7ef7-4784-95ba-ea6cafb2e22f","resolution":{"observed_at":"2026-08-04T16:45:03.142575Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.211732Z","title":"Crowl and J.F","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.211732Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:7c18a149d0ef6610c44fba3e294ada2c412fc906af5ecc777188fe5fc663120e","observation_id":"8608c151-8113-4d98-882c-0d25f1da8838","resolution":{"observed_at":"2026-08-04T16:45:03.211732Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.250041Z","title":"Verification and synthesis of compatible control lyapunov and control barrier functions","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.250041Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:a0b19e71ae7cee243f59fd296f90e69ddaf0a15c8a5ba0f16bed3ea913899688","observation_id":"a6d663a2-ea39-4fc6-ba94-97d2d88f81e1","resolution":{"observed_at":"2026-08-04T16:45:03.250041Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.289634Z","title":"Safe nonlinear control using robust neural Lyapunov-barrier functions","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.289634Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:37d850ef08711c3cda2011fb2c35bb825b35064eb7cde36e4eef78d3a3d26786","observation_id":"81243d0b-516a-4202-8c84-e92be04ac2f3","resolution":{"observed_at":"2026-08-04T16:45:03.289634Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.340866Z","title":"Challenges in autonomous vehi- cle testing and validation.SAE International Journal of Transportation Safety, 4(1):15–24, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.340866Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:ca120ad428201ae1c1e4f786252f15678740768db50b539c1d5c9cd4c1df3d36","observation_id":"6feb8c7b-3038-4785-9467-f7e82ffa2754","resolution":{"observed_at":"2026-08-04T16:45:03.340866Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.400381Z","title":"On the inversion of Lyapunov’s second theorem on stability of motion.Amer","venue":null,"work_id":null,"year":1963},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.400381Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:a3a19b187b6f70e3f30c730faae4303f4a1deacf67d4cc047970e63dd9f3580c","observation_id":"b45c10c4-69bc-4ff5-8b0f-5a6bf20bbbfc","resolution":{"observed_at":"2026-08-04T16:45:03.400381Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.489812Z","title":"Lee.Introduction to Smooth Manifolds","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.489812Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:4f48031100af77fb76010179ce20d4a380cd3ed710545518d05bc6f2ee211ab8","observation_id":"77351a45-1138-4d1b-8288-c825cab0cafb","resolution":{"observed_at":"2026-08-04T16:45:03.489812Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.574132Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.574132Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:d7d35dd7121d6f3978b37778fae7f6f147896ae910bcba90dbfc2dbeed3decd6","observation_id":"73e201a4-543f-4450-87db-ceba3c0dcc09","resolution":{"observed_at":"2026-08-04T16:45:03.574132Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.660831Z","title":"A graphical interpretation and universal formula for safe stabilization","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.660831Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:8b12ed1f1b797fd248c5c39868dfdd40b310aa1e2f557c8f5e930224cdf29be4","observation_id":"19daedd7-9740-4f71-a42a-6ef685590c2f","resolution":{"observed_at":"2026-08-04T16:45:03.660831Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.749487Z","title":"A smooth converse Lyapunov theorem for robust stability.SIAM Journal on Control and Optimization, 34(1):124–160, 1996","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.749487Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:18f16ef7de4bdea2851e43926c18103db5ce5c93947f240fe6356271dd15f520","observation_id":"957ae118-f973-47cf-811d-62b462914569","resolution":{"observed_at":"2026-08-04T16:45:03.749487Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.836273Z","title":"Physics-informed neural network Lyapunov functions: PDE charac- terization, learning, and verification.Automatica, 175:112193, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.836273Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:63bc7797488488a290f455d7568b51699df0a50acd2e4fb492aeddcb235210e8","observation_id":"95ba3739-734c-45ef-9396-2cac47588212","resolution":{"observed_at":"2026-08-04T16:45:03.836273Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.893376Z","title":"Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications.Automatica, 144:110478, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.893376Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:c9c145fc885d5d2a4dba8414c8fd40a5b1d8b2e9e19ff3cb30b612cd87ac6600","observation_id":"e204c7e8-aaa0-45c6-bafd-51855d909c43","resolution":{"observed_at":"2026-08-04T16:45:03.893376Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:03.962408Z","title":"Optimization-based safe stabilizing feedback with guaranteed region of attraction.IEEE Control Systems Letters, 7:367–372, 2022","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:03.962408Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:a431639262b44ade8f3a6bf52da3a34562fd589544bb0961388fa6332405e7e4","observation_id":"932004b0-5c8c-4990-a8e7-5dc7bcc9b0c3","resolution":{"observed_at":"2026-08-04T16:45:03.962408Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.023496Z","title":"Converse theorems for certificates of safety and stability, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.023496Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:7c582554bd07c9fbf938b15932b47ceb242b7fce711598f36a55638dc69f6498","observation_id":"4ef101e8-2095-49ef-b26e-16d3b363e28d","resolution":{"observed_at":"2026-08-04T16:45:04.023496Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.089408Z","title":"¨Uber die lage der integralkurven gew ¨ohnlicher differentialgleichungen.Proceedings of the Physico-Mathematical Society of Japan, 24:551–559, 1942","venue":null,"work_id":null,"year":1942},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.089408Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:750595425f3a26519df66fd1b44b69bfbda11c740361906f3c2e97af7f29ed2a","observation_id":"f4cc51ac-9d89-4204-8ede-31e21797369a","resolution":{"observed_at":"2026-08-04T16:45:04.089408Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.161356Z","title":"Ong.Uniting and Balancing Control Objectives: Safety, Stability, Smoothness, and Resource Conservation","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.161356Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:1d51de572e60371d03e4370bb62b1ccc14e3fb7fdbc7ae659a3da2957cb5d86d","observation_id":"4aea5fef-e8ce-46df-a51d-b37bf4763c4e","resolution":{"observed_at":"2026-08-04T16:45:04.161356Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.268925Z","title":"Universal formula for smooth safe stabilization","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.268925Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:938cfb7204c8131aea5641525ba35fd1ba72b7ede3a78dd44297c9a97a7477f2","observation_id":"1b561b7c-1bdf-480b-87a5-95a8975cfd05","resolution":{"observed_at":"2026-08-04T16:45:04.268925Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.355357Z","title":"Stabiliza- tion with guaranteed safety using control Lyapunov–barrier function","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.355357Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:ad421d5ef5abc38ccf39e41fc645852a0c5f1722d51037b754a374d52fe604f5","observation_id":"bea23df1-d31a-4e55-b5d3-d55fb8a11070","resolution":{"observed_at":"2026-08-04T16:45:04.355357Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.411828Z","title":"A Lyapunov-like characterization of asymptotic controllability.SIAM journal on control and optimization, 21(3):462– 471, 1983","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.411828Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:223e0e1cd7148dbdc6af9f9222a3befd0360bdda1a510e44f8e6f34fb44134f3","observation_id":"2858ca0d-91c3-4fb4-8412-e838b2f4548b","resolution":{"observed_at":"2026-08-04T16:45:04.411828Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.493916Z","title":"A ‘universal’construction of Artstein’s theorem on nonlinear stabilization.Systems & Control Letters, 13(2):117–123, 1989","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.493916Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:91ce1881f1c57cc84e8d4a5d6fe14b980f72f72a83a2fcbd695413d8eb0d292c","observation_id":"61d5bb29-9876-4255-9328-e4a06046eb9d","resolution":{"observed_at":"2026-08-04T16:45:04.493916Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.581873Z","title":"Springer Science & Business Media, 1998","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.581873Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:fa55a5762108295bc50638f8ad7800cca3cd2db633ad140b4f96ab281026e77c","observation_id":"4ed0d45c-f38b-42e8-933d-b7fd0cd5d5a5","resolution":{"observed_at":"2026-08-04T16:45:04.581873Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.647536Z","title":"Stability and stabilization: discontinuities and the effect of disturbances","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.647536Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:4443304982c5a22d1187bc42f923e2f8568fe4889971190bb4a693de526af664","observation_id":"fdff21cf-9809-4a8c-950f-f085636dc4b5","resolution":{"observed_at":"2026-08-04T16:45:04.647536Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.694881Z","title":"A smooth Lyapunov function from a class-KLestimate involving two positive semidefinite functions","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.694881Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:69753e28c6b69f742da389ee5fe6694da2d76a90713498005f4dd75743b46775","observation_id":"0e4bbd09-1d0e-4f22-be30-3a1f7b896de7","resolution":{"observed_at":"2026-08-04T16:45:04.694881Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.743008Z","title":"Constructive safety using control barrier functions.IFAC Proceedings Volumes, 40(12):462–467, 2007","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.743008Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:a5efac92e1b509c4d3ec5280619a9f6f881e967517d51b2e6b9fdc244cfa623b","observation_id":"176c1d8a-22dc-4bc9-bba0-8b731759fa6d","resolution":{"observed_at":"2026-08-04T16:45:04.743008Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.808628Z","title":"Control Lyapunov-barrier function-based model predictive control of nonlinear systems.Au- tomatica, 109:108508, 2019","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.808628Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:f71ce29fd6547308957dbab9792a8272980f7d9b17890c8c294e05cd4e081348","observation_id":"4a02225a-c7f8-495d-8614-508078cba582","resolution":{"observed_at":"2026-08-04T16:45:04.808628Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.852303Z","title":"Constrained control of input–output linearizable systems using control sharing barrier functions.Automatica, 87:195–201, 2018","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.852303Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:131f24ea97ed182b037b2b84a38112097ebace4595938414a566d1f3fd9ebaeb","observation_id":"83125699-3518-48fc-bc34-147e62ec9ea4","resolution":{"observed_at":"2026-08-04T16:45:04.852303Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T16:45:04.942908Z","title":"Robustness of control barrier functions for safety critical control","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T16:45:04.942908Z"},"links":{"citing_paper":"/paper/2509.12182"},"observation_digest":"sha256:bba8821902a4ec9b3fea1699862bdabc72d45741adff562cfb2ae0b3c509d752","observation_id":"40c1ef1c-b3a8-4bcb-8ea1-59b991418ab5","resolution":{"observed_at":"2026-08-04T16:45:04.942908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2509.12182","last_updated":"2026-03-20T15:56:12Z","latest_version":2,"primary_category":"math.OC","snapshot_observed_at":"2026-08-09T08:08:37.095816Z","submitted_at":"2025-09-15T17:45:27Z","title":"A Converse Control Lyapunov Theorem for Joint Safety and Stability"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":0,"verified_fuzzy":0},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2509.12182."}