{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HGBJFPG7I766UZWCVGEWZMT537","short_pith_number":"pith:HGBJFPG7","canonical_record":{"source":{"id":"1810.00313","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-09-30T04:19:03Z","cross_cats_sorted":[],"title_canon_sha256":"db6ca5874c6e75e0da1a1b1155fea796104c7f88741f8b74359eda4865d7a8be","abstract_canon_sha256":"57f7dbdf3e875124142b5dc3712d0cd18a93c66a8063e95431f63c8b4093941c"},"schema_version":"1.0"},"canonical_sha256":"398292bcdf47fdea66c2a9896cb27ddffcdffdc141c4abd9e9e5b4350f512a26","source":{"kind":"arxiv","id":"1810.00313","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.00313","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"arxiv_version","alias_value":"1810.00313v1","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.00313","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"pith_short_12","alias_value":"HGBJFPG7I766","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HGBJFPG7I766UZWC","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HGBJFPG7","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HGBJFPG7I766UZWCVGEWZMT537","target":"record","payload":{"canonical_record":{"source":{"id":"1810.00313","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-09-30T04:19:03Z","cross_cats_sorted":[],"title_canon_sha256":"db6ca5874c6e75e0da1a1b1155fea796104c7f88741f8b74359eda4865d7a8be","abstract_canon_sha256":"57f7dbdf3e875124142b5dc3712d0cd18a93c66a8063e95431f63c8b4093941c"},"schema_version":"1.0"},"canonical_sha256":"398292bcdf47fdea66c2a9896cb27ddffcdffdc141c4abd9e9e5b4350f512a26","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:04:28.197690Z","signature_b64":"nN5cwdHBkwCwBQjgAex0gQVE7iWbCTb7L222NLiALsaAN5+b2t4dlJ9w9tuDUEOgaqjGegVFjyolomAwT1PQCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"398292bcdf47fdea66c2a9896cb27ddffcdffdc141c4abd9e9e5b4350f512a26","last_reissued_at":"2026-05-18T00:04:28.197063Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:04:28.197063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1810.00313","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-18T00:04:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vC9xMffVuR6NzCePvqNtcI4sAPgaxGGCxXlNPd7flLqfcn4gVMdWoXuW0XUiZ6keTh/d+ddY9e/vdsHkCiKzCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:08:25.023989Z"},"content_sha256":"4d9ffb80a51eec9fd2cfb425b77c4bedf926c7dff6b646abcfbde3510fd52fb9","schema_version":"1.0","event_id":"sha256:4d9ffb80a51eec9fd2cfb425b77c4bedf926c7dff6b646abcfbde3510fd52fb9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HGBJFPG7I766UZWCVGEWZMT537","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Andrew Packard, He Yin, Murat Arcak, Pete Seiler","submitted_at":"2018-09-30T04:19:03Z","abstract_excerpt":"We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solutio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.00313","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-18T00:04:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Au5A6iUqTUPDkKHHJLg/qJDgK4ULMXdqrhnEwrdtrR3V+u4mDL4u9ba6otYz258LSLhGrJG5VNhAhci/q/lbCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T04:08:25.024399Z"},"content_sha256":"2d7c32c579e3af54361db693ede70ed0007394b222b0081541115849f14c4115","schema_version":"1.0","event_id":"sha256:2d7c32c579e3af54361db693ede70ed0007394b222b0081541115849f14c4115"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HGBJFPG7I766UZWCVGEWZMT537/bundle.json","state_url":"https://pith.science/pith/HGBJFPG7I766UZWCVGEWZMT537/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HGBJFPG7I766UZWCVGEWZMT537/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-27T04:08:25Z","links":{"resolver":"https://pith.science/pith/HGBJFPG7I766UZWCVGEWZMT537","bundle":"https://pith.science/pith/HGBJFPG7I766UZWCVGEWZMT537/bundle.json","state":"https://pith.science/pith/HGBJFPG7I766UZWCVGEWZMT537/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HGBJFPG7I766UZWCVGEWZMT537/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HGBJFPG7I766UZWCVGEWZMT537","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":"57f7dbdf3e875124142b5dc3712d0cd18a93c66a8063e95431f63c8b4093941c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-09-30T04:19:03Z","title_canon_sha256":"db6ca5874c6e75e0da1a1b1155fea796104c7f88741f8b74359eda4865d7a8be"},"schema_version":"1.0","source":{"id":"1810.00313","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.00313","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"arxiv_version","alias_value":"1810.00313v1","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.00313","created_at":"2026-05-18T00:04:28Z"},{"alias_kind":"pith_short_12","alias_value":"HGBJFPG7I766","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HGBJFPG7I766UZWC","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HGBJFPG7","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:2d7c32c579e3af54361db693ede70ed0007394b222b0081541115849f14c4115","target":"graph","created_at":"2026-05-18T00:04:28Z","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":"We present a method for synthesizing controllers to steer trajectories from an initial set to a target set on a finite time horizon. The proposed control synthesis problem is decomposed into two steps. The first step under-approximates the backward reachable set (BRS) from the target set, using level sets of storage functions. The storage function is constructed with an iterative algorithm to maximize the volume of the under-approximated BRS. The second step obtains a control law by solving a pointwise min-norm optimization problem using the pre-computed storage function. A closed-form solutio","authors_text":"Andrew Packard, He Yin, Murat Arcak, Pete Seiler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-09-30T04:19:03Z","title":"Finite Horizon Backward Reachability Analysis and Control Synthesis for Uncertain Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.00313","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:4d9ffb80a51eec9fd2cfb425b77c4bedf926c7dff6b646abcfbde3510fd52fb9","target":"record","created_at":"2026-05-18T00:04:28Z","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":"57f7dbdf3e875124142b5dc3712d0cd18a93c66a8063e95431f63c8b4093941c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-09-30T04:19:03Z","title_canon_sha256":"db6ca5874c6e75e0da1a1b1155fea796104c7f88741f8b74359eda4865d7a8be"},"schema_version":"1.0","source":{"id":"1810.00313","kind":"arxiv","version":1}},"canonical_sha256":"398292bcdf47fdea66c2a9896cb27ddffcdffdc141c4abd9e9e5b4350f512a26","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"398292bcdf47fdea66c2a9896cb27ddffcdffdc141c4abd9e9e5b4350f512a26","first_computed_at":"2026-05-18T00:04:28.197063Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:04:28.197063Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nN5cwdHBkwCwBQjgAex0gQVE7iWbCTb7L222NLiALsaAN5+b2t4dlJ9w9tuDUEOgaqjGegVFjyolomAwT1PQCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:04:28.197690Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.00313","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d9ffb80a51eec9fd2cfb425b77c4bedf926c7dff6b646abcfbde3510fd52fb9","sha256:2d7c32c579e3af54361db693ede70ed0007394b222b0081541115849f14c4115"],"state_sha256":"e71214523844ee06c2c8aa5f865d1bde04556aedd70f6d94635ce472d6063ffb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fZ2YH+M3ZnJ53iZKwwuTY9RBlXA6nZJut6ulVMDWYMS8dU/0gam8TPjs9OvsEA5U95HF08J2kwQSwPEBVKdRAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T04:08:25.027058Z","bundle_sha256":"fc87a74343b37aaefe917ac7402baf5ff0627248be70f843f125fe84272a9c07"}}