{"as_of":"2026-08-09T06:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e35dd0b56668b965a0d9171ac0dc0d429e61584700d0f105e57d99a3c8a5509f","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T17:56:04.995345Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-21T10:13:12.814637Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-21T10:14:06.468223Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"cited_work":{"arxiv_id":"2508.15616","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.15616","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Detailleur, D","venue":null,"work_id":"eb459929-5dd0-460b-9a00-4c20eee5415f","year":2025},"citing_paper":{"arxiv_id":"2604.04455","last_updated":"2026-05-19T19:45:40Z","snapshot_observed_at":"2026-07-06T22:53:24.585766Z","submitted_at":"2026-04-06T06:03:18Z","title":"Region of Attraction Estimation for Linear Quadratic Regulator, Linear and Robust Model Predictive Control on a Two-Wheeled Inverted Pendulum","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T20:21:56.506346Z"},"links":{"cited_paper":"/paper/2508.15616","citing_paper":"/paper/2604.04455"},"observation_digest":"sha256:dfcd235b7e15b26cfbed29142ba3b55dc936031d054c9eeb438e1dd0844da5c1","observation_id":"41ae7161-8ab5-4e10-893d-1d8b3a4099a0","resolution":{"observed_at":"2026-05-10T22:00:48.256301Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"cited_work":{"arxiv_id":"2508.15616","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.15616","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Detailleur, D","venue":null,"work_id":"eb459929-5dd0-460b-9a00-4c20eee5415f","year":2025},"citing_paper":{"arxiv_id":"2604.04455","last_updated":"2026-05-19T19:45:40Z","snapshot_observed_at":"2026-07-06T22:53:24.585766Z","submitted_at":"2026-04-06T06:03:18Z","title":"Region of Attraction Estimation for Linear Quadratic Regulator, Linear and Robust Model Predictive Control on a Two-Wheeled Inverted Pendulum","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-21T10:13:12.814637Z"},"links":{"cited_paper":"/paper/2508.15616","citing_paper":"/paper/2604.04455"},"observation_digest":"sha256:c52cafa61d4766b2850dc45b0dbde39be52433f5c7e2a623b51a87f9669575bb","observation_id":"bbf0217a-38c0-414b-b296-eb1cb9fb8832","resolution":{"observed_at":"2026-05-21T10:14:06.469943Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2508.15616/citation-record","integrity":"/paper/2508.15616/integrity","json":"/paper/2508.15616/citation-record.json","paper":"/paper/2508.15616"},"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-05T17:56:10.475044Z","title":"Neural networks for control systems—a survey,","venue":null,"work_id":"13ea0c4b-beca-4d87-8daf-18df579964fa","year":1992},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.181224Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:320d8e753f2250f841c1502a9c20cbe2bc0d7d7be4820c0b9502435f94ac82bf","observation_id":"940bc649-bf94-471d-b231-8f1e86bf95bd","resolution":{"observed_at":"2026-08-05T17:56:10.481220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.450410Z","title":"Universal function approximation by deep neural nets with bounded width and ReLU activations,","venue":null,"work_id":"56899cba-bb36-47e6-8710-a09a5346a9e9","year":2019},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.250535Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:eaa4390a095b126a02efeeffe3768f229aa76a3040febfe4f5db1fea698baea4","observation_id":"597e1f6f-8504-4ad1-89f8-dfa11ef07122","resolution":{"observed_at":"2026-08-05T17:56:10.456713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T17:56:02.363732Z","title":"Neural networks for fast optimisation in model predictive control: A review,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.363732Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:75c478b90ccf9f7ea9759291992ac4774c1b1f9aac1eb80ba37d681d8147ed4c","observation_id":"a0bfe67d-8a50-4aa5-ad9b-d944b8998c33","resolution":{"observed_at":"2026-08-05T17:56:02.363732Z","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-05T17:56:10.427061Z","title":"Neural networks for control: A tutorial and survey of stability-analysis methods, properties, and discussions,","venue":null,"work_id":"06879afa-d76b-45bb-af8f-6e6c2ad65bdc","year":2021},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.458606Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:c9b69f971729032701bed0318f432f32f92e143dbb33dc304fcd101d25f23cae","observation_id":"ddb36133-9ede-4511-8972-2cfc6b30f082","resolution":{"observed_at":"2026-08-05T17:56:10.433028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.400084Z","title":"A comparison of verification methods for neural-network controllers using mixed-integer programs,","venue":null,"work_id":"c4814192-5365-4060-b233-99947a622843","year":2022},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.539218Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:274df3bb194ae5b62530cf014bdcce3e7c78124951a7c6fb77ff0893a72836c1","observation_id":"c2640ecd-0e90-4c33-982b-f91e0ca8db07","resolution":{"observed_at":"2026-08-05T17:56:10.408612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.377448Z","title":"Stability verification of neural network controllers using mixed-integer programming,","venue":null,"work_id":"ec55daa2-8c20-4e46-a229-aff0dcabbb91","year":2023},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.643636Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:e3f5e347ebea694c1b24e2a0b7219f2557508e6ae41864d31d50a09308dd7a86","observation_id":"60af60c1-18e1-4ca5-bdc3-b74e1a799262","resolution":{"observed_at":"2026-08-05T17:56:10.385832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.346954Z","title":"Strengthened circle and Popov criteria for the stability analysis of feedback systems with ReLU neural networks,","venue":null,"work_id":"5e3ad652-57b8-4906-ba3c-db9c7bf37950","year":2023},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.695179Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:da7fe7ac07de35c2f884011d24c838628defdca035d82a6559fc088bc4ac3893","observation_id":"f6672895-445a-42cd-b0ba-51bfdec21d64","resolution":{"observed_at":"2026-08-05T17:56:10.354811Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.323867Z","title":"Linear systems with neural network nonlinearities: Improved stability analysis via acausal zames-falb multipliers,","venue":null,"work_id":"36b5db90-da8b-4e1e-8f0a-3eba300e464d","year":2021},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.735874Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:40b7f01bb23d93c7ba65fcb45690d0eb330e469cef77273e31933756012169a0","observation_id":"5aadb4ff-ac54-4a76-a897-362311a5f45e","resolution":{"observed_at":"2026-08-05T17:56:10.330404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:10.140600Z","title":"Stability analysis using quadratic con- straints for systems with neural network controllers,","venue":null,"work_id":"76b4a787-9fd7-44cc-b986-dd38107ea00d","year":1980},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.772654Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:38a5f94176f1356e951418fe0cb9372a0a0a3c92f71c73809a4cf1b97d52690b","observation_id":"708308e7-71b0-405b-899c-afe937bfc800","resolution":{"observed_at":"2026-08-05T17:56:10.303032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:09.808614Z","title":"A convex parameterization of robust recurrent neural networks,","venue":null,"work_id":"fa234ed8-6f6d-4a22-833e-dc13f77fb0e7","year":2020},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.825717Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:deefac8111526880744f458f765f498a9a15614eabd5f35bf89b849005e2a42a","observation_id":"df8ee239-562f-4d9b-ba9e-47fa19ba76e1","resolution":{"observed_at":"2026-08-05T17:56:09.952181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:09.467208Z","title":"Recurrent equilibrium networks: Flexible dynamic models with guaranteed stability and robustness,","venue":null,"work_id":"5ae15341-7e82-4df0-bfc1-6963f82a5aa6","year":2023},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:02.896866Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:38a2f68b603421b20c82bcbfcbc23e0b9989c747795d9ed8b60421537364e4d8","observation_id":"576a70a7-603c-47e5-b0e6-275382b2e6fe","resolution":{"observed_at":"2026-08-05T17:56:09.594371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:09.233945Z","title":"Stability and performance verification of dynamical systems controlled by neural networks: Algorithms and complexity,","venue":null,"work_id":"d64fa153-5a22-4d95-b60c-6e7f725c9a2d","year":2022},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.004152Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:6f19255224c98aa3265dff2131b679134dc84c10ce60ce60919107e95674c4c5","observation_id":"925aaa45-b08a-4c0e-b52e-e99880108803","resolution":{"observed_at":"2026-08-05T17:56:09.341055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:08.897916Z","title":"Stability of non-linear neural feedback loops using sum of squares,","venue":null,"work_id":"87ef2ec0-a043-4faa-8c97-303f462a8d0f","year":2022},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.091387Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:8c3a01e254d23535f0deedeccdd898b71678a29f5d2f1dc9e2ee94a77ad1bbb4","observation_id":"f3c6fdcb-bffb-40d2-8ec1-b24a8cf85ab1","resolution":{"observed_at":"2026-08-05T17:56:09.060179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:08.666319Z","title":"[Online]","venue":null,"work_id":"4d1fcba9-6601-4b15-8c1d-c455901e29d9","year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.175983Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:317de5ca5e0b8ca64dc6cfb6ab7c72feeed600ad5c33ec9d30cb8fd1fc4f8986","observation_id":"5955d7c4-3bf3-480c-a858-41dab9c69f7a","resolution":{"observed_at":"2026-08-05T17:56:08.748211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:08.381796Z","title":"Raspberry Pi 3 Model B+ Product Brief,","venue":null,"work_id":"c9903d50-e585-42fb-a051-3fe52c89772a","year":null},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.266543Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:87c67a4ee080ec0d93481336c66222a9250251ca1de8b74a585da2b6f8998b8f","observation_id":"9c2ffb3e-ac7e-4694-9b55-3798e73c4312","resolution":{"observed_at":"2026-08-05T17:56:08.517997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:08.194247Z","title":"SKROSS Reload 10 Battery Bank Datasheet,","venue":null,"work_id":"4245a713-c31b-4d15-93a3-afb480d575c8","year":null},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.360163Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:573a058405488c24f2230d504c0994e45e5f1b3586ca4a47e5532eed64a21cdb","observation_id":"35d05292-aef7-4a8f-ad8b-1ebe2e3f1f93","resolution":{"observed_at":"2026-08-05T17:56:08.276554Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.985313Z","title":"[Online]","venue":null,"work_id":"c9e9cbae-2034-4171-9e02-45d51b44b838","year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.491761Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:374b98fa5e5b9393055bc6d8d1a8d239dabebbd0f3b733771c9bc0fcbb734411","observation_id":"4d9a9e87-bddf-494c-8326-b727d9dfb751","resolution":{"observed_at":"2026-08-05T17:56:08.053755Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.789809Z","title":"[Online]","venue":null,"work_id":"6e246eb7-3f75-4066-845b-374d529189a9","year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.586485Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:6ee711a06cb707d5fe9601fb2326d84605bead1d5b1d4c8d06ee44412374dcd8","observation_id":"bb8fdaac-5848-4570-b190-6c74ae9d65a8","resolution":{"observed_at":"2026-08-05T17:56:07.884570Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.624574Z","title":"[Online]","venue":null,"work_id":"437eeeb1-db33-4e33-b4dd-f4609d990e94","year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.670747Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:ad2fa3ec02677f78880355ba35bab745a24ab521ad2f2b4e618f2bfa975e5a18","observation_id":"198a52f0-c183-470b-9269-df62b3664cf8","resolution":{"observed_at":"2026-08-05T17:56:07.715311Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.458658Z","title":"Imple- mentation of a nonlinear attitude estimator for aerial robotic vehicles,","venue":null,"work_id":"ec318997-0e9a-40c1-aadf-84ddd82f9509","year":2014},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.756765Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:f12308aa9f5d0bf4e3ce3d236471467413fd54e3fd65716f07014952c1202394","observation_id":"9ca7608a-d34d-4c93-942a-0cdc31489b08","resolution":{"observed_at":"2026-08-05T17:56:07.528470Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.243880Z","title":null,"venue":null,"work_id":"deeaa0e1-af44-416e-bd34-ef040d113206","year":2017},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.847924Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:865b7e883e486d7605412c225739aaf894e98b520ce981a791d80bcd4c90e136","observation_id":"67f8e5e0-33c8-4c78-8e13-1a2f890ccdc7","resolution":{"observed_at":"2026-08-05T17:56:07.375322Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:07.079767Z","title":"Theory and computation of dis- turbance invariant sets for discrete-time linear systems,","venue":null,"work_id":"dd30706e-cf25-49c3-9a87-61066e6c63f8","year":1998},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:03.927361Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:28d1b60a701fcf2d61fcb7d767d53ec612756d013887de469fc6e91416ca5e4b","observation_id":"d5a84dc9-aa9c-4672-b4d5-d64c56186ad1","resolution":{"observed_at":"2026-08-05T17:56:07.154222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:06.883847Z","title":null,"venue":null,"work_id":"a9cd57d8-6807-42e4-a633-3a17a1404694","year":1994},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.012768Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:b47e3a7daa0d1c57478346c469a09c516b2add8123618d4bc6bc7e69297c6d3c","observation_id":"42ad26ee-3075-4b98-a376-1be2a42d86f3","resolution":{"observed_at":"2026-08-05T17:56:06.970410Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:06.667558Z","title":"Bounding and count- ing linear regions of deep neural networks,","venue":null,"work_id":"744441fb-b2e1-4074-96da-fd5555f4ab20","year":2018},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.074056Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:7c6f20f89bda232effd506e228531651b6253271bc340485da2eb440ec951ecd","observation_id":"9222b039-70dc-4f2e-8c42-49fac334145e","resolution":{"observed_at":"2026-08-05T17:56:06.780435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T17:56:04.158577Z","title":"Adam: A method for stochastic optimization,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.158577Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:e6ac6759ee762eb0775aeda8a7d0768d250d78623a8df5eb58fe60bdeaf18cad","observation_id":"cf3d4eb5-f0da-4f7e-b9f1-208d1589fb24","resolution":{"observed_at":"2026-08-05T17:56:04.158577Z","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-05T17:56:06.375121Z","title":null,"venue":null,"work_id":"30af5b1c-23df-4fa7-b0b5-beae5fa8bed3","year":1986},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.314655Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:be9f7f64ded66388f4e12667ad6deb9c3897ef6d0e9757e4ba9713c35c1aa752","observation_id":"b6b72079-dae9-4902-a390-c55072e22aa7","resolution":{"observed_at":"2026-08-05T17:56:06.492568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:06.125989Z","title":"On the dynamic model of a two-wheeled inverted pendulum robot,","venue":null,"work_id":"d06ae32b-099b-49cf-8e96-a64f41d80914","year":2014},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.391442Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:ecd0853e1e9c4d9feb4b1a47b11a07e7560735d3f49b4badfac71f638e552cf5","observation_id":"0259ef95-9be5-43bb-b260-4ad9a18c005c","resolution":{"observed_at":"2026-08-05T17:56:06.228455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-05T17:56:05.932323Z","title":"Stability and performance verification of optimization-based controllers,","venue":null,"work_id":"8f281927-a753-4a24-a414-396c08e902ac","year":2017},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.473111Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:5b6ff7ae5c200c6f98b03665035b49bb00dc9cb17057bb10d59e2517ccc63563","observation_id":"b6bc139c-35e7-43c1-a791-47fe5afd22ef","resolution":{"observed_at":"2026-08-05T17:56:05.995234Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.10352","last_updated":"2025-07-14T14:54:19Z","snapshot_observed_at":"2026-08-08T02:38:58.236834Z","submitted_at":"2025-07-14T14:54:19Z","title":"Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.10352","snapshot_observed_at":"2026-08-05T17:56:04.559168Z","title":"Improved sum-of- squares stability verification of neural-network-based controllers,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.559168Z"},"links":{"cited_paper":"/paper/2507.10352","citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:0031dde0994a03557fed34140ebcc816a19330ac2844e42757c77521c65a857d","observation_id":"b761afd0-bde5-4571-ab6c-90f033575abd","resolution":{"observed_at":"2026-08-05T17:56:04.559168Z","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-05T17:56:05.645084Z","title":"Semidefinite programming relaxations for semialgebraic problems,","venue":null,"work_id":"a241fcc5-5fa6-4e8e-a1ac-9f33f1e91d4b","year":2003},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.676171Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:63c3875dffd1265a54d177b5f733c9e40c624b625befadbe69af7454fc0491c9","observation_id":"a469f2df-e9e4-43d6-9c3a-406c699e9ea7","resolution":{"observed_at":"2026-08-05T17:56:05.790707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T03:25:51.729294Z","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-05T17:56:04.860704Z","title":"Papachristodoulou, J","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.860704Z"},"links":{"cited_paper":"/paper/1310.4716","citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:b59c7f7a8bd9ca3b53f22087afa426fda61e53d3f6bfcb654a062825b97ceca7","observation_id":"0d34794b-3691-46b7-92e5-84a43cef7de0","resolution":{"observed_at":"2026-08-05T17:56:04.860704Z","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-05T17:56:05.367766Z","title":"Alvaro Detailleur received the M.Sc","venue":null,"work_id":"65da3743-438b-4a1f-91be-1ac96c1ce06d","year":2023},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.995345Z"},"links":{"citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:028f80635a48ee5d6379c20f336c4b777671b737bdf52827c23fdee0f8a2487d","observation_id":"70f5ad6f-ac15-4dda-abec-94bcfe7a87b7","resolution":{"observed_at":"2026-08-05T17:56:05.506332Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-05T17:56:04.226836Z","title":"Available: https://arxiv.org/abs/1412.6980","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-05T17:56:04.226836Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2508.15616"},"observation_digest":"sha256:1bfb6fae5ddb4bab1920264c606c0f0654e2912a76f52d1fe7dfb32fa26010f2","observation_id":"694064cb-31f9-4732-b5d4-4c58e8f288fe","resolution":{"observed_at":"2026-08-05T17:56:04.226836Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.15616","last_updated":"2025-08-21T14:44:12Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-06T21:08:28.179181Z","submitted_at":"2025-08-21T14:44:12Z","title":"Synthesis and SOS-based Stability Verification of a Neural-Network-Based Controller for a Two-wheeled Inverted Pendulum"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":24},"total_outbound_references":33},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2508.15616."}