{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:PMLTTDA4DE7EVDQGJLUMEAMC4I","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":"9548b1a4e18533c623cd5abbf682b6fbb9e68972e30028914488cda2cd5460d8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-02-23T20:11:13Z","title_canon_sha256":"57d343f604b5d89bec48d7b67283d078e115520aefd2d58c6c7da2930548fd3e"},"schema_version":"1.0","source":{"id":"2202.11762","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2202.11762","created_at":"2026-07-05T05:26:38Z"},{"alias_kind":"arxiv_version","alias_value":"2202.11762v2","created_at":"2026-07-05T05:26:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2202.11762","created_at":"2026-07-05T05:26:38Z"},{"alias_kind":"pith_short_12","alias_value":"PMLTTDA4DE7E","created_at":"2026-07-05T05:26:38Z"},{"alias_kind":"pith_short_16","alias_value":"PMLTTDA4DE7EVDQG","created_at":"2026-07-05T05:26:38Z"},{"alias_kind":"pith_short_8","alias_value":"PMLTTDA4","created_at":"2026-07-05T05:26:38Z"}],"graph_snapshots":[{"event_id":"sha256:8f1fb1938c7e54683c062a1f9e13c038803ef6c9c4066f2efc2a2b134afa6ede","target":"graph","created_at":"2026-07-05T05:26:38Z","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/2202.11762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at the cost of reduced transparency and lack of guarantees on the safety or stability of the learned controllers. In recent years, new techniques have emerged to provide these guarantees by learning certificates alongside control policies -- these certificates provide concise, data-driven proofs that guarantee the safety and stability of the learned control system. These methods not only allow the user to verify the safety of a learned cont","authors_text":"Charles Dawson, Chuchu Fan, Sicun Gao","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-02-23T20:11:13Z","title":"Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2202.11762","kind":"arxiv","version":2},"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:f1b55d8524eea06556c6c97d826a1c513d8b8c292365c1dad2095054589620ec","target":"record","created_at":"2026-07-05T05:26:38Z","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":"9548b1a4e18533c623cd5abbf682b6fbb9e68972e30028914488cda2cd5460d8","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2022-02-23T20:11:13Z","title_canon_sha256":"57d343f604b5d89bec48d7b67283d078e115520aefd2d58c6c7da2930548fd3e"},"schema_version":"1.0","source":{"id":"2202.11762","kind":"arxiv","version":2}},"canonical_sha256":"7b17398c1c193e4a8e064ae8c20182e2095197a8ae842063d7560b986bb7190b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b17398c1c193e4a8e064ae8c20182e2095197a8ae842063d7560b986bb7190b","first_computed_at":"2026-07-05T05:26:38.949538Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:26:38.949538Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"69/Um7T1GD5LEpUD2LJqcN+TfDodHYD3TfhkrgioCmEYB8qmx8JZFTN3Mv98CDwO/L4u2SSnbLE7+ZftZ6xIDw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:26:38.950003Z","signed_message":"canonical_sha256_bytes"},"source_id":"2202.11762","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1b55d8524eea06556c6c97d826a1c513d8b8c292365c1dad2095054589620ec","sha256:8f1fb1938c7e54683c062a1f9e13c038803ef6c9c4066f2efc2a2b134afa6ede"],"state_sha256":"ccd24d70dc81984297515dd5a9a548f0524b6a02977f01ceaec6634caa8e02b8"}