{"as_of":"2026-08-11T02:38:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d69690c03924c1f34131fdf845b76c067ce7376414d17badc2580d9cffc25f88","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-25T01:50:31.566938Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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.03225/citation-record","integrity":"/paper/1907.03225/integrity","json":"/paper/1907.03225/citation-record.json","paper":"/paper/1907.03225"},"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":"Control design along trajectories with sums of squares pro- gramming","venue":null,"work_id":"ceadd42e-b55b-4f58-a82c-57a4f6a954f3","year":2013},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:62e1bd028bdbf7457181b5574f498cb9d60088820cc931ffe437444fc40ed15b","observation_id":"2ab212c0-d09f-4ed6-9961-d0775a0aecf2","resolution":{"observed_at":"2026-05-25T21:16:13.355718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Funnel libraries for real-time robust feedback motion planning","venue":null,"work_id":"4e264d38-c160-497e-8aac-2b86f7bf88c0","year":2017},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:cfd794b87be7138c7ab20580c5a2f6be1bedfd62ca8e032d739a14f91c3780d0","observation_id":"a12583a6-2783-4766-956b-1029e9c54299","resolution":{"observed_at":"2026-05-25T21:16:13.414278Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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 time-dependent HamiltonJacobi formulation of reachable sets for continuous dynamic games","venue":null,"work_id":"7dfefc2e-f894-4896-9c5f-a7643dbf0b99","year":2005},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:8d17de9591c4060550174c869b31e9133fcb97b2bdd9e2f9cab79a52e3ea2d6d","observation_id":"7ea3ceb7-debd-455f-a544-f78170e878fc","resolution":{"observed_at":"2026-05-25T21:16:13.335259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Convex computation of the region of attraction of polynomial control systems","venue":null,"work_id":"abdb54ba-23ed-42fa-b3fd-c0379215b665","year":2014},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:0beca28e0f580b42bd1372dffb79f03efeb65feaea65b50cff16186be8be0fc0","observation_id":"c0e2e4c7-04dc-49af-b80d-bae183fb38da","resolution":{"observed_at":"2026-05-25T21:16:13.371859Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Convex optimization of nonlinear feedback controllers via occupation measures","venue":null,"work_id":"ac897efd-11a9-4c14-bc61-c69a0e869e34","year":2014},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:1dab0ec7189c6dc89478fc96f122164b36331ec8062090620e6455360ed40ae0","observation_id":"bb15c8c5-e1e9-4cfc-829c-babc0aa273fc","resolution":{"observed_at":"2026-05-25T21:16:13.327354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Structured semidefinite programs and semialgebraic geometry methods in robustness and opti- mization","venue":null,"work_id":"1e1d9ca6-4790-405c-97be-f8fd32c9edda","year":2000},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:41b0e2685cc3a669ccf668eadc7fd3df589036939ab1e4ecfe05aaca24d050ee","observation_id":"1167c3d6-79ea-455f-9518-de1cd47d4117","resolution":{"observed_at":"2026-05-25T21:16:13.397763Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Quantitative local analysis of nonlinear systems","venue":null,"work_id":"0a873cf6-c69f-403b-812b-473388b52b2d","year":2008},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:5e6a4390a5c53a7c07b5b1960e6d7ce7615ea7f0f4bf3e70b3aa7f07eab17bbd","observation_id":"cdbba9c1-a268-419d-9e85-73c5934d7d7d","resolution":{"observed_at":"2026-05-25T21:16:13.351912Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Stability region analysis using polynomial and composite polynomial Lyapunov functions and sum-of-squares programming","venue":null,"work_id":"79cef982-45f9-4bf3-a2e1-da581edfc668","year":2008},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:ecb2f574b099aa90770ba5a783ec2ad8f5095649fb85506d3a0b869c7c91beab","observation_id":"ce48fc74-7ea5-4f26-9ef8-9d72a676bf4e","resolution":{"observed_at":"2026-05-25T21:16:13.405799Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"LMI-based computation of optimal quadratic Lyapunov functions for odd polynomial systems","venue":null,"work_id":"f869bf6c-be5b-4f81-b68f-2a9c027f9c98","year":2005},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:615c6b931ab17b9c4438054c13e448393aeed286d1ae697a18da806401df0318","observation_id":"d242a4cd-4381-417d-9030-e81ff9ae5254","resolution":{"observed_at":"2026-05-25T21:16:13.385509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Computing the domain of attraction for polynomial systems via BMI optimiza- tion method","venue":null,"work_id":"104a3e0c-b599-44ff-8e7e-9526bc4167d5","year":2006},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:0bf84441c41577d93d24bfb559b3bac6b550f38215a3438a4232c9c99fecea76","observation_id":"0d330952-80d7-4d0c-a94a-0ce5be3dbb0c","resolution":{"observed_at":"2026-05-25T21:16:13.367579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Region of attraction analysis with integral quadratic constraints","venue":null,"work_id":"e099c19e-5c2e-4624-a888-b00ea2fe9d43","year":null},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:13fe37c9e0984b93c7cc9bc206d70d3bf538e1065794a917a968215c471d6950","observation_id":"c58196d0-2d13-4a02-9c03-6a86423021a9","resolution":{"observed_at":"2026-05-25T21:16:13.363443Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Controls applications of sum of squares programming","venue":null,"work_id":"c43150f9-fc2a-4aaf-935d-66dde2b32799","year":2005},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:5bdaff5758a086988f1a845c1c0622aa32f1266af05fd59f8402ac04e5a4915c","observation_id":"5fa3163b-c7f8-4bb5-b3a3-ac3e8fe44fc5","resolution":{"observed_at":"2026-05-25T21:16:13.347810Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Finite horizon backward reachability analysis and control synthesis for uncertain nonlinear systems","venue":null,"work_id":"88eabb41-a36e-4f39-8a4f-be9fc2d40c2f","year":2019},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:c59c6cdfc3fca9cc12444fe7b6ac7309346cdaa5f60451a05c24ef1a292a2188","observation_id":"ade076f2-9df9-45fd-ad0d-e1bcde640d46","resolution":{"observed_at":"2026-05-25T21:16:13.393643Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1808.02585","last_updated":"2020-05-15T06:14:25Z","snapshot_observed_at":"2026-08-11T01:51:11.909910Z","submitted_at":"2018-08-07T23:38:02Z","title":"Reachability Analysis Using Dissipation Inequalities For Uncertain Nonlinear Systems","version":2},"cited_work":{"arxiv_id":"1808.02585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"1808.02585","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Reachability analysis using dissipation inequalities for nonlinear dynamical systems","venue":null,"work_id":"63b90b30-be77-4b2d-8068-7fd1f4114b22","year":2018},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"cited_paper":"/paper/1808.02585","citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:7395aa5a29d8e44fe16932533d9f203d30e32575dff57a77a7a59287502f21d7","observation_id":"1ad66d29-b529-4a57-bfcd-ddf6b71b0318","resolution":{"observed_at":"2026-05-25T01:55:13.387677Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Linearized analysis versus optimization-based nonlinear analysis for nonlinear systems","venue":null,"work_id":"d41d6387-d4c9-4ee3-b5f1-d586aef41f1a","year":2009},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:d241580f66b774f462593283a1c39ad9addb321ff4743e8e782c9c3a4c30ac52","observation_id":"14d02e94-abdd-4575-b15b-df43ae26a36a","resolution":{"observed_at":"2026-05-25T21:16:13.389625Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Quantitative local L 2- gain and reachability analysis for nonlinear systems","venue":null,"work_id":"89afc820-c89f-42f9-8b2f-626899794d03","year":2013},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:6bfce9f3173609814541a28c647290e8d991a681f8504d93ec7f0ed0315e0e5a","observation_id":"c8b00430-6dd3-4ed5-addc-6fea7271f38a","resolution":{"observed_at":"2026-05-25T21:16:13.322200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Quasiconvex sum-of-squares programming","venue":null,"work_id":"9ac914bc-c6b3-48e0-a51c-740e6567ed9c","year":2010},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:b6631d8f7ef826893401c5893a4fdab33ad27fa83b6a569e4103fcc374114bb4","observation_id":"40e5528e-c57a-44e9-bb49-c91ef8f6dfb2","resolution":{"observed_at":"2026-05-25T21:16:13.338955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Method of centers for minimizing generalized eigenvalues","venue":null,"work_id":"2cbfa4d6-8077-43e4-948d-9899ad538400","year":1993},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:815100d976951afa13d2b40b52ad21a823df9b4aa041db72c46c8260a7ca6afc","observation_id":"c0a5504a-4e57-4787-b6de-5453c8ade311","resolution":{"observed_at":"2026-05-25T21:16:13.343074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Boyd and L","venue":null,"work_id":"f013171d-a170-4f0d-a693-7a344c7d6aa7","year":2004},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:5c6b5f0b9db468b04b69ac3be6b10a59392607740e1146ea4fd013b0ddd918f6","observation_id":"9e8fc0ed-c862-4294-9ae9-0a1361d10028","resolution":{"observed_at":"2026-05-25T21:16:13.317619Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1308.1889","last_updated":"2013-08-08T16:08:31Z","snapshot_observed_at":"2026-07-06T03:20:17.419476Z","submitted_at":"2013-08-08T16:08:31Z","title":"SOSOPT: A Toolbox for Polynomial Optimization","version":1},"cited_work":{"arxiv_id":"1308.1889","doi":null,"metadata_source":"pith","pith_arxiv_id":"1308.1889","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"SOSOPT: A Toolbox for Polynomial Optimization","venue":"math.OC","work_id":"208c5359-338b-4174-a469-3a1cce671e59","year":2013},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"cited_paper":"/paper/1308.1889","citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:16ff38a7774d8f0bcb1de13fed7da903242340d02c726b156931ddf37e9d98f3","observation_id":"8d434ae8-b9b0-4393-9982-f4274d696801","resolution":{"observed_at":"2026-05-25T01:55:13.382436Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"The MOSEK optimization toolbox for MATLAB manual. Version 8.1","venue":null,"work_id":"a5181c30-4502-454c-b675-d0849b32d55f","year":2017},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:d582a26f088289157f78fca9b95a88ae6156cedac82000549484fc72d0f1a1fc","observation_id":"34518cb2-1948-40a2-9f3d-4cf868badb9f","resolution":{"observed_at":"2026-05-25T21:16:13.410505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents","venue":null,"work_id":"9099c634-8ff2-4dd8-8afc-b42203127973","year":1957},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:06230cd1a9cea4a2d1475dd17245dbba85cdaa9ec354e40f03ae2f83262e4c08","observation_id":"54c977f6-b881-4fac-a350-ec48299a6d27","resolution":{"observed_at":"2026-05-25T21:16:13.376793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Kinematic and dynamic control of a wheeled mobile robot","venue":null,"work_id":"97bb3312-3728-4ca9-a482-992e0915e6dc","year":2007},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:bc5dd6008bbaef6e57a750dbfc720195134ff93529bd647f2e3e0794519df87b","observation_id":"1959a679-a958-4c6d-907c-6b9799ae92f3","resolution":{"observed_at":"2026-05-25T21:16:13.401515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Recent NASA research on aerodynamic modeling of poststall and spin dynamics of large transport airplanes","venue":null,"work_id":"3b9d0f89-30eb-4d17-b785-2fcd7ffb103a","year":2007},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:a8c43f3fa8c303f2685fafa4af26bee7176f777f98499e63b4eec70b69075235","observation_id":"038a0dd5-6001-481b-bb61-e35e1f9e0b82","resolution":{"observed_at":"2026-05-25T21:16:13.381557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"166b9c7d-5869-499d-9601-54200dbf3603","year":1992},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:5786a881b01046cb862e6e4b77ea9f01ac413482bd6f04582207d673d5046be8","observation_id":"5c2bc311-85fe-4256-857b-29a8bb8aa480","resolution":{"observed_at":"2026-05-25T21:16:13.331352Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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":"Nonlinear region of attraction analysis for flight control verification and validation","venue":null,"work_id":"578bf3aa-8910-408d-9e2f-229d98f00584","year":2011},"citing_paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-25T01:50:31.566938Z"},"links":{"citing_paper":"/paper/1907.03225"},"observation_digest":"sha256:6d68ee97caa5eb549228c14ccc5926d96605c1e5d562a671a5e16968ba4fb8bf","observation_id":"da1e1ab7-7cad-4838-9aba-67ff622c6001","resolution":{"observed_at":"2026-05-25T21:16:13.359557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1907.03225","last_updated":"2019-07-07T06:00:05Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-02T13:46:42.515278Z","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":23},"total_outbound_references":26},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:1907.03225."}