{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:UWEXTDTR3KN6NOU77MSGU4WQ2U","short_pith_number":"pith:UWEXTDTR","canonical_record":{"source":{"id":"1203.0047","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-29T23:27:07Z","cross_cats_sorted":[],"title_canon_sha256":"367a6fad33b916dd79e32f1998bfbf30b224b47f3d33f14a99ba9f5a373910d2","abstract_canon_sha256":"ff072a63cb68fdeb696ee74b10ae2068cce236e7edf1c965015e05ee5d26339e"},"schema_version":"1.0"},"canonical_sha256":"a589798e71da9be6ba9ffb246a72d0d5315b97f1a82a2f373cdd5ef344d50c3d","source":{"kind":"arxiv","id":"1203.0047","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0047","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0047v3","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0047","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"UWEXTDTR3KN6","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UWEXTDTR3KN6NOU7","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UWEXTDTR","created_at":"2026-05-18T12:27:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:UWEXTDTR3KN6NOU77MSGU4WQ2U","target":"record","payload":{"canonical_record":{"source":{"id":"1203.0047","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-29T23:27:07Z","cross_cats_sorted":[],"title_canon_sha256":"367a6fad33b916dd79e32f1998bfbf30b224b47f3d33f14a99ba9f5a373910d2","abstract_canon_sha256":"ff072a63cb68fdeb696ee74b10ae2068cce236e7edf1c965015e05ee5d26339e"},"schema_version":"1.0"},"canonical_sha256":"a589798e71da9be6ba9ffb246a72d0d5315b97f1a82a2f373cdd5ef344d50c3d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:44:20.891453Z","signature_b64":"jfLD3MsZjccqxHcb+cC3mQRIaAkQAJ9FiOWYUQNHvoKgvY0ioFs7JNrWxpTUVq98KKB7QrSMQDkkLY+WtCKYDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a589798e71da9be6ba9ffb246a72d0d5315b97f1a82a2f373cdd5ef344d50c3d","last_reissued_at":"2026-05-18T01:44:20.890941Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:44:20.890941Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.0047","source_version":3,"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-05-18T01:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YgCjSpVZa2CPfsBRmGMzst3TvzZ337KxPsG+eV6g7cPCKLITmMDZwbVCzwpylz0R7bvLPSKvY74Ew4a+16UoAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:31:54.300384Z"},"content_sha256":"1d69f9445708fc40d08bb2d4a0bd2772179f786e0d4d82e21c7c0eded2253555","schema_version":"1.0","event_id":"sha256:1d69f9445708fc40d08bb2d4a0bd2772179f786e0d4d82e21c7c0eded2253555"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:UWEXTDTR3KN6NOU77MSGU4WQ2U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed Control of Positive Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Anders Rantzer","submitted_at":"2012-02-29T23:27:07Z","abstract_excerpt":"A system is called positive if the set of non-negative states is left invariant by the dynamics. Stability analysis and controller optimization are greatly simplified for such systems. For example, linear Lyapunov functions and storage functions can be used instead of quadratic ones. This paper shows how such methods can be used for synthesis of distributed controllers. It also shows that stability and performance of such control systems can be verified with a complexity that scales linearly with the number of interconnections. Several results regarding scalable synthesis and verfication are d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0047","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T01:44:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3DhDWel99C2dFGnlRfjilhOghiR0CmItqOS9UzNFVXr2vx/B6BJsNy/gBigbZm2z1XbkdtVkQ+zqLRtaLXsRBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:31:54.300846Z"},"content_sha256":"5922ccb3a224262db556b104fae07797afc1924a24c471b9fd5d02045e6e009a","schema_version":"1.0","event_id":"sha256:5922ccb3a224262db556b104fae07797afc1924a24c471b9fd5d02045e6e009a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/bundle.json","state_url":"https://pith.science/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/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-06-06T01:31:54Z","links":{"resolver":"https://pith.science/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U","bundle":"https://pith.science/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/bundle.json","state":"https://pith.science/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UWEXTDTR3KN6NOU77MSGU4WQ2U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:UWEXTDTR3KN6NOU77MSGU4WQ2U","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":"ff072a63cb68fdeb696ee74b10ae2068cce236e7edf1c965015e05ee5d26339e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-29T23:27:07Z","title_canon_sha256":"367a6fad33b916dd79e32f1998bfbf30b224b47f3d33f14a99ba9f5a373910d2"},"schema_version":"1.0","source":{"id":"1203.0047","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0047","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0047v3","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0047","created_at":"2026-05-18T01:44:20Z"},{"alias_kind":"pith_short_12","alias_value":"UWEXTDTR3KN6","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_16","alias_value":"UWEXTDTR3KN6NOU7","created_at":"2026-05-18T12:27:25Z"},{"alias_kind":"pith_short_8","alias_value":"UWEXTDTR","created_at":"2026-05-18T12:27:25Z"}],"graph_snapshots":[{"event_id":"sha256:5922ccb3a224262db556b104fae07797afc1924a24c471b9fd5d02045e6e009a","target":"graph","created_at":"2026-05-18T01:44: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"},"paper":{"abstract_excerpt":"A system is called positive if the set of non-negative states is left invariant by the dynamics. Stability analysis and controller optimization are greatly simplified for such systems. For example, linear Lyapunov functions and storage functions can be used instead of quadratic ones. This paper shows how such methods can be used for synthesis of distributed controllers. It also shows that stability and performance of such control systems can be verified with a complexity that scales linearly with the number of interconnections. Several results regarding scalable synthesis and verfication are d","authors_text":"Anders Rantzer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-29T23:27:07Z","title":"Distributed Control of Positive Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0047","kind":"arxiv","version":3},"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:1d69f9445708fc40d08bb2d4a0bd2772179f786e0d4d82e21c7c0eded2253555","target":"record","created_at":"2026-05-18T01:44: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":"ff072a63cb68fdeb696ee74b10ae2068cce236e7edf1c965015e05ee5d26339e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-02-29T23:27:07Z","title_canon_sha256":"367a6fad33b916dd79e32f1998bfbf30b224b47f3d33f14a99ba9f5a373910d2"},"schema_version":"1.0","source":{"id":"1203.0047","kind":"arxiv","version":3}},"canonical_sha256":"a589798e71da9be6ba9ffb246a72d0d5315b97f1a82a2f373cdd5ef344d50c3d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a589798e71da9be6ba9ffb246a72d0d5315b97f1a82a2f373cdd5ef344d50c3d","first_computed_at":"2026-05-18T01:44:20.890941Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:44:20.890941Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jfLD3MsZjccqxHcb+cC3mQRIaAkQAJ9FiOWYUQNHvoKgvY0ioFs7JNrWxpTUVq98KKB7QrSMQDkkLY+WtCKYDg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:44:20.891453Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.0047","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d69f9445708fc40d08bb2d4a0bd2772179f786e0d4d82e21c7c0eded2253555","sha256:5922ccb3a224262db556b104fae07797afc1924a24c471b9fd5d02045e6e009a"],"state_sha256":"2748231112fb52e1c4d3c628aad53e01edc3f1627cca00e0cd5a93f5caf870ca"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iWLg4inT9GZ7ZLVv0NuH/xx+3T/nM5e6E7Of0CEd80n5VLf6dBfqHfpeVWgau1ni6OGjio1Ayday1+dvbZFBBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T01:31:54.304506Z","bundle_sha256":"23c776bc3aa7ebbfd679e0aa260fbec621891b291397db2196dbd345d2518461"}}