{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:6CG63MEPDKWL2DJZL2UN4NP2T7","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":"4fbd55f56b295cc69101358a8069aed291c95dd7ebd0f2328ff5ea85d2607ba3","cross_cats_sorted":["cs.LG","cs.RO","cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-03T18:57:54Z","title_canon_sha256":"aa1816c0dcf7085bdf7b06b84e968c61b5115c2bde7816c9f0c64233b34158dc"},"schema_version":"1.0","source":{"id":"2404.03017","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.03017","created_at":"2026-07-05T08:51:49Z"},{"alias_kind":"arxiv_version","alias_value":"2404.03017v2","created_at":"2026-07-05T08:51:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.03017","created_at":"2026-07-05T08:51:49Z"},{"alias_kind":"pith_short_12","alias_value":"6CG63MEPDKWL","created_at":"2026-07-05T08:51:49Z"},{"alias_kind":"pith_short_16","alias_value":"6CG63MEPDKWL2DJZ","created_at":"2026-07-05T08:51:49Z"},{"alias_kind":"pith_short_8","alias_value":"6CG63MEP","created_at":"2026-07-05T08:51:49Z"}],"graph_snapshots":[{"event_id":"sha256:6b10daa0583f5c56675b096c409737c392411757803bf6d4708679f225a922df","target":"graph","created_at":"2026-07-05T08:51:49Z","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/2404.03017/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This article presents novel methods for synthesizing distributionally robust stabilizing neural controllers and certificates for control systems under model uncertainty. A key challenge in designing controllers with stability guarantees for uncertain systems is the accurate determination of and adaptation to shifts in model parametric uncertainty during online deployment. We tackle this with a novel distributionally robust formulation of the Lyapunov derivative chance constraint ensuring a monotonic decrease of the Lyapunov certificate. To avoid the computational complexity involved in dealing","authors_text":"Jorge Cortes, Kehan Long, Nikolay Atanasov","cross_cats":["cs.LG","cs.RO","cs.SY","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-03T18:57:54Z","title":"Distributionally Robust Policy and Lyapunov-Certificate Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.03017","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:576561cfb515660cc5c86e797ffd57c20af22e74101ee2d9a314f2f7b4910091","target":"record","created_at":"2026-07-05T08:51:49Z","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":"4fbd55f56b295cc69101358a8069aed291c95dd7ebd0f2328ff5ea85d2607ba3","cross_cats_sorted":["cs.LG","cs.RO","cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-03T18:57:54Z","title_canon_sha256":"aa1816c0dcf7085bdf7b06b84e968c61b5115c2bde7816c9f0c64233b34158dc"},"schema_version":"1.0","source":{"id":"2404.03017","kind":"arxiv","version":2}},"canonical_sha256":"f08dedb08f1aacbd0d395ea8de35fa9ffd4aad907abcce27e0c58c5cb01f9313","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f08dedb08f1aacbd0d395ea8de35fa9ffd4aad907abcce27e0c58c5cb01f9313","first_computed_at":"2026-07-05T08:51:49.939074Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:51:49.939074Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"S2I9vKaGkWLY9sWajsT34s3KmvO0HFrUDdN7sxzS+rLKPzQfhx9fUo8hzioFlrPPMQPJhS5t/yMClFsVGTMsBA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:51:49.939508Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.03017","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:576561cfb515660cc5c86e797ffd57c20af22e74101ee2d9a314f2f7b4910091","sha256:6b10daa0583f5c56675b096c409737c392411757803bf6d4708679f225a922df"],"state_sha256":"63f1ad51282fa28ada05b6498eb689dbafc837a1ea3e5a0ae0d018ec6737d70d"}