{"as_of":"2026-08-07T10:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:aa8cbcc5b2028ba5f251e17c90eb4615eb67e0d90512a71cf9233585db9f698b","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-07T06:34:17.273281+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:752e9ff3c89e6382b22c3599274994a10e1cdf1310aabb74ef3a57e86fe2ff5c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:8b9ae31d5e647b1b514085563537e0be32933387a54290ca4edebac0ae22da04","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:fc49b84d26a18b91c8a363b07838144aad8a81ba1ebf6eace2b151fac7aeadbb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0694b6c3e2d3cdd6f386385a4e9e8e2fd101e58ce5fbbd995c0d8230bb1845e1","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:9c483ed7316c2d651a84994c9e6a86230a28c75577fa56d0a9cb0aa3c4deb2f9","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d7d44d7fc4e290a8e322d9f43efec6482c3a83219467fa4c8498e4e3b408c5fe","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:50fa971a4abb6bd3f70d29fb0cf047f041728c0ff3cb8dfb60cb770e5b1f93ae","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:b5b2d28722d925f946e300ad43f1ed79a05fdc1c63d2bc2dc2c6204bb4e622c0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:9c138738b49871b37ba610baeb95c5311be197182942fbac3b2fde8721011fd9","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:017696f3945fa73eee6f5886b5f61d3dc00e9c7c0283d64afdff5b80ef6a8482","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:001478a2fde6c09197e8a126101ade7e12432b9f8c2d4b92b388036952362932","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:6b6fb8a90dd0ada8006d95c29bf0bf7436879d0eb4b5d9d593d4b2e663f20145","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:365614fe648db36aeb9da8ec929272c15eac4c90705cc4a321649c7604529eab","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:13b57dc3d0e7b9452b79fffb53d9a0b74b033c970c2ad1ea912d065993639129","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0163df4cf95858f789e141589b9400439c555d864d7547ce3fcac805fd674254","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:16a82e5bb4eb7e11b91285cda41d00212535b21f7710073546ba22f1f4cf3b33","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:8271fa6f71d04a2983e32f81f2a7fb7fa8b6fcb4e9830ce51f7482315aa4ec1e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:2f1dba85927bd4e09501b72bfc5abf8987272839958bf7a9e10d4bb4c36a7ee0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:fe7709600dafeebbcd1ce580ad93f4986a892bdcec44b277615e958e670859d2","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:76c6c44c31772626939dc2a5e603dc9da2cb261e0db42f7a7e9a6fd22c1d6639","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:eaa282b4abdb99ebaea1225891d67242a839573cd98ed64265dbba47ada24aaf","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:915350ef00f649a92f381aedd8074a98f0c0574f88ade222e1dab13d85266746","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:949940d58a433972c0baaaead59dde85f4086dfbed30f362fd73a1856670b872","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d333ef3289a14ec1d288632af9c6da6d09806b209f445c3062f7b9926d407e74","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:7fe179f690923e80d54201fd51c737a862b07072bb3e53da27b6c3680082369c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:63da7a7ffe28d4e45f03da0533fd5ffa77bf24e5c472eaaf2e700f23d5ac5cfd","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:7898f375b882d7704888a910acc2dab2297ea9b815802a27ddf1d208f6a5e977","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:20a4cf3c81a330bbacd757dcde7ba25615d1ebebec565b414880ac9f7db2386b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:13b5170ee1bb7b34428739bab0ecda00c8449555c34bc39830f44f3a8f0ba2d4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:1d8376ca5d1f733cf8623f8f5dc6cf16e6d497891ce2eb977447ee39887b7a7e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d9ab0b1064a1b2eac60d05fb8734b75d2d985752d8300d258b5e223bfaad3962","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:b5b23dfec8b33b8bb1d3f1e22c7695a659ad3edd03879d99cd7c769d2e306b2a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:ebe7f77da183cdbcb36ac42b8ee2b6b355295e68b414fdf0b278a18ba29cea85","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:439cea82214a93db4629ec2d37c9e4212595248c934e2aa6561d1316d60dc7fc","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:c5a9c3f065b44a3e2bc713bc6bcd03e71b983bbe080b782bbfc06325f465ecac","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d1a5f0243e6af7f3bf4e5755f092473ffed082b81576268f38d17e0fe61e09b7","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:0adbec8b8b42a675925b1e0fec052a50cbdf1c856426fc2f7d0c398a3258c785","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:696f6119db7f96bf1093a4ecd3c14b82b0e9de3253d88a3cca2fe57ccd4f1064","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:9176b08b7d43a54413bc7e9a34460c7a138485305f71e48c17cbdaf2459507be","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:7c7de9474371b3818c7da1c12ed851a9692cd30056cb3fa61bfee584c8e2946e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d891d5b19479bf13e4f5dfd66ca1ff9764ea891352bdff5983086f5ba183caeb","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:a4162cf233d4ee48759d579ccbd76a39f196f9077e1aa423db80a608e2a39263","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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:d964df0944cf59806a891d2bf5c1a6df044e0222564f837aff7fca053a4d6f8a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:1907.11514."}