{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:S5CDOIMGQLXHCCAEQU7ADTCESA","short_pith_number":"pith:S5CDOIMG","canonical_record":{"source":{"id":"1404.0338","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-01T18:45:10Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"3617823797f2086f3b2fb8d73769c3147cb7a606385d35b8519e25163893187d","abstract_canon_sha256":"7a0336859396fed646ef741e983b1b71dd71e0b9e1f9f70616080870cb79966a"},"schema_version":"1.0"},"canonical_sha256":"974437218682ee710804853e01cc4490000ce964f53036dd8b8cbcf50b3ddb3f","source":{"kind":"arxiv","id":"1404.0338","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0338","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0338v1","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0338","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"pith_short_12","alias_value":"S5CDOIMGQLXH","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"S5CDOIMGQLXHCCAE","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"S5CDOIMG","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:S5CDOIMGQLXHCCAEQU7ADTCESA","target":"record","payload":{"canonical_record":{"source":{"id":"1404.0338","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-01T18:45:10Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"3617823797f2086f3b2fb8d73769c3147cb7a606385d35b8519e25163893187d","abstract_canon_sha256":"7a0336859396fed646ef741e983b1b71dd71e0b9e1f9f70616080870cb79966a"},"schema_version":"1.0"},"canonical_sha256":"974437218682ee710804853e01cc4490000ce964f53036dd8b8cbcf50b3ddb3f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:04.611359Z","signature_b64":"ulKovO9kvGkvq61ZdfJS3YafQ0p3VlAAoN5AX16W5T2Ly/dF+9PGhiuf2kBAe6DzVE7oISXso4ghtbsnE0sNAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"974437218682ee710804853e01cc4490000ce964f53036dd8b8cbcf50b3ddb3f","last_reissued_at":"2026-05-18T02:55:04.610924Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:04.610924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.0338","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-05-18T02:55:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uitSW7COdvPJsYGr03/RSsY1Lobneq9Tt1jFDHJgQXF9Wh9GVwPY6/WwOEulWpj5hpSex/7BgmtayDh4LujZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:24:27.338479Z"},"content_sha256":"82f3e1bedfa428edd9b846b03c305f6bb77a18d7ff7dec88ebf9d15e3eddbf9c","schema_version":"1.0","event_id":"sha256:82f3e1bedfa428edd9b846b03c305f6bb77a18d7ff7dec88ebf9d15e3eddbf9c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:S5CDOIMGQLXHCCAEQU7ADTCESA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multi-Robot Control Using Time-Varying Density Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"math.OC","authors_text":"Magnus Egerstedt, Sung G. Lee","submitted_at":"2014-04-01T18:45:10Z","abstract_excerpt":"This paper presents an approach to externally influencing a team of robots by means of time-varying density functions. These density functions represent rough references for where the robots should be located. To this end, a continuous-time algorithm is proposed that moves the robots so as to provide optimal coverage given the density functions as they evolve over time. The developed algorithm represents an extension to previous coverage algorithms in that time-varying densities are explicitly taken into account in a provable manner. A distributed approximation to this algorithm is moreover pr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0338","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":""},"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-18T02:55:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"khK6ObpOuvxMtiOV7JlpWh7AaukgSQ4Fb9Oe8bSg8Z9iR3AVS43fM3Ov6RxCZsSeL0hH3uy3GrdS9FCTJNuHBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:24:27.339037Z"},"content_sha256":"79aca6fd4330b69c4afbac0447d581e179da7b67e537ed0d9a112a87e7eeaa23","schema_version":"1.0","event_id":"sha256:79aca6fd4330b69c4afbac0447d581e179da7b67e537ed0d9a112a87e7eeaa23"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/bundle.json","state_url":"https://pith.science/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/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:24:27Z","links":{"resolver":"https://pith.science/pith/S5CDOIMGQLXHCCAEQU7ADTCESA","bundle":"https://pith.science/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/bundle.json","state":"https://pith.science/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S5CDOIMGQLXHCCAEQU7ADTCESA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:S5CDOIMGQLXHCCAEQU7ADTCESA","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":"7a0336859396fed646ef741e983b1b71dd71e0b9e1f9f70616080870cb79966a","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-01T18:45:10Z","title_canon_sha256":"3617823797f2086f3b2fb8d73769c3147cb7a606385d35b8519e25163893187d"},"schema_version":"1.0","source":{"id":"1404.0338","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.0338","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"arxiv_version","alias_value":"1404.0338v1","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.0338","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"pith_short_12","alias_value":"S5CDOIMGQLXH","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"S5CDOIMGQLXHCCAE","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"S5CDOIMG","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:79aca6fd4330b69c4afbac0447d581e179da7b67e537ed0d9a112a87e7eeaa23","target":"graph","created_at":"2026-05-18T02:55:04Z","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":"This paper presents an approach to externally influencing a team of robots by means of time-varying density functions. These density functions represent rough references for where the robots should be located. To this end, a continuous-time algorithm is proposed that moves the robots so as to provide optimal coverage given the density functions as they evolve over time. The developed algorithm represents an extension to previous coverage algorithms in that time-varying densities are explicitly taken into account in a provable manner. A distributed approximation to this algorithm is moreover pr","authors_text":"Magnus Egerstedt, Sung G. Lee","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-01T18:45:10Z","title":"Multi-Robot Control Using Time-Varying Density Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.0338","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:82f3e1bedfa428edd9b846b03c305f6bb77a18d7ff7dec88ebf9d15e3eddbf9c","target":"record","created_at":"2026-05-18T02:55:04Z","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":"7a0336859396fed646ef741e983b1b71dd71e0b9e1f9f70616080870cb79966a","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-04-01T18:45:10Z","title_canon_sha256":"3617823797f2086f3b2fb8d73769c3147cb7a606385d35b8519e25163893187d"},"schema_version":"1.0","source":{"id":"1404.0338","kind":"arxiv","version":1}},"canonical_sha256":"974437218682ee710804853e01cc4490000ce964f53036dd8b8cbcf50b3ddb3f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"974437218682ee710804853e01cc4490000ce964f53036dd8b8cbcf50b3ddb3f","first_computed_at":"2026-05-18T02:55:04.610924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:04.610924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ulKovO9kvGkvq61ZdfJS3YafQ0p3VlAAoN5AX16W5T2Ly/dF+9PGhiuf2kBAe6DzVE7oISXso4ghtbsnE0sNAg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:04.611359Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.0338","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:82f3e1bedfa428edd9b846b03c305f6bb77a18d7ff7dec88ebf9d15e3eddbf9c","sha256:79aca6fd4330b69c4afbac0447d581e179da7b67e537ed0d9a112a87e7eeaa23"],"state_sha256":"b7ee9d642b4840301ade5ecd6359e05967b318b3072f1cb172770cdeb0db14ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tAiKmCt9pJUYVjlOFkqLir8MjLlNjSEfvGoGhRc+tFiHINt+JCdxOHgB5eN5khDziJUdK3AjBilMmec22fEWCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T01:24:27.342270Z","bundle_sha256":"35be5c8bd5176b6c2690905634667cfd6ee3b5bdccad422cae31d8177cdc9e9d"}}