{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FKRLM5OP2TGNEDZKNASQQESA34","short_pith_number":"pith:FKRLM5OP","canonical_record":{"source":{"id":"1709.06888","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T09:19:56Z","cross_cats_sorted":[],"title_canon_sha256":"be3d1aebb10a895507bad27a0b067776e4f826b482ac14b834194c382e6d0278","abstract_canon_sha256":"24f9e6d36899c467d1c481aef3e03b39e5c2655290ca91a1c2fea056b6237d4a"},"schema_version":"1.0"},"canonical_sha256":"2aa2b675cfd4ccd20f2a6825081240df2f5e7e1e9ead819f0af56eed421d0cfe","source":{"kind":"arxiv","id":"1709.06888","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06888","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06888v2","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06888","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"pith_short_12","alias_value":"FKRLM5OP2TGN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FKRLM5OP2TGNEDZK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FKRLM5OP","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FKRLM5OP2TGNEDZKNASQQESA34","target":"record","payload":{"canonical_record":{"source":{"id":"1709.06888","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T09:19:56Z","cross_cats_sorted":[],"title_canon_sha256":"be3d1aebb10a895507bad27a0b067776e4f826b482ac14b834194c382e6d0278","abstract_canon_sha256":"24f9e6d36899c467d1c481aef3e03b39e5c2655290ca91a1c2fea056b6237d4a"},"schema_version":"1.0"},"canonical_sha256":"2aa2b675cfd4ccd20f2a6825081240df2f5e7e1e9ead819f0af56eed421d0cfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:54.794022Z","signature_b64":"URYz36CpMra83l1+4mP7ShDULY+NrN4eVSmMCbt6oSLiu6UgB6GwxE+02N5b+eYOjaGxCS6XD2FFWWXsSAgFCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2aa2b675cfd4ccd20f2a6825081240df2f5e7e1e9ead819f0af56eed421d0cfe","last_reissued_at":"2026-05-18T00:32:54.793474Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:54.793474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.06888","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:32:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9B4KBhoIzQ4HgOxaoSaZtPwTniPq3AT/Zxs1Hl5Yezu3Si1K9aYxWnVMI8XXbasvmJg54QDUNfvLxmQDYIwyCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:35:32.540525Z"},"content_sha256":"98cb4e033bb92a9b99994c496526dd17d97372a8ed38045e002d450518b43874","schema_version":"1.0","event_id":"sha256:98cb4e033bb92a9b99994c496526dd17d97372a8ed38045e002d450518b43874"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FKRLM5OP2TGNEDZKNASQQESA34","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alexandros Nikou, Dimitris Boskos, Dimos V. Dimarogonas, Jana Tumova","submitted_at":"2017-09-19T09:19:56Z","abstract_excerpt":"This paper presents a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two terms: the first one models the coupling constraints and the other one is an additional bounded control input. We aim to design these inputs so that each agent meets an individual high-level specification given as a Metric Interval Temporal Logic (MITL). First, a decentralized abstraction that provides a space and time discretization of the multi-agent system is designed. Second, by utilizing this abstraction and tech"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06888","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:32:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3osROSuHMOIo6UIFIL5FHtUemlNX9odQMLNOE93Io53bVWCHYenHxUPYUnCJ1kqTG+0UAHcBdlWXMqijOOjAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T20:35:32.540862Z"},"content_sha256":"399f25566c2b36074e4c15ede5ba94d635e1404c45f5b2a434756286e99010f5","schema_version":"1.0","event_id":"sha256:399f25566c2b36074e4c15ede5ba94d635e1404c45f5b2a434756286e99010f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FKRLM5OP2TGNEDZKNASQQESA34/bundle.json","state_url":"https://pith.science/pith/FKRLM5OP2TGNEDZKNASQQESA34/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FKRLM5OP2TGNEDZKNASQQESA34/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-01T20:35:32Z","links":{"resolver":"https://pith.science/pith/FKRLM5OP2TGNEDZKNASQQESA34","bundle":"https://pith.science/pith/FKRLM5OP2TGNEDZKNASQQESA34/bundle.json","state":"https://pith.science/pith/FKRLM5OP2TGNEDZKNASQQESA34/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FKRLM5OP2TGNEDZKNASQQESA34/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FKRLM5OP2TGNEDZKNASQQESA34","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":"24f9e6d36899c467d1c481aef3e03b39e5c2655290ca91a1c2fea056b6237d4a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T09:19:56Z","title_canon_sha256":"be3d1aebb10a895507bad27a0b067776e4f826b482ac14b834194c382e6d0278"},"schema_version":"1.0","source":{"id":"1709.06888","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.06888","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"arxiv_version","alias_value":"1709.06888v2","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.06888","created_at":"2026-05-18T00:32:54Z"},{"alias_kind":"pith_short_12","alias_value":"FKRLM5OP2TGN","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FKRLM5OP2TGNEDZK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FKRLM5OP","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:399f25566c2b36074e4c15ede5ba94d635e1404c45f5b2a434756286e99010f5","target":"graph","created_at":"2026-05-18T00:32:54Z","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 a fully automated procedure for controller synthesis for multi-agent systems under coupling constraints. Each agent is modeled with dynamics consisting of two terms: the first one models the coupling constraints and the other one is an additional bounded control input. We aim to design these inputs so that each agent meets an individual high-level specification given as a Metric Interval Temporal Logic (MITL). First, a decentralized abstraction that provides a space and time discretization of the multi-agent system is designed. Second, by utilizing this abstraction and tech","authors_text":"Alexandros Nikou, Dimitris Boskos, Dimos V. Dimarogonas, Jana Tumova","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T09:19:56Z","title":"On the Timed Temporal Logic Planning of Coupled Multi-Agent Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.06888","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:98cb4e033bb92a9b99994c496526dd17d97372a8ed38045e002d450518b43874","target":"record","created_at":"2026-05-18T00:32:54Z","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":"24f9e6d36899c467d1c481aef3e03b39e5c2655290ca91a1c2fea056b6237d4a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-09-19T09:19:56Z","title_canon_sha256":"be3d1aebb10a895507bad27a0b067776e4f826b482ac14b834194c382e6d0278"},"schema_version":"1.0","source":{"id":"1709.06888","kind":"arxiv","version":2}},"canonical_sha256":"2aa2b675cfd4ccd20f2a6825081240df2f5e7e1e9ead819f0af56eed421d0cfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2aa2b675cfd4ccd20f2a6825081240df2f5e7e1e9ead819f0af56eed421d0cfe","first_computed_at":"2026-05-18T00:32:54.793474Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:54.793474Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"URYz36CpMra83l1+4mP7ShDULY+NrN4eVSmMCbt6oSLiu6UgB6GwxE+02N5b+eYOjaGxCS6XD2FFWWXsSAgFCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:54.794022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.06888","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98cb4e033bb92a9b99994c496526dd17d97372a8ed38045e002d450518b43874","sha256:399f25566c2b36074e4c15ede5ba94d635e1404c45f5b2a434756286e99010f5"],"state_sha256":"eb2b4cf2f4e3c899e9076104d872e64705fc75252d2aef6fa13be4f820c3b908"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7JItwdgxf+bf1XVg1al2oDhdZfMo0aeW9S74RSJb7BHSSt3dtmmPgLKldRGOmv0tNSVqpzOt9yyIXlLkNn7DDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T20:35:32.542651Z","bundle_sha256":"518a588a9e939d8b41d527eec53415fd4c3427104cc486eec7c2383bce48ca93"}}