{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:MTCDDY6J7PJIZ52O4CNVUHNBJS","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":"458bab38b40d2c89ff10e99f625c6032e9efee130e03a3233926ec5a48eaca0e","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-04T07:29:11Z","title_canon_sha256":"48b22da5098050600c197afb90003412a1924b7a7f000d258646b12f81a20a5c"},"schema_version":"1.0","source":{"id":"2504.03233","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.03233","created_at":"2026-07-05T10:44:28Z"},{"alias_kind":"arxiv_version","alias_value":"2504.03233v1","created_at":"2026-07-05T10:44:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.03233","created_at":"2026-07-05T10:44:28Z"},{"alias_kind":"pith_short_12","alias_value":"MTCDDY6J7PJI","created_at":"2026-07-05T10:44:28Z"},{"alias_kind":"pith_short_16","alias_value":"MTCDDY6J7PJIZ52O","created_at":"2026-07-05T10:44:28Z"},{"alias_kind":"pith_short_8","alias_value":"MTCDDY6J","created_at":"2026-07-05T10:44:28Z"}],"graph_snapshots":[{"event_id":"sha256:155b81246e30aefac076a44551ea67ced59c0437a2d38b3f873d364d55490c53","target":"graph","created_at":"2026-07-05T10:44: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.03233/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In continuous-time optimal control, evaluating the Hamiltonian requires solving a constrained optimization problem using the system's dynamics model. Hamilton-Jacobi reachability analysis for safety verification has demonstrated practical utility only when efficient evaluation of the Hamiltonian over a large state-time grid is possible. In this study, we introduce the concept of a data-driven Hamiltonian (DDH), which circumvents the need for an explicit dynamics model by relying only on mild prior knowledge (e.g., Lipschitz constants), thus enabling the construction of reachable sets directly ","authors_text":"Christopher A. Strong, Claire J. Tomlin, Jason J. Choi, Koushil Sreenath, Namhoon Cho","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-04T07:29:11Z","title":"Data-Driven Hamiltonian for Direct Construction of Safe Set from Trajectory Data"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.03233","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:4cf9be915052ac2d5b770e4ef7a3bc1e2b6d74c3df617cc4127ad4fd69ffe98a","target":"record","created_at":"2026-07-05T10:44: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":"458bab38b40d2c89ff10e99f625c6032e9efee130e03a3233926ec5a48eaca0e","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-04-04T07:29:11Z","title_canon_sha256":"48b22da5098050600c197afb90003412a1924b7a7f000d258646b12f81a20a5c"},"schema_version":"1.0","source":{"id":"2504.03233","kind":"arxiv","version":1}},"canonical_sha256":"64c431e3c9fbd28cf74ee09b5a1da14c8b34831fae100fa726e857107884505d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"64c431e3c9fbd28cf74ee09b5a1da14c8b34831fae100fa726e857107884505d","first_computed_at":"2026-07-05T10:44:28.478477Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:44:28.478477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4es7+10Zs2B7gMfyjTIAbdptG9Wo0BPhRKbiWKKOVCCvXpwZrOh6I1lRun1NCtnqOqKiQ9arj+Iq9LjM4OX/BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:44:28.478980Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.03233","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cf9be915052ac2d5b770e4ef7a3bc1e2b6d74c3df617cc4127ad4fd69ffe98a","sha256:155b81246e30aefac076a44551ea67ced59c0437a2d38b3f873d364d55490c53"],"state_sha256":"577974b0971bad760a574b7d592b577df35beddadfb6ec88abbac354e604933e"}