{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:HOHP23COTMA7G4GNRAUKT4IOWI","short_pith_number":"pith:HOHP23CO","schema_version":"1.0","canonical_sha256":"3b8efd6c4e9b01f370cd8828a9f10eb229a4adce2aaed39f99903e2928feba1d","source":{"kind":"arxiv","id":"2305.01811","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.01811","created_at":"2026-07-05T11:24:00.277580+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.01811v1","created_at":"2026-07-05T11:24:00.277580+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01811","created_at":"2026-07-05T11:24:00.277580+00:00"},{"alias_kind":"pith_short_12","alias_value":"HOHP23COTMA7","created_at":"2026-07-05T11:24:00.277580+00:00"},{"alias_kind":"pith_short_16","alias_value":"HOHP23COTMA7G4GN","created_at":"2026-07-05T11:24:00.277580+00:00"},{"alias_kind":"pith_short_8","alias_value":"HOHP23CO","created_at":"2026-07-05T11:24:00.277580+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI","json":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI.json","graph_json":"https://pith.science/api/pith-number/HOHP23COTMA7G4GNRAUKT4IOWI/graph.json","events_json":"https://pith.science/api/pith-number/HOHP23COTMA7G4GNRAUKT4IOWI/events.json","paper":"https://pith.science/paper/HOHP23CO"},"agent_actions":{"view_html":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI","download_json":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI.json","view_paper":"https://pith.science/paper/HOHP23CO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.01811&json=true","fetch_graph":"https://pith.science/api/pith-number/HOHP23COTMA7G4GNRAUKT4IOWI/graph.json","fetch_events":"https://pith.science/api/pith-number/HOHP23COTMA7G4GNRAUKT4IOWI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/action/storage_attestation","attest_author":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/action/author_attestation","sign_citation":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/action/citation_signature","submit_replication":"https://pith.science/pith/HOHP23COTMA7G4GNRAUKT4IOWI/action/replication_record"}},"created_at":"2026-07-05T11:24:00.277580+00:00","updated_at":"2026-07-05T11:24:00.277580+00:00"}