{"as_of":"2026-08-22T07:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33fa29d05b78b47461a2e947316af363bd2d40ce9c546f09c997df2aa73770a2","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-22T06:32:14.747728+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-14T18:38:54.146258Z","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-08-13T15:20:14.098982Z","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:62360f9fc4a91b7abcdf563be876048832bf96374ae1ed37fdd4a4cef39f57f4","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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-08-13T15:20:14.098982Z","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:7a47a97f2ef8110534633a376e3cb03c96827b2b7f7095187f2208a091b21cf4","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:ab2de077d88c4056e7f61cfc8e34e5350eab7e458b1f1460c2d323ffbc346c1f","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:d118559ff034af0c57ad9d1f4d25f9e09a0d1bdcefcabdad8ed3be0717a6d3ab","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:a4fa2603aa68092ea151de445481b1e3fe52fccc35789888591628c07353fa2e","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-14T18:38:54.146258Z","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:6e48b1fde953e111aba047e885759acf23479cba194f61b04a8ba8b030fc95e2","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:073b02cc8b8f5ee25ad40502d9cb059fd6277e9819f079b28e10d771029e0edf","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:bba474f6c0f15e188c5811380c710ded2452893443d8a33a74dee7972a233077","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:00d4cb75bf07811259e6389f2caacca90bae451a1f1eaf2401effe87130dcef6","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:991bb3e4005aa33ab546282a2bdb6b5e0514a268702413dc559f808dca9af98b","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:6c03c802e22a4b60a5a38fc9bd281f97ce3199a1bb5244ce73d0f4878e8e054a","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:9d48aabd9a289e6d0cc67bcd651268708aec441f480f2eb70afa07d99899f46e","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:e9de93cf5093cc012492c8899fba76d6971558fa5299b1fb525ecd902858ad66","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:fc2cb883be34864682269e8e1c5ea55a52f544d03b649a2674247ec5c1042ead","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:2614685cbbe3150b260b9134df44fd9c5a5dacb3680ea9539fd427b3a7401b8f","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:0100fad0038fc238552f3e25502f1363a669eff1661b62a2193fbae2a8e04d94","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:06c410bad138ffa7a37a1ed7b7efa4e414e1ffbfc5d44d632b1a623aadd06c7d","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:f798aac1e7ff7abee186fca055c21725a282a18820c1c50a92a1a7d9ff3fefee","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:849660df533a4c6c61b63e01414a851c4173e79084fa29e5df185ffeda09513d","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:56abb6e45624bfbf65d79f1f1107a90830a6c6bb811484c482a3a621911fb54d","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:96ececadefbd589e2355a3deda0224b7ff8c8246375cb652ecbc86e48d9a0606","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:dfb213b44a9e7da6454f17ce9a9d62023724cbb2fe9aff05a7150a4e99b586c6","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:dc00f1a3773d39ae17bfd29d1e431cfcbd33f7dc2823b15e30b1b627802f9408","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:ed850c6715b05a3708c69d290b05a8bb7ff8c06d85e9b92ecffbc01c97685351","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:8f01c30b5881efa947d204ebf24430176f073ae74cc9ff8bbb486d6396fdfbeb","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:c4053b2867b5d990c42e361100cbd137aa069c607e668b2cfe5ae8a199c8c3e5","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:c83475d5baac48e9779971224e05fbd047379e16e513b110ff7512325793eb03","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-14T18:38:54.146258Z","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:e08d50e1146a152c489a878f9823af64d2ed9a84733319bf88188d5a49f67a61","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:7fedca5e258ab6427539fdc440c6704f7efaae112bbe2f5a43ab4a20ff6493e0","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-14T18:38:54.146258Z","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:9c4f8c7c0cde7dbd66cf25237ccc1a72791342463791420ffe9af71c868815f0","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-18T23:16:45.378085Z","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-14T18:38:54.146258Z","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:e52345b8b9a5aa466021027bfc17d177d1d66093515fc6582f3a95811e5f0acf","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-14T18:38:54.146258Z","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:68cd13a16335290330f6023a70395dd2b8502082b0d4e72fa4177aa1f9362b24","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-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-14T18:38:54.146258Z","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:c5b8c5f287db0cda3b8edba41d48673db6318b6b5287602316d0793751c715e5","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-14T18:38:54.146258Z","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:d9e2fc42f86a47bdd49eac398b88f5588c132c87c29a1d4d6141e4cd66eddfe2","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-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-08-17T19:26:44.032537Z","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-14T18:38:54.146258Z","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:12c4cb308bef31efceb2dc6c03478295d7dde2d16575857d3723465bf2b5b10d","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-14T18:38:54.146258Z","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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 2 inbound Pith citation observations for arXiv:2508.15616."}