{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:PVBARMISD3H5YEMHTP4QWODGQU","short_pith_number":"pith:PVBARMIS","canonical_record":{"source":{"id":"1804.10865","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-29T03:53:24Z","cross_cats_sorted":[],"title_canon_sha256":"2fd0c0ae798669ed59b6ccfcf2875ca42d7e17c5f7bf1b636bdb79445d2c830a","abstract_canon_sha256":"f716b35f6ff0ce811d0288deaaaa7a11926204c664d1f6c70fad9c3fbb5def5f"},"schema_version":"1.0"},"canonical_sha256":"7d4208b1121ecfdc11879bf90b386685072f472f1e0dfaa937a8388973efc0ee","source":{"kind":"arxiv","id":"1804.10865","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10865","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10865v2","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10865","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"pith_short_12","alias_value":"PVBARMISD3H5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PVBARMISD3H5YEMH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PVBARMIS","created_at":"2026-05-18T12:32:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:PVBARMISD3H5YEMHTP4QWODGQU","target":"record","payload":{"canonical_record":{"source":{"id":"1804.10865","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-29T03:53:24Z","cross_cats_sorted":[],"title_canon_sha256":"2fd0c0ae798669ed59b6ccfcf2875ca42d7e17c5f7bf1b636bdb79445d2c830a","abstract_canon_sha256":"f716b35f6ff0ce811d0288deaaaa7a11926204c664d1f6c70fad9c3fbb5def5f"},"schema_version":"1.0"},"canonical_sha256":"7d4208b1121ecfdc11879bf90b386685072f472f1e0dfaa937a8388973efc0ee","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:04.982826Z","signature_b64":"Dr9kRcg1ep59HUaVtM46N+QZVAdJlWRTxw0zVz7tYDYD4eDoOVE6wFCPM30fexq6WDbcHtBx5Rl+aVMgvawGAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d4208b1121ecfdc11879bf90b386685072f472f1e0dfaa937a8388973efc0ee","last_reissued_at":"2026-05-18T00:05:04.982224Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:04.982224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.10865","source_version":2,"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-18T00:05:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZgyXW2sVwxAihENx7zhpTKglfwwnNGMSZeEe+1C//nEynBaBtHBV5bHQBkMSyMcKy98dyy6cDj5twqW3jot2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:15:35.413725Z"},"content_sha256":"ea66de22b21b7ea0b2c9e97ff302be5e941f9faebc34e9c71754a85068531232","schema_version":"1.0","event_id":"sha256:ea66de22b21b7ea0b2c9e97ff302be5e941f9faebc34e9c71754a85068531232"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:PVBARMISD3H5YEMHTP4QWODGQU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Benjamin Johnson, David J. Cappelleri, Michael M. Zavlanos, Sagar Chowdhury, Yiannis Kantaros","submitted_at":"2018-04-29T03:53:24Z","abstract_excerpt":"In this paper, we present a control framework that allows magnetic microrobot teams to accomplish complex micromanipulation tasks captured by global Linear Temporal Logic (LTL) formulas. To address this problem, we propose an optimal control synthesis method that constructs discrete plans for the robots that satisfy both the assigned tasks as well as proximity constraints between the robots due to the physics of the problem. Our proposed algorithm relies on an existing optimal control synthesis approach combined with a novel sampling-based technique to reduce the state-space of the product aut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10865","kind":"arxiv","version":2},"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-18T00:05:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5mpRAPpQQleWY4bcgPw3kCq5UuDN0nZApTcbnqY2gD6L+tONa3ZMqiCY70YeOm2zo1xjOFsBj6cAiL38b6lvDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T21:15:35.414068Z"},"content_sha256":"6635daa5640cb3eb8ec1b03eb1716fe00e2507f36ebfc88cf6717ddb6e3250cd","schema_version":"1.0","event_id":"sha256:6635daa5640cb3eb8ec1b03eb1716fe00e2507f36ebfc88cf6717ddb6e3250cd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PVBARMISD3H5YEMHTP4QWODGQU/bundle.json","state_url":"https://pith.science/pith/PVBARMISD3H5YEMHTP4QWODGQU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PVBARMISD3H5YEMHTP4QWODGQU/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-03T21:15:35Z","links":{"resolver":"https://pith.science/pith/PVBARMISD3H5YEMHTP4QWODGQU","bundle":"https://pith.science/pith/PVBARMISD3H5YEMHTP4QWODGQU/bundle.json","state":"https://pith.science/pith/PVBARMISD3H5YEMHTP4QWODGQU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PVBARMISD3H5YEMHTP4QWODGQU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:PVBARMISD3H5YEMHTP4QWODGQU","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":"f716b35f6ff0ce811d0288deaaaa7a11926204c664d1f6c70fad9c3fbb5def5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-29T03:53:24Z","title_canon_sha256":"2fd0c0ae798669ed59b6ccfcf2875ca42d7e17c5f7bf1b636bdb79445d2c830a"},"schema_version":"1.0","source":{"id":"1804.10865","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10865","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10865v2","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10865","created_at":"2026-05-18T00:05:04Z"},{"alias_kind":"pith_short_12","alias_value":"PVBARMISD3H5","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_16","alias_value":"PVBARMISD3H5YEMH","created_at":"2026-05-18T12:32:46Z"},{"alias_kind":"pith_short_8","alias_value":"PVBARMIS","created_at":"2026-05-18T12:32:46Z"}],"graph_snapshots":[{"event_id":"sha256:6635daa5640cb3eb8ec1b03eb1716fe00e2507f36ebfc88cf6717ddb6e3250cd","target":"graph","created_at":"2026-05-18T00:05: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":"In this paper, we present a control framework that allows magnetic microrobot teams to accomplish complex micromanipulation tasks captured by global Linear Temporal Logic (LTL) formulas. To address this problem, we propose an optimal control synthesis method that constructs discrete plans for the robots that satisfy both the assigned tasks as well as proximity constraints between the robots due to the physics of the problem. Our proposed algorithm relies on an existing optimal control synthesis approach combined with a novel sampling-based technique to reduce the state-space of the product aut","authors_text":"Benjamin Johnson, David J. Cappelleri, Michael M. Zavlanos, Sagar Chowdhury, Yiannis Kantaros","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-29T03:53:24Z","title":"Control of Magnetic Microrobot Teams for Temporal Micromanipulation Tasks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10865","kind":"arxiv","version":2},"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:ea66de22b21b7ea0b2c9e97ff302be5e941f9faebc34e9c71754a85068531232","target":"record","created_at":"2026-05-18T00:05: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":"f716b35f6ff0ce811d0288deaaaa7a11926204c664d1f6c70fad9c3fbb5def5f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2018-04-29T03:53:24Z","title_canon_sha256":"2fd0c0ae798669ed59b6ccfcf2875ca42d7e17c5f7bf1b636bdb79445d2c830a"},"schema_version":"1.0","source":{"id":"1804.10865","kind":"arxiv","version":2}},"canonical_sha256":"7d4208b1121ecfdc11879bf90b386685072f472f1e0dfaa937a8388973efc0ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d4208b1121ecfdc11879bf90b386685072f472f1e0dfaa937a8388973efc0ee","first_computed_at":"2026-05-18T00:05:04.982224Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:04.982224Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Dr9kRcg1ep59HUaVtM46N+QZVAdJlWRTxw0zVz7tYDYD4eDoOVE6wFCPM30fexq6WDbcHtBx5Rl+aVMgvawGAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:04.982826Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.10865","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ea66de22b21b7ea0b2c9e97ff302be5e941f9faebc34e9c71754a85068531232","sha256:6635daa5640cb3eb8ec1b03eb1716fe00e2507f36ebfc88cf6717ddb6e3250cd"],"state_sha256":"3a408bb646d9c0ee9d1a9f5bf030b40dfe3654d0b2ed708eca59878038545e91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+pGvN1J4dNgvVwFD7YLzrWKP8fnIu6/WVsO0XgonrpQDuQ5URqwJApxwAwLO8+P4q30FOHNsA/dJvZ7VUf5BDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T21:15:35.416074Z","bundle_sha256":"30493f6cdb06e3b3f370a9d630cba0bec99935c9903556ee6283794bef4154f0"}}