{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:HOHP23COTMA7G4GNRAUKT4IOWI","short_pith_number":"pith:HOHP23CO","canonical_record":{"source":{"id":"2305.01811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-05-02T22:33:26Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a2a296747f498708d0f9f4ee07927a24a1008498780b971fb3f276b92dd69a7d","abstract_canon_sha256":"93254ae2428045743c2f2eff497b638c29c83368bde37078cc513e86766770cd"},"schema_version":"1.0"},"canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","source":{"kind":"arxiv","id":"2305.01811","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01811","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01811v1","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01811","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_12","alias_value":"HOHP23COTMA7","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_16","alias_value":"HOHP23COTMA7G4GN","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_8","alias_value":"HOHP23CO","created_at":"2026-07-05T11:24:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:HOHP23COTMA7G4GNRAUKT4IOWI","target":"record","payload":{"canonical_record":{"source":{"id":"2305.01811","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-05-02T22:33:26Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"a2a296747f498708d0f9f4ee07927a24a1008498780b971fb3f276b92dd69a7d","abstract_canon_sha256":"93254ae2428045743c2f2eff497b638c29c83368bde37078cc513e86766770cd"},"schema_version":"1.0"},"canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:24:00.278027Z","signature_b64":"qVBNO43eu21z9ob04aw947EWldOhfj/ChUQ/BDzxsvNDfCSuGAQXsJtSasJXwPmKTByRqkfiFmmjy7pbeW80Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","last_reissued_at":"2026-07-05T11:24:00.277519Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:24:00.277519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.01811","source_version":1,"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-05T11:24:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fHnqDHbXTQZ7toJ7vRn4LPnFElJtFhtwTXNhSsO26EzHPlf9Xz1yXEyaOPONAHFfmZxpoiFwAR2+6CoY1R+ZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T15:24:55.994821Z"},"content_sha256":"bd0ee24a03b4e5d751ae0a9264827015a0cb64400388220e703e4c0aee84307a","schema_version":"1.0","event_id":"sha256:bd0ee24a03b4e5d751ae0a9264827015a0cb64400388220e703e4c0aee84307a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:HOHP23COTMA7G4GNRAUKT4IOWI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing Compositionality of LQR from the Categorical Perspective","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Baike She, James Fairbanks, Matthew Hale, Tyler Hanks","submitted_at":"2023-05-02T22:33:26Z","abstract_excerpt":"Composing systems is a fundamental concept in modern control systems, yet it remains challenging to formally analyze how controllers designed for individual subsystems can differ from controllers designed for the composition of those subsystems. To address this challenge, we propose a novel approach to composing control systems based on resource sharing machines, a concept from applied category theory. We use resource sharing machines to investigate the differences between (i) the linear-quadratic regulator (LQR) designed directly for a composite system and (ii) the LQR that is attained throug"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01811","kind":"arxiv","version":1},"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/2305.01811/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-05T11:24:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sx8yv6A+sg36HexcHTXBhPcf0PazEiRYDAkcxANNhdlziruLJXrzunM/2fDtxD6DrBWi0xzChhNYyiXXIy4ACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T15:24:55.996493Z"},"content_sha256":"1244ac0135af82179e4b50b0b968f3bdb90cac7063d2a740380db34796434849","schema_version":"1.0","event_id":"sha256:1244ac0135af82179e4b50b0b968f3bdb90cac7063d2a740380db34796434849"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/bundle.json","state_url":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HOHP23COTMA7G4GNRAUKT4IOWI/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-19T15:24:56Z","links":{"resolver":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI","bundle":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/bundle.json","state":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HOHP23COTMA7G4GNRAUKT4IOWI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HOHP23COTMA7G4GNRAUKT4IOWI","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":"93254ae2428045743c2f2eff497b638c29c83368bde37078cc513e86766770cd","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-05-02T22:33:26Z","title_canon_sha256":"a2a296747f498708d0f9f4ee07927a24a1008498780b971fb3f276b92dd69a7d"},"schema_version":"1.0","source":{"id":"2305.01811","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.01811","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"arxiv_version","alias_value":"2305.01811v1","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01811","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_12","alias_value":"HOHP23COTMA7","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_16","alias_value":"HOHP23COTMA7G4GN","created_at":"2026-07-05T11:24:00Z"},{"alias_kind":"pith_short_8","alias_value":"HOHP23CO","created_at":"2026-07-05T11:24:00Z"}],"graph_snapshots":[{"event_id":"sha256:1244ac0135af82179e4b50b0b968f3bdb90cac7063d2a740380db34796434849","target":"graph","created_at":"2026-07-05T11:24:00Z","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/2305.01811/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Composing systems is a fundamental concept in modern control systems, yet it remains challenging to formally analyze how controllers designed for individual subsystems can differ from controllers designed for the composition of those subsystems. To address this challenge, we propose a novel approach to composing control systems based on resource sharing machines, a concept from applied category theory. We use resource sharing machines to investigate the differences between (i) the linear-quadratic regulator (LQR) designed directly for a composite system and (ii) the LQR that is attained throug","authors_text":"Baike She, James Fairbanks, Matthew Hale, Tyler Hanks","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-05-02T22:33:26Z","title":"Characterizing Compositionality of LQR from the Categorical Perspective"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01811","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:bd0ee24a03b4e5d751ae0a9264827015a0cb64400388220e703e4c0aee84307a","target":"record","created_at":"2026-07-05T11:24:00Z","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":"93254ae2428045743c2f2eff497b638c29c83368bde37078cc513e86766770cd","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-05-02T22:33:26Z","title_canon_sha256":"a2a296747f498708d0f9f4ee07927a24a1008498780b971fb3f276b92dd69a7d"},"schema_version":"1.0","source":{"id":"2305.01811","kind":"arxiv","version":1}},"canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","first_computed_at":"2026-07-05T11:24:00.277519Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:24:00.277519Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qVBNO43eu21z9ob04aw947EWldOhfj/ChUQ/BDzxsvNDfCSuGAQXsJtSasJXwPmKTByRqkfiFmmjy7pbeW80Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T11:24:00.278027Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.01811","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd0ee24a03b4e5d751ae0a9264827015a0cb64400388220e703e4c0aee84307a","sha256:1244ac0135af82179e4b50b0b968f3bdb90cac7063d2a740380db34796434849"],"state_sha256":"20d228581de2d28b86b9fffd34da31822903f7679a10bed2858b0367ba7b2859"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YjJ4MPgXG1yIjTmEPfRvJLkmZqtF0xVkLgMZyRaBk8H9ZmHH4Q1BOVmO7G3TKcg7yF0DWu7iIEsCi92ynx7MBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T15:24:56.005622Z","bundle_sha256":"480936a80305f4f6fb314c539d2f6795ca67ece41b32e845b92cafd0aab787de"}}