{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:L4IVSU3LTKM7R25CUOWGJYBCRS","short_pith_number":"pith:L4IVSU3L","canonical_record":{"source":{"id":"2509.04288","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T15:01:03Z","cross_cats_sorted":["cs.AI","cs.SY"],"title_canon_sha256":"b8377b4ddc1f0e0b961f2bb024b91149d9818472a8fb72c559eba7be51e4bc63","abstract_canon_sha256":"d36762007a396ac57e24a41575a4164b0a86091df72a600237461a812782d6c7"},"schema_version":"1.0"},"canonical_sha256":"5f1159536b9a99f8eba2a3ac64e0228caf129fe1dd635d497d76016bbb8494ca","source":{"kind":"arxiv","id":"2509.04288","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04288","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04288v2","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04288","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"L4IVSU3LTKM7","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_16","alias_value":"L4IVSU3LTKM7R25C","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_8","alias_value":"L4IVSU3L","created_at":"2026-07-05T12:06:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:L4IVSU3LTKM7R25CUOWGJYBCRS","target":"record","payload":{"canonical_record":{"source":{"id":"2509.04288","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T15:01:03Z","cross_cats_sorted":["cs.AI","cs.SY"],"title_canon_sha256":"b8377b4ddc1f0e0b961f2bb024b91149d9818472a8fb72c559eba7be51e4bc63","abstract_canon_sha256":"d36762007a396ac57e24a41575a4164b0a86091df72a600237461a812782d6c7"},"schema_version":"1.0"},"canonical_sha256":"5f1159536b9a99f8eba2a3ac64e0228caf129fe1dd635d497d76016bbb8494ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:06:20.520381Z","signature_b64":"QauBQ+VqbPUyGJAaHQdK5KY9KLTLPg4JK51VDVHnM0Sy3cJ7+qcZyPwB7AtzzBh2IXNMfspyOd3l1RfkXfKmDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5f1159536b9a99f8eba2a3ac64e0228caf129fe1dd635d497d76016bbb8494ca","last_reissued_at":"2026-07-05T12:06:20.519808Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:06:20.519808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.04288","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"csem7iBxcp0mqBRTZDsyLtt/eHOpp82rzg2Jc1Gtr65s7D+gw3hEeRZLKYDBFw/sOM4gYP9NZOQ01vEkjxFdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:34:47.793109Z"},"content_sha256":"79cb80d72cb59e728951a317747d282831056d67dcf216ed59ea3d8290dfe5d6","schema_version":"1.0","event_id":"sha256:79cb80d72cb59e728951a317747d282831056d67dcf216ed59ea3d8290dfe5d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:L4IVSU3LTKM7R25CUOWGJYBCRS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SY"],"primary_cat":"eess.SY","authors_text":"Hovsep Touloujian, Manuel Mazo Jr, Pierfrancesco Ombrini, Rudi Coppola","submitted_at":"2025-09-04T15:01:03Z","abstract_excerpt":"Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embedded charging and safety protocols, denoted by Battery Management Systems (BMS), has taken central stage. A fundamental challenge to be addressed is the trade-off between the speed of charging and the ageing behavior, resulting in the loss of capacity in the battery cell. We rely on a high-fidelity physics-based battery model and propose an approach to data-driven charging and safety protocol design. Following a Count"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04288","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2509.04288/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:06:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uc3jaUAvifw7AT+OjzCjQ8nAt8mw9zuDwVm+QsB9g4c2B+v1+Xxo3Pt0zldezJ/ac73IOBCrBEkA7zrpEoZgAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:34:47.793669Z"},"content_sha256":"78a182a0fe2ae836c755ede883727f744f7c5ed33d9b73c5481c6d39afe203d2","schema_version":"1.0","event_id":"sha256:78a182a0fe2ae836c755ede883727f744f7c5ed33d9b73c5481c6d39afe203d2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/bundle.json","state_url":"https://pith.science/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-10T19:34:47Z","links":{"resolver":"https://pith.science/pith/L4IVSU3LTKM7R25CUOWGJYBCRS","bundle":"https://pith.science/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/bundle.json","state":"https://pith.science/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L4IVSU3LTKM7R25CUOWGJYBCRS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:L4IVSU3LTKM7R25CUOWGJYBCRS","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":"d36762007a396ac57e24a41575a4164b0a86091df72a600237461a812782d6c7","cross_cats_sorted":["cs.AI","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T15:01:03Z","title_canon_sha256":"b8377b4ddc1f0e0b961f2bb024b91149d9818472a8fb72c559eba7be51e4bc63"},"schema_version":"1.0","source":{"id":"2509.04288","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04288","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04288v2","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04288","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_12","alias_value":"L4IVSU3LTKM7","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_16","alias_value":"L4IVSU3LTKM7R25C","created_at":"2026-07-05T12:06:20Z"},{"alias_kind":"pith_short_8","alias_value":"L4IVSU3L","created_at":"2026-07-05T12:06:20Z"}],"graph_snapshots":[{"event_id":"sha256:78a182a0fe2ae836c755ede883727f744f7c5ed33d9b73c5481c6d39afe203d2","target":"graph","created_at":"2026-07-05T12:06:20Z","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/2509.04288/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Rechargeable lithium-ion (Li-ion) batteries are a ubiquitous element of modern technology. In the last decades, the production and design of such batteries and their adjacent embedded charging and safety protocols, denoted by Battery Management Systems (BMS), has taken central stage. A fundamental challenge to be addressed is the trade-off between the speed of charging and the ageing behavior, resulting in the loss of capacity in the battery cell. We rely on a high-fidelity physics-based battery model and propose an approach to data-driven charging and safety protocol design. Following a Count","authors_text":"Hovsep Touloujian, Manuel Mazo Jr, Pierfrancesco Ombrini, Rudi Coppola","cross_cats":["cs.AI","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T15:01:03Z","title":"Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04288","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:79cb80d72cb59e728951a317747d282831056d67dcf216ed59ea3d8290dfe5d6","target":"record","created_at":"2026-07-05T12:06:20Z","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":"d36762007a396ac57e24a41575a4164b0a86091df72a600237461a812782d6c7","cross_cats_sorted":["cs.AI","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-09-04T15:01:03Z","title_canon_sha256":"b8377b4ddc1f0e0b961f2bb024b91149d9818472a8fb72c559eba7be51e4bc63"},"schema_version":"1.0","source":{"id":"2509.04288","kind":"arxiv","version":2}},"canonical_sha256":"5f1159536b9a99f8eba2a3ac64e0228caf129fe1dd635d497d76016bbb8494ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f1159536b9a99f8eba2a3ac64e0228caf129fe1dd635d497d76016bbb8494ca","first_computed_at":"2026-07-05T12:06:20.519808Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:06:20.519808Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QauBQ+VqbPUyGJAaHQdK5KY9KLTLPg4JK51VDVHnM0Sy3cJ7+qcZyPwB7AtzzBh2IXNMfspyOd3l1RfkXfKmDg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:06:20.520381Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04288","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79cb80d72cb59e728951a317747d282831056d67dcf216ed59ea3d8290dfe5d6","sha256:78a182a0fe2ae836c755ede883727f744f7c5ed33d9b73c5481c6d39afe203d2"],"state_sha256":"00cdf59dbaead4ef36ba38a172805aa05c807cfa19e4c1d4a9de5b10e1a9cdc5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KvdnTMPHJh9tu9jaFMjLFSDRLjyj/oiOn+Om5kIGqn50Kq2aoU0xBI53fc2SGIM6M1u+hhqZ+E3t/9PZldszBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T19:34:47.797649Z","bundle_sha256":"634ce915fe46d651816b2ccfc60161f1058f6210786d816d01cb0db10998ef32"}}