{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:TYRXVJR45OOTUNG2QOH4LMURGS","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":"d8c6268ad46bee74d569a723a269d24438e8670d778d8002988c024b7d47eb12","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-04T01:51:05Z","title_canon_sha256":"06d4724afce78873adb99870aec33c3fafda0602bc86bc423b603372621a4ae2"},"schema_version":"1.0","source":{"id":"2602.04132","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.04132","created_at":"2026-06-03T01:05:10Z"},{"alias_kind":"arxiv_version","alias_value":"2602.04132v4","created_at":"2026-06-03T01:05:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.04132","created_at":"2026-06-03T01:05:10Z"},{"alias_kind":"pith_short_12","alias_value":"TYRXVJR45OOT","created_at":"2026-06-03T01:05:10Z"},{"alias_kind":"pith_short_16","alias_value":"TYRXVJR45OOTUNG2","created_at":"2026-06-03T01:05:10Z"},{"alias_kind":"pith_short_8","alias_value":"TYRXVJR4","created_at":"2026-06-03T01:05:10Z"}],"graph_snapshots":[{"event_id":"sha256:a373c36a78a62adeae59586ed9f80701d1d1f708f42c6de46391b5c588006a66","target":"graph","created_at":"2026-06-03T01:05:10Z","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/2602.04132/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reinforcement Learning (RL) has achieved remarkable success in solving complex sequential decision-making problems. However, its application to safety-critical physical systems remains constrained by the lack of stability guarantees. Standard RL algorithms prioritize reward maximization, often yielding policies that may induce oscillations or unbounded state divergence. In this work we propose a Lyapunov-Constrained Soft Actor-Critic (LC-SAC) algorithm using Koopman operator theory. We learn a linear lifted surrogate of the error dynamics via Extended Dynamic Mode Decomposition (EDMD) and solv","authors_text":"Dhruv S. Kushwaha, Zoleikha A. Biron","cross_cats":["cs.LG","cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-04T01:51:05Z","title":"LC-SAC: Lyapunov-Constrained Soft Actor-Critic via Koopman Operator Theory for Trajectory Tracking and Stabilization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.04132","kind":"arxiv","version":4},"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:624914b4883b05c5c204f7626999b2e80e31bce5902631996f4176b060b92584","target":"record","created_at":"2026-06-03T01:05:10Z","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":"d8c6268ad46bee74d569a723a269d24438e8670d778d8002988c024b7d47eb12","cross_cats_sorted":["cs.LG","cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2026-02-04T01:51:05Z","title_canon_sha256":"06d4724afce78873adb99870aec33c3fafda0602bc86bc423b603372621a4ae2"},"schema_version":"1.0","source":{"id":"2602.04132","kind":"arxiv","version":4}},"canonical_sha256":"9e237aa63ceb9d3a34da838fc5b29134bbcddcc366df7d77a240bcc1fa59a83a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e237aa63ceb9d3a34da838fc5b29134bbcddcc366df7d77a240bcc1fa59a83a","first_computed_at":"2026-06-03T01:05:10.085709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-03T01:05:10.085709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mGUsaJMQai/8EcDU2BIw7H1s/LzYKOjrZj7XJjhmJzgnxg5g1A0t2Bq9d3BB7Exbz5mO9ldoIHidXuTZVQxEDQ==","signature_status":"signed_v1","signed_at":"2026-06-03T01:05:10.086197Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.04132","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:624914b4883b05c5c204f7626999b2e80e31bce5902631996f4176b060b92584","sha256:a373c36a78a62adeae59586ed9f80701d1d1f708f42c6de46391b5c588006a66"],"state_sha256":"d193d3a3b4d7c866cd83ebcf2957020177987f520eff1a6becada3cebc98ee7e"}