{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:E4Q4QSGALI5IKSRMTHSDJOGCYF","short_pith_number":"pith:E4Q4QSGA","canonical_record":{"source":{"id":"1907.03225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-07T06:00:05Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"651206d2cc44d005f73a6cd3a08aea5e2b62eac8373a49246c51e277f3ef2a4b","abstract_canon_sha256":"d368e83cea0b908675dacc2cfb2a0b3fbf45f2a39e3e9df8c17d641a5f96e965"},"schema_version":"1.0"},"canonical_sha256":"2721c848c05a3a854a2c99e434b8c2c16030e4d15b52bdef220086ff78b9471c","source":{"kind":"arxiv","id":"1907.03225","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03225","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03225v1","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03225","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"pith_short_12","alias_value":"E4Q4QSGALI5I","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"E4Q4QSGALI5IKSRM","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"E4Q4QSGA","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:E4Q4QSGALI5IKSRMTHSDJOGCYF","target":"record","payload":{"canonical_record":{"source":{"id":"1907.03225","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-07T06:00:05Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"651206d2cc44d005f73a6cd3a08aea5e2b62eac8373a49246c51e277f3ef2a4b","abstract_canon_sha256":"d368e83cea0b908675dacc2cfb2a0b3fbf45f2a39e3e9df8c17d641a5f96e965"},"schema_version":"1.0"},"canonical_sha256":"2721c848c05a3a854a2c99e434b8c2c16030e4d15b52bdef220086ff78b9471c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:18.578095Z","signature_b64":"BCtQQegqLAkAkkth9WUzvbSRjKWH6fR2vFJuNMfaQuy036ifdnRYPSki63lTgYYcSjJEZ0vKpiq11wZg3fb7Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2721c848c05a3a854a2c99e434b8c2c16030e4d15b52bdef220086ff78b9471c","last_reissued_at":"2026-05-17T23:41:18.577289Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:18.577289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.03225","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:41:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fVHm/lhSMWmC8l51IDRfoFMyvo3f727n0geE0PahIzid3xsjDLgzQXG0LUGK/K4Ibc4Hi+MmmbEVfvauumyZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:56:23.274043Z"},"content_sha256":"dd8e1c37017ffe0b863dfe62f055e16e016e301761e490b4283608ca893c261b","schema_version":"1.0","event_id":"sha256:dd8e1c37017ffe0b863dfe62f055e16e016e301761e490b4283608ca893c261b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:E4Q4QSGALI5IKSRMTHSDJOGCYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Backward Reachability for Polynomial Systems on A Finite Horizon","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Andrew Packard, He Yin, Murat Arcak, Peter Seiler","submitted_at":"2019-07-07T06:00:05Z","abstract_excerpt":"A method is presented to obtain an inner-approximation of the backward reachable set (BRS) of a given target tube, along with an admissible controller that maintains trajectories inside this tube. The proposed optimization algorithms are formulated as nonlinear optimization problems, which are decoupled into tractable subproblems and solved by an iterative algorithm using the polynomial S-procedure and sum-of-squares techniques. This framework is also extended to uncertain nonlinear systems with L_2 disturbances and L_{\\infty} parametric uncertainties. The effectiveness of the method is demons"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03225","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:41:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/ReQo2vRlRcfQ1DHxMLWSkIBVdMsZPsaXkg1q/9wiG44c9UqvWj5+aUI6mV53B29MLbKH/yTkmQ3Ss6xY2qxAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T00:56:23.274597Z"},"content_sha256":"29e9a7b831f891780a13859be8bbeca77a53d34c8eb8881c387c7c45a442747d","schema_version":"1.0","event_id":"sha256:29e9a7b831f891780a13859be8bbeca77a53d34c8eb8881c387c7c45a442747d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/bundle.json","state_url":"https://pith.science/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-26T00:56:23Z","links":{"resolver":"https://pith.science/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF","bundle":"https://pith.science/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/bundle.json","state":"https://pith.science/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E4Q4QSGALI5IKSRMTHSDJOGCYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:E4Q4QSGALI5IKSRMTHSDJOGCYF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"d368e83cea0b908675dacc2cfb2a0b3fbf45f2a39e3e9df8c17d641a5f96e965","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-07T06:00:05Z","title_canon_sha256":"651206d2cc44d005f73a6cd3a08aea5e2b62eac8373a49246c51e277f3ef2a4b"},"schema_version":"1.0","source":{"id":"1907.03225","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.03225","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"arxiv_version","alias_value":"1907.03225v1","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.03225","created_at":"2026-05-17T23:41:18Z"},{"alias_kind":"pith_short_12","alias_value":"E4Q4QSGALI5I","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"E4Q4QSGALI5IKSRM","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"E4Q4QSGA","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:29e9a7b831f891780a13859be8bbeca77a53d34c8eb8881c387c7c45a442747d","target":"graph","created_at":"2026-05-17T23:41:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"A method is presented to obtain an inner-approximation of the backward reachable set (BRS) of a given target tube, along with an admissible controller that maintains trajectories inside this tube. The proposed optimization algorithms are formulated as nonlinear optimization problems, which are decoupled into tractable subproblems and solved by an iterative algorithm using the polynomial S-procedure and sum-of-squares techniques. This framework is also extended to uncertain nonlinear systems with L_2 disturbances and L_{\\infty} parametric uncertainties. The effectiveness of the method is demons","authors_text":"Andrew Packard, He Yin, Murat Arcak, Peter Seiler","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-07T06:00:05Z","title":"Backward Reachability for Polynomial Systems on A Finite Horizon"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.03225","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dd8e1c37017ffe0b863dfe62f055e16e016e301761e490b4283608ca893c261b","target":"record","created_at":"2026-05-17T23:41:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"d368e83cea0b908675dacc2cfb2a0b3fbf45f2a39e3e9df8c17d641a5f96e965","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-07-07T06:00:05Z","title_canon_sha256":"651206d2cc44d005f73a6cd3a08aea5e2b62eac8373a49246c51e277f3ef2a4b"},"schema_version":"1.0","source":{"id":"1907.03225","kind":"arxiv","version":1}},"canonical_sha256":"2721c848c05a3a854a2c99e434b8c2c16030e4d15b52bdef220086ff78b9471c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2721c848c05a3a854a2c99e434b8c2c16030e4d15b52bdef220086ff78b9471c","first_computed_at":"2026-05-17T23:41:18.577289Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:18.577289Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BCtQQegqLAkAkkth9WUzvbSRjKWH6fR2vFJuNMfaQuy036ifdnRYPSki63lTgYYcSjJEZ0vKpiq11wZg3fb7Cw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:18.578095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.03225","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd8e1c37017ffe0b863dfe62f055e16e016e301761e490b4283608ca893c261b","sha256:29e9a7b831f891780a13859be8bbeca77a53d34c8eb8881c387c7c45a442747d"],"state_sha256":"75b1b27a53fa97ae2dd7eba505c2e3aab202c50430f3c3f12440f3ae6a764b6b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bN/qJye8d7dtaLo7sKTjn88tfDfSnQZiHR1TmvI69RyqCUGxodLPBvQ1PGpR7A/Yf6SnBLnWA/wdWf08bXelCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T00:56:23.278368Z","bundle_sha256":"2f48ac77629c45c1454795a27fec8e9f77b4cb724758faef34d8949fd101d567"}}