{"as_of":"2026-08-15T02:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8b1e82697af31b7735356a712637e5cf2bda4cc5ea5e2123d288c2a94dbb8538","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-24T16:08:02.516636Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1907.11514/citation-record","integrity":"/paper/1907.11514/integrity","json":"/paper/1907.11514/citation-record.json","paper":"/paper/1907.11514"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Implementation of interval arithmetic in CORA 2016","venue":null,"work_id":"523f4051-172b-42a3-97a1-668ac9de72a8","year":2016},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:9982adfbf9c6eeb414035c8baf357bb71caaf2aaaed3a359344de867961dc2a4","observation_id":"5544e61e-ce07-4e26-afb5-d75e9336c141","resolution":{"observed_at":"2026-05-24T16:09:41.025733Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Hybridization methods for the analysis of nonlinear systems.Acta Informatica, 43(7):451–476","venue":null,"work_id":"f2f6ec0c-150c-449a-9489-de5cf8909333","year":2007},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:f7fc7edb11305cb99b55717a6c46a8d32b186067bcf7b8e4549264197b4ac8ac","observation_id":"4d2aee76-f6b6-466e-a957-7b5a25de2d8d","resolution":{"observed_at":"2026-05-24T16:09:41.047415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis","venue":null,"work_id":"b46fa8b9-b932-4240-89f1-13033ff7d936","year":2015},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:7133846943e26c181a497373d71568c97a58a9369f2ff1c0ec42de6385954195","observation_id":"16eaefb1-f47c-43fa-9dcc-944aaaf054bb","resolution":{"observed_at":"2026-05-24T16:09:41.043889Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Verified integration of odes and flows using differential algebraic methods on high-order taylor models.Reliable Computing, 4(4):361–369","venue":null,"work_id":"c8044326-3eab-4cf3-9d12-3020771b06fc","year":1998},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:ec774c612d0c7a5b70973c3df260f6453401083c4b0b16d7fe5eb6ba3e1e2368","observation_id":"18095606-bd16-48aa-8459-af31aed5b340","resolution":{"observed_at":"2026-05-24T16:09:41.040334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Abstraction-based parameter synthesis for multiaffine systems","venue":null,"work_id":"4594f027-5ee1-4c63-a9af-73642f6498c5","year":2015},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:5fa3916345ec864c6fc904eb8cd59c98ac7f1c4095c5cca1d9a5250063fdcf8e","observation_id":"42f4fff7-ba73-4963-9058-ef12f781d2f4","resolution":{"observed_at":"2026-05-24T16:09:41.021849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Flow*: An analyzer for non-linear hybrid systems","venue":null,"work_id":"16f9a3dc-a6fd-40f6-b968-2173bab31611","year":2013},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:1adbba1e48d900f334309cb2fed700444ac78c7b25700cd1aaf91aa0e78875b8","observation_id":"b1dfbe35-ef27-47c5-84b3-4e4b319237e7","resolution":{"observed_at":"2026-05-24T16:09:41.029118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Experimentingonsolvingnonlinearintegerarithmeticwithincremental linearization","venue":null,"work_id":"7d8fabd1-5fc3-4d4f-97b4-8ffb14989dba","year":2018},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:014becfd110c97489218c5cde7f4791d23b802e889a99782d9ecc9caaeab03c4","observation_id":"91690407-f2de-4389-8ebd-ddb19d698a08","resolution":{"observed_at":"2026-05-24T16:09:41.036112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions","venue":null,"work_id":"7ff75614-f962-4116-b60b-db0ec74c7cc1","year":2018},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:87287f5bfadb4f69c9d742a46fa7b678c05ba320d8013f7d395925b218286140","observation_id":"e3301065-fb60-4568-abfa-f30f5a061113","resolution":{"observed_at":"2026-05-24T16:09:41.032706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Ariful Islam, Greg Byrne, Paul L","venue":null,"work_id":"acc33daf-8aa3-4e9d-ac6f-bead843f6214","year":2017},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:7186ebd176e0f0b0a50314f5726648ea1d73e9e865f45b4813ab94899fa83968","observation_id":"e6330328-6838-4e7a-a0ba-799e95720a42","resolution":{"observed_at":"2026-05-24T16:09:40.980784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Ariful Islam, Scott A","venue":null,"work_id":"ed3d8250-a76b-4b2a-9e69-8198190b478d","year":2018},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:f5660e778a9bb70003b08fd02e0d5ac0f9abac1c3ad9ea330599deaef5acb233","observation_id":"b6a823e1-3ffc-4122-8c0a-c3bcde4b8c80","resolution":{"observed_at":"2026-05-24T16:09:40.973151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"C2E2: A verification tool for stateflow models","venue":null,"work_id":"5894550d-9245-43de-bdf9-6c600b1d653c","year":2015},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:5c9986eab6005410869fc0b9a5a7d52e337133ef04ed9eb0bab8f4145bc4e297","observation_id":"33c8e0f0-fbee-44fc-92ce-556a582f0da5","resolution":{"observed_at":"2026-05-24T16:09:40.969275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Efficient solving of large non-linear arithmetic constraint systems with com- plex boolean structure.JSAT, 1(3-4):209–236","venue":null,"work_id":"33fceebb-a351-4328-9fca-a85ee081c3ef","year":2007},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:5672e8eb3be25bdeb46352fdf2e5ac3128871a91003e892d42f669e5c451d0b4","observation_id":"3fb065a0-12cd-44c5-9640-1aa71634fbef","resolution":{"observed_at":"2026-05-24T16:09:40.988565Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Verification of hybrid systems using iterative refinement","venue":null,"work_id":"7baa126d-0d88-4311-8464-60f2834915af","year":2005},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:38004d16402693febe2f21da16e9dda45a2d34fb42c4ac7411a4ae9b1702dd0c","observation_id":"1bb2f0a3-61f1-40bf-b404-bb3b34e96a58","resolution":{"observed_at":"2026-05-24T16:09:40.976989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"SpaceEx: Scalable verification of hybrid systems","venue":null,"work_id":"b4df24d2-8a18-46a3-8159-091dd578ba6d","year":2011},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:a73f0a2eec4aad6f7cf5e2ddc40e82016eb83ebccdd459ea7320e111a34782d1","observation_id":"d0c368cb-4aa7-485b-b738-badea80a9be7","resolution":{"observed_at":"2026-05-24T16:09:40.984380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Efficient reachability analysis for linear systems using support functions.Proc","venue":null,"work_id":"fc7a5d2f-8890-47de-98eb-83742290c01c","year":2008},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:ad5cb4799aa6255fe7f9aef637bf59ca7ddbbaa8b6849b79be547e6d4f6a52d2","observation_id":"2b5ad8d4-b8d9-4ce7-8f97-3d08c5efad0b","resolution":{"observed_at":"2026-05-24T16:09:40.958388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Fenton, James Glimm, Colas Le Guernic, Scott A","venue":null,"work_id":"f10f592c-9f01-4b23-9eec-55d1915125fd","year":2011},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:5ffb81582886f34896ed4a171eee2bebb00e2ccf2cd7db7274a7d36e6080b0ea","observation_id":"af66818e-4699-46a3-b201-6f3f0b084726","resolution":{"observed_at":"2026-05-24T16:09:40.992284Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Gulwani and A","venue":null,"work_id":"d12d1fcb-1dfc-4042-95f3-e2c85b6d151d","year":2008},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:d2b525face2057a157cdb14ea56d57333c6daa6fb09fe547a08bbabc67c30411","observation_id":"895037b5-0e71-4bba-874d-aee6c6d6922a","resolution":{"observed_at":"2026-05-24T16:09:40.961728Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Towards formal verification of analog and mixed-signal designs","venue":null,"work_id":"3e64eb4f-f5ce-43ee-b2f8-079175ad554d","year":2003},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:7bb139b9bf7d2945067a7c1f01d1fbbab17f366a5128a31928ab42347e5fb3ed","observation_id":"4315c5bb-182c-4e99-96ca-2fbab795b2ed","resolution":{"observed_at":"2026-05-24T16:09:40.954334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Parallel reachability analysis of hybrid systems in xspeed.International Journal on Software Tools for Technology Transfer, to appear:1–23","venue":null,"work_id":"2bd00c3a-c4aa-4514-9084-587f5b66e6c4","year":2018},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:faa2e2aef84578209d5e76d4fe4fb3b76630696f7227d8f15877a3a5244eda5f","observation_id":"e38bf27d-02c0-4fd5-acf3-3840a191a25a","resolution":{"observed_at":"2026-05-24T16:09:40.950649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Model checking algorithms for analog verification","venue":null,"work_id":"076fab08-e339-42ec-886d-50a8a7707934","year":2002},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:59a9409de4ef7a5bc165ae21e80b1e2e682e9803a94f62a91804212e82f3f667","observation_id":"9dde8162-00b9-47c2-af4f-a9ee033a1b60","resolution":{"observed_at":"2026-05-24T16:09:41.007183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Henzinger","venue":null,"work_id":"60a00535-c20a-4629-9b71-9f4f2da8aba8","year":1996},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:6b5ec0d7ac3f692970f3aa9a4b4143a5a95f71b82c49b540492f8e970c38349f","observation_id":"29879487-cf90-4a77-a8de-034d021f6af5","resolution":{"observed_at":"2026-05-24T16:09:40.938959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Henzinger","venue":null,"work_id":"d029fe1c-2c22-463a-b552-8e4b395de99d","year":2018},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:5e4a60c28463e6337e5ddae23afd927376554d434d30336b14eebe391c124a09","observation_id":"090b7375-177c-4067-99e5-eca287c667c6","resolution":{"observed_at":"2026-05-24T16:09:40.935262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Hen- zinger","venue":null,"work_id":"e8a4c3ef-22f6-4bf9-b220-5c7af3eae9d6","year":2017},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:a62348deb7b17a49feb0dbad3d9803db7ad20a98d95a56fa56c8330ea3b02eba","observation_id":"ec0f2e14-de60-431b-b2a4-3735ebd5923e","resolution":{"observed_at":"2026-05-24T16:09:40.943019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Exponential- condition-based barrier certificate generation for safety verification of hybrid sys- tems","venue":null,"work_id":"6ac196a8-4b69-4878-b3e9-246bdbfc2c80","year":2013},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:658d07bd30a78debda967c4f1cd8c30d317bc21daecbf62c6de33f149cfec8a4","observation_id":"f58a5f6a-384f-4a88-93ef-27299a11b6b9","resolution":{"observed_at":"2026-05-24T16:09:40.946639Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e9e7ad00-3ea4-427c-8f0d-eabdd2395b3c","year":2015},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:7aaed0eda44e8b096ea11b1b95e539adbc167b6e9b74773c60910c463c319390","observation_id":"7e92bb21-e5a3-4406-877a-f04433fe7d61","resolution":{"observed_at":"2026-05-24T16:09:40.965486Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"PhD thesis, University of Twente, Enschede, Netherlands","venue":null,"work_id":"221827a1-551b-49a5-abe2-7ba4dc737f67","year":2006},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:fab7f20183339bec0ed11f6142ab6011f8fba12f82a79966e77b3dfa084376c7","observation_id":"a09c1f5e-7b85-4cb0-ace6-9adf6c50532e","resolution":{"observed_at":"2026-05-24T16:09:40.927648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Polynomial programming: Lp-relaxations also converge.SIAM Journal on Optimization, 15(2):383–393","venue":null,"work_id":"09e6dcfb-999d-47af-b32d-7caf53cb730f","year":2005},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:d0cbf7da875b0033514703afac8ee24357be44e6b3327b79daafd2e8324b8b3a","observation_id":"c4e818cf-1c00-4b8f-8107-e9caf7c6013b","resolution":{"observed_at":"2026-05-24T16:09:40.923607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1f09a6cf-1ae4-4a70-b718-f86563d0f906","year":2011},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:35957e65168ea418348664aae7e8dce98922de2e8a12c078c91972955dacbd05","observation_id":"ff77b274-7a18-46c4-b99e-144a750ac797","resolution":{"observed_at":"2026-05-24T16:09:40.996211Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Generating invariants for non-linear hybrid systems by linear algebraic methods","venue":null,"work_id":"e7b6e79f-44da-4430-a8dc-04ff9bb0078c","year":2010},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:f5357fa2608af293c962c5c722cb306974d23ceba2c78b1367244e1407897c99","observation_id":"cd6ac7d4-2c24-4657-9deb-0378f24a8634","resolution":{"observed_at":"2026-05-24T16:09:40.915915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Interval tools for ODEs and DAEs","venue":null,"work_id":"2a1ca11d-f271-410b-b268-3af1d83a3532","year":2006},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:fcb0f8fc713c3f4d5dc954bd178eb86fa26eeba32b766dfb779ecf62174097c2","observation_id":"a7d4f31d-cea9-43ec-a642-ea98c8e3b64d","resolution":{"observed_at":"2026-05-24T16:09:40.999792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Hybridization for stability analysis of switched linear systems","venue":null,"work_id":"b69bb3c1-d956-4016-a366-1fb6fee82401","year":2016},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:d3e72d69582bc2e08068b2220f2a380834c2bc0e45ff0655b208491ef79bf150","observation_id":"95678c07-bcbf-4461-a9c6-615cd3b3f3ae","resolution":{"observed_at":"2026-05-24T16:09:41.003650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Prajna and A","venue":null,"work_id":"e20b8742-e4cc-42bd-83fa-5ffc23b796b9","year":2004},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:23a37d5549cc979be55ee096263ed2a3f3af8708416b076fcfb27bf4ffcf74ed","observation_id":"da0ceae2-9bbb-4e60-b182-8a9971abca36","resolution":{"observed_at":"2026-05-24T16:09:40.911422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Positive polynomials on compact semi-algebraic sets","venue":null,"work_id":"15c5f5bd-aff0-4cdd-b02d-3ab38fc5835e","year":1993},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:e56607d3d7f02b3ecc2d1a8794d2ed90e06da12c83de1f17aa7639d77f6f9615","observation_id":"c944f508-786f-4f19-9ae9-84a08385dd74","resolution":{"observed_at":"2026-05-24T16:09:40.919911Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Xspeed: Accelerating reachability analysis on multi-core processors","venue":null,"work_id":"d5526bdc-7e84-4a03-a7c1-42d014a28016","year":2015},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:ed237adc1744eb33855e80860c0bda6e17107f00b4c350a7d7ab3fcccb6208f3","observation_id":"0d258630-14f4-495c-b129-9eaabf7176b7","resolution":{"observed_at":"2026-05-24T16:09:40.931550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Hybridization based CEGAR for hybrid automata with affine dynamics","venue":null,"work_id":"3246e1c5-b2eb-4640-a14a-e9fd61551944","year":2016},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:155f90176358b99912838a64550cea458c27fe1c66d02b8292617ee35e6fa348","observation_id":"985a5c46-e57b-47fc-9dce-aaf58cb9e2ae","resolution":{"observed_at":"2026-05-24T16:09:40.900542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Sankaranarayanan","venue":null,"work_id":"d7851d44-382f-47df-a97a-9459e68b84a6","year":2010},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:2131914a519be52ba641788ae9b354a9ba71718874bddcdaf1af2aa141283d41","observation_id":"9e829ee3-b7a2-4dbe-8f2b-96fdbd4d2c17","resolution":{"observed_at":"2026-05-24T16:09:41.014188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Sankaranarayanan, H","venue":null,"work_id":"32dc7cb9-98e8-4296-bc67-88a3cd67e5da","year":2004},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:b8095b0c4d4114c030c24657ad17e7f730d7f39bfca720c73a986b5ae7875e98","observation_id":"16e27d31-3e36-414c-864c-44bea7dfa0be","resolution":{"observed_at":"2026-05-24T16:09:40.904109Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Lyapunov function synthesis using handelman representations.IFAC Proceedings Volumes, 46(23):576–581","venue":null,"work_id":"cba027c9-94bc-4442-9339-e5df57b1a41f","year":2013},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:193cac7677ba96f9a2858680e9f977922f39264e4692e87657c48ad455d3d6d7","observation_id":"682a60e6-6547-4077-859b-99195f10e4c2","resolution":{"observed_at":"2026-05-24T16:09:41.010845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Hypro: A C++ library of state set representations for hybrid systems reachability analysis","venue":null,"work_id":"39ad1307-8192-453e-b4ba-9d52080de5a8","year":2017},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:9833ad4969c81b3733cb79288242e2bf6f091a43ff74fdf4912886755fb48949","observation_id":"4b82cb59-e95b-4a9e-9cf1-98992642fc23","resolution":{"observed_at":"2026-05-24T16:09:41.018394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"A method for invariant generation for polynomial continuous systems","venue":null,"work_id":"2554abcf-cd67-47db-87cd-6cb7c58a274c","year":2016},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:aa7fb0209b19bc223b83f562517367d739bfb1ee312f15736b32915cb7636e22","observation_id":"f6c00843-c604-4494-a2e0-1ac75fe855e2","resolution":{"observed_at":"2026-05-24T16:09:40.896189Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"A Nullstellensatz and a Positivstellensatz in semialgebraic geom- etry","venue":null,"work_id":"3e9760e4-a677-4266-9899-29a693f0a7f1","year":1974},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:a7544067d13736c8843ebb7213b7144f190370db71efb516a5854db9aa3e22c2","observation_id":"7c243cf9-d259-422f-80ad-1bc2b3fb7697","resolution":{"observed_at":"2026-05-24T16:09:40.907828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"Taly and A","venue":null,"work_id":"343bb426-47f4-4df1-a702-7e3d6e8fd276","year":2009},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:7b1ae14a02ac7a67820b1a1ef4981cf57aebc10a4dd06085f48b28932676aff8","observation_id":"14a6f800-210e-44f0-b4af-9b1aacccb816","resolution":{"observed_at":"2026-05-24T16:09:40.892299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06-05T21:23:00.469572Z","title":"A linear programmingrelaxationbasedapproachforgeneratingbarriercertificatesofhybrid systems","venue":null,"work_id":"cd9cfdb0-9412-4832-8297-ce3abb885675","year":2016},"citing_paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-24T16:08:02.516636Z"},"links":{"citing_paper":"/paper/1907.11514"},"observation_digest":"sha256:b2cde6f586d96c46daa811323f20d3a07e0a0bb8d5a521eacb157eaa4e4f930e","observation_id":"7fcc7aa3-ddbd-4132-a9b7-a055bf1fcca0","resolution":{"observed_at":"2026-05-24T16:09:40.888794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1907.11514","last_updated":"2019-07-25T12:13:36Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-07-06T08:10:25.909091Z","submitted_at":"2019-07-25T12:13:36Z","title":"Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":41},"total_outbound_references":43},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:1907.11514."}