{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KUTVB3VGW7DRIQZKZUPVDPPSBS","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":"32d981a071c719606b2f51de23c2082561a9ec6fdfe6f47438ad1c641bb36ab9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-05-03T08:18:51Z","title_canon_sha256":"74d183b937e5d350d696ca430f3853d332a0b80330738bee21180ed3ff4c1589"},"schema_version":"1.0","source":{"id":"1705.01292","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.01292","created_at":"2026-05-18T00:23:21Z"},{"alias_kind":"arxiv_version","alias_value":"1705.01292v3","created_at":"2026-05-18T00:23:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.01292","created_at":"2026-05-18T00:23:21Z"},{"alias_kind":"pith_short_12","alias_value":"KUTVB3VGW7DR","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"KUTVB3VGW7DRIQZK","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"KUTVB3VG","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:603f6854aad3bc9e5cd6f2283effc5401847def8c906829955f7c1658a30a44a","target":"graph","created_at":"2026-05-18T00:23:21Z","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":"The proven efficacy of learning-based control schemes strongly motivates their application to robotic systems operating in the physical world. However, guaranteeing correct operation during the learning process is currently an unresolved issue, which is of vital importance in safety-critical systems. We propose a general safety framework based on Hamilton-Jacobi reachability methods that can work in conjunction with an arbitrary learning algorithm. The method exploits approximate knowledge of the system dynamics to guarantee constraint satisfaction while minimally interfering with the learning","authors_text":"Anayo K. Akametalu, Claire J. Tomlin, Jaime F. Fisac, Jeremy Gillula, Melanie N. Zeilinger, Shahab Kaynama","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-05-03T08:18:51Z","title":"A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.01292","kind":"arxiv","version":3},"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:a89f3821a891bd5996244ebeb8e61341aa58e650b7e5bec14dc7790200ec1838","target":"record","created_at":"2026-05-18T00:23:21Z","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":"32d981a071c719606b2f51de23c2082561a9ec6fdfe6f47438ad1c641bb36ab9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2017-05-03T08:18:51Z","title_canon_sha256":"74d183b937e5d350d696ca430f3853d332a0b80330738bee21180ed3ff4c1589"},"schema_version":"1.0","source":{"id":"1705.01292","kind":"arxiv","version":3}},"canonical_sha256":"552750eea6b7c714432acd1f51bdf20c926e60aa3afc5f95562c6bc9cf4b6ef5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"552750eea6b7c714432acd1f51bdf20c926e60aa3afc5f95562c6bc9cf4b6ef5","first_computed_at":"2026-05-18T00:23:21.379887Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:21.379887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"56Ovk4BJwBQNkBKvKjZUHf0VT6dsQb+aDzY0KQ9jAcUIAgiIUoMY/k1TGkhpkzqhttz0U0jlTnxOtCZLVl7LCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:21.380602Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.01292","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a89f3821a891bd5996244ebeb8e61341aa58e650b7e5bec14dc7790200ec1838","sha256:603f6854aad3bc9e5cd6f2283effc5401847def8c906829955f7c1658a30a44a"],"state_sha256":"28172630f229a4991b507c799bea80c187961f4d3d3cad904e5cbe2918c2670d"}