{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:U52QCEO4CHGE7BVBVGJ2Z6L5IJ","short_pith_number":"pith:U52QCEO4","canonical_record":{"source":{"id":"2210.01759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-04T17:26:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"58de8021ab0013c162ecd870697698a67f70a664638e6c08c94c137175e81f1d","abstract_canon_sha256":"297f2bdb137142dff8f033de1ddc6954e26414d67e991432339c2b3106f110b0"},"schema_version":"1.0"},"canonical_sha256":"a7750111dc11cc4f86a1a993acf97d427b1e9dc4afbbd3ece64f1de12b450c28","source":{"kind":"arxiv","id":"2210.01759","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.01759","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"arxiv_version","alias_value":"2210.01759v1","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.01759","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_12","alias_value":"U52QCEO4CHGE","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_16","alias_value":"U52QCEO4CHGE7BVB","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_8","alias_value":"U52QCEO4","created_at":"2026-07-05T05:03:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:U52QCEO4CHGE7BVBVGJ2Z6L5IJ","target":"record","payload":{"canonical_record":{"source":{"id":"2210.01759","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-04T17:26:32Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"58de8021ab0013c162ecd870697698a67f70a664638e6c08c94c137175e81f1d","abstract_canon_sha256":"297f2bdb137142dff8f033de1ddc6954e26414d67e991432339c2b3106f110b0"},"schema_version":"1.0"},"canonical_sha256":"a7750111dc11cc4f86a1a993acf97d427b1e9dc4afbbd3ece64f1de12b450c28","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:03:13.741905Z","signature_b64":"qEU0UDqeqRnH/uGzr8rexFriwoIJqe+QCvjiedQF5mZVQq58Gg4un9rB1jLiRVDmtM5XY3w3A44wM4Khqi/yDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7750111dc11cc4f86a1a993acf97d427b1e9dc4afbbd3ece64f1de12b450c28","last_reissued_at":"2026-07-05T05:03:13.741551Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:03:13.741551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.01759","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-05T05:03:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SSuYTwrYIj8oB06hoDwNqL+gz8QYOJYhWmPAs34S76mPqv5GfTMx5iir8zdTguKXPC4TrnkC77EZ16BX32WrAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:45:54.039276Z"},"content_sha256":"7802c88a08750d6d8a4f239e95d328a9699d071b9d5b3ac9f599a055d90395a5","schema_version":"1.0","event_id":"sha256:7802c88a08750d6d8a4f239e95d328a9699d071b9d5b3ac9f599a055d90395a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:U52QCEO4CHGE7BVBVGJ2Z6L5IJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Nasim Baharisangari, Zhe Xu","submitted_at":"2022-10-04T17:26:32Z","abstract_excerpt":"In this paper, we propose a distributed differentially private receding horizon control (RHC) approach for multi-agent systems (MAS) with metric temporal logic (MTL) specifications. In the MAS considered in this paper, each agent privatizes its sensitive information from other agents using a differential privacy mechanism. In other words, each agent adds privacy noise (e.g., Gaussian noise) to its output to maintain its privacy and communicates its noisy output with its neighboring agents. We define two types of MTL specifications for the MAS: agent-level specifications and system-level specif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.01759","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/2210.01759/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-05T05:03:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wl9tNh4GJvUPP5xsEdskVcXG+FU7TMUE7YE6z+lVrv7v7HL6N81x5XxxjqCmNZHKKqEhRTJxKUVuUply/Q2cCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:45:54.039702Z"},"content_sha256":"bcdca51a8a5da1370e8869ddfb6e7b789167d06389a9b0b14a5e381f769fa24d","schema_version":"1.0","event_id":"sha256:bcdca51a8a5da1370e8869ddfb6e7b789167d06389a9b0b14a5e381f769fa24d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/bundle.json","state_url":"https://pith.science/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/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-07-08T07:45:54Z","links":{"resolver":"https://pith.science/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ","bundle":"https://pith.science/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/bundle.json","state":"https://pith.science/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U52QCEO4CHGE7BVBVGJ2Z6L5IJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:U52QCEO4CHGE7BVBVGJ2Z6L5IJ","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":"297f2bdb137142dff8f033de1ddc6954e26414d67e991432339c2b3106f110b0","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-04T17:26:32Z","title_canon_sha256":"58de8021ab0013c162ecd870697698a67f70a664638e6c08c94c137175e81f1d"},"schema_version":"1.0","source":{"id":"2210.01759","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.01759","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"arxiv_version","alias_value":"2210.01759v1","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.01759","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_12","alias_value":"U52QCEO4CHGE","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_16","alias_value":"U52QCEO4CHGE7BVB","created_at":"2026-07-05T05:03:13Z"},{"alias_kind":"pith_short_8","alias_value":"U52QCEO4","created_at":"2026-07-05T05:03:13Z"}],"graph_snapshots":[{"event_id":"sha256:bcdca51a8a5da1370e8869ddfb6e7b789167d06389a9b0b14a5e381f769fa24d","target":"graph","created_at":"2026-07-05T05:03:13Z","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/2210.01759/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we propose a distributed differentially private receding horizon control (RHC) approach for multi-agent systems (MAS) with metric temporal logic (MTL) specifications. In the MAS considered in this paper, each agent privatizes its sensitive information from other agents using a differential privacy mechanism. In other words, each agent adds privacy noise (e.g., Gaussian noise) to its output to maintain its privacy and communicates its noisy output with its neighboring agents. We define two types of MTL specifications for the MAS: agent-level specifications and system-level specif","authors_text":"Nasim Baharisangari, Zhe Xu","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-04T17:26:32Z","title":"Distributed Differentially Private Control Synthesis for Multi-Agent Systems with Metric Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.01759","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:7802c88a08750d6d8a4f239e95d328a9699d071b9d5b3ac9f599a055d90395a5","target":"record","created_at":"2026-07-05T05:03:13Z","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":"297f2bdb137142dff8f033de1ddc6954e26414d67e991432339c2b3106f110b0","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2022-10-04T17:26:32Z","title_canon_sha256":"58de8021ab0013c162ecd870697698a67f70a664638e6c08c94c137175e81f1d"},"schema_version":"1.0","source":{"id":"2210.01759","kind":"arxiv","version":1}},"canonical_sha256":"a7750111dc11cc4f86a1a993acf97d427b1e9dc4afbbd3ece64f1de12b450c28","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a7750111dc11cc4f86a1a993acf97d427b1e9dc4afbbd3ece64f1de12b450c28","first_computed_at":"2026-07-05T05:03:13.741551Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:03:13.741551Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qEU0UDqeqRnH/uGzr8rexFriwoIJqe+QCvjiedQF5mZVQq58Gg4un9rB1jLiRVDmtM5XY3w3A44wM4Khqi/yDA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:03:13.741905Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.01759","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7802c88a08750d6d8a4f239e95d328a9699d071b9d5b3ac9f599a055d90395a5","sha256:bcdca51a8a5da1370e8869ddfb6e7b789167d06389a9b0b14a5e381f769fa24d"],"state_sha256":"2f3ed0014501d51ce198d0d09b5539f4c92c1743bc19b0993b041f02721fe26d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"grmQR4BIftzCszR+kQVH+jt+gi34MVHE/2DrdRX6ecSgYOIR7MUf2LAJZVWWHfrRXeZms5jYwMM3UPaKWt+QAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T07:45:54.041961Z","bundle_sha256":"7eb74e0e6ac36f6c31cb99cff59f4e480da7411a8c79c958895e5773fd2db52f"}}