{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QFTD6HGNA4ITK24IVIE7LK6R2T","short_pith_number":"pith:QFTD6HGN","canonical_record":{"source":{"id":"2607.07136","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-08T08:31:19Z","cross_cats_sorted":[],"title_canon_sha256":"6f496a699b8b6d5b186339d2738151d5ada70695e8d8c91ad788bc3644438e28","abstract_canon_sha256":"1ed517835e32a5403f41d5964bf676738b672b0b3675e1efc72f97ab05a7e5ad"},"schema_version":"1.0"},"canonical_sha256":"81663f1ccd0711356b88aa09f5abd1d4d442929f137c7269c972adc78f42218f","source":{"kind":"arxiv","id":"2607.07136","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.07136","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.07136v1","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.07136","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_12","alias_value":"QFTD6HGNA4IT","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_16","alias_value":"QFTD6HGNA4ITK24I","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_8","alias_value":"QFTD6HGN","created_at":"2026-07-09T01:20:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QFTD6HGNA4ITK24IVIE7LK6R2T","target":"record","payload":{"canonical_record":{"source":{"id":"2607.07136","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-08T08:31:19Z","cross_cats_sorted":[],"title_canon_sha256":"6f496a699b8b6d5b186339d2738151d5ada70695e8d8c91ad788bc3644438e28","abstract_canon_sha256":"1ed517835e32a5403f41d5964bf676738b672b0b3675e1efc72f97ab05a7e5ad"},"schema_version":"1.0"},"canonical_sha256":"81663f1ccd0711356b88aa09f5abd1d4d442929f137c7269c972adc78f42218f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-09T01:20:15.513330Z","signature_b64":"dw4qlpLadgO6s+H3IQ3Ai+rajRVWkHWck37vLrX91nZEDj7NJl9OUkww5Brb4rzRxZ6WaEPoxX2+shKrRK76Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81663f1ccd0711356b88aa09f5abd1d4d442929f137c7269c972adc78f42218f","last_reissued_at":"2026-07-09T01:20:15.512943Z","signature_status":"signed_v1","first_computed_at":"2026-07-09T01:20:15.512943Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.07136","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-09T01:20:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d8y3mqC46HfDQ4OSqLLdKcsDlly6HeAlVpCp2C3NSBO4Ar7jfYEI6QmFliZaPCYUjHOQNs9+83HIYxI7cz7SAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:42:19.896885Z"},"content_sha256":"3b7cc487c78d3cf2f877c1a7bf7129364ff25585a0870e166e33607dc901f08e","schema_version":"1.0","event_id":"sha256:3b7cc487c78d3cf2f877c1a7bf7129364ff25585a0870e166e33607dc901f08e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QFTD6HGNA4ITK24IVIE7LK6R2T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ahan Basu, Pushpak Jagtap, Ratnangshu Das, Siyuan Liu, Soumyodipta Nath","submitted_at":"2026-07-08T08:31:19Z","abstract_excerpt":"This paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear Euler-Lagrange (EL) systems subject to input constraints, with the objective of satisfying Signal Temporal Logic (STL) specifications, where confinement of the system trajectory within the STT guarantees the satisfaction of the corresponding STL task. For both single and multi-agent scenarios, the STT corresponding to each agent is modeled as a time-varying ball, whose center and radius are jointly parameterized using a physics-informed neural network (PINN). The robustness metric associated w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.07136","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/2607.07136/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-09T01:20:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ih8jTVyCZw1LCcFgQjEQOyjvtn4GKRACnQ5XVLuz4TivAF2PgK/cHtfCLy+DKbn3nI31XLeLuYPHYGa9wGEABw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T12:42:19.897608Z"},"content_sha256":"056f89f30da4017cf22db0d16d0216a0440bb96831e259e68bfd6ff364fc5124","schema_version":"1.0","event_id":"sha256:056f89f30da4017cf22db0d16d0216a0440bb96831e259e68bfd6ff364fc5124"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/bundle.json","state_url":"https://pith.science/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/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-08-04T12:42:19Z","links":{"resolver":"https://pith.science/pith/QFTD6HGNA4ITK24IVIE7LK6R2T","bundle":"https://pith.science/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/bundle.json","state":"https://pith.science/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QFTD6HGNA4ITK24IVIE7LK6R2T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QFTD6HGNA4ITK24IVIE7LK6R2T","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":"1ed517835e32a5403f41d5964bf676738b672b0b3675e1efc72f97ab05a7e5ad","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-08T08:31:19Z","title_canon_sha256":"6f496a699b8b6d5b186339d2738151d5ada70695e8d8c91ad788bc3644438e28"},"schema_version":"1.0","source":{"id":"2607.07136","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.07136","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.07136v1","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.07136","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_12","alias_value":"QFTD6HGNA4IT","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_16","alias_value":"QFTD6HGNA4ITK24I","created_at":"2026-07-09T01:20:15Z"},{"alias_kind":"pith_short_8","alias_value":"QFTD6HGN","created_at":"2026-07-09T01:20:15Z"}],"graph_snapshots":[{"event_id":"sha256:056f89f30da4017cf22db0d16d0216a0440bb96831e259e68bfd6ff364fc5124","target":"graph","created_at":"2026-07-09T01:20:15Z","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/2607.07136/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a Spatiotemporal Tube (STT)-based control framework for general unknown nonlinear Euler-Lagrange (EL) systems subject to input constraints, with the objective of satisfying Signal Temporal Logic (STL) specifications, where confinement of the system trajectory within the STT guarantees the satisfaction of the corresponding STL task. For both single and multi-agent scenarios, the STT corresponding to each agent is modeled as a time-varying ball, whose center and radius are jointly parameterized using a physics-informed neural network (PINN). The robustness metric associated w","authors_text":"Ahan Basu, Pushpak Jagtap, Ratnangshu Das, Siyuan Liu, Soumyodipta Nath","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-08T08:31:19Z","title":"Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.07136","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:3b7cc487c78d3cf2f877c1a7bf7129364ff25585a0870e166e33607dc901f08e","target":"record","created_at":"2026-07-09T01:20:15Z","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":"1ed517835e32a5403f41d5964bf676738b672b0b3675e1efc72f97ab05a7e5ad","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.RO","submitted_at":"2026-07-08T08:31:19Z","title_canon_sha256":"6f496a699b8b6d5b186339d2738151d5ada70695e8d8c91ad788bc3644438e28"},"schema_version":"1.0","source":{"id":"2607.07136","kind":"arxiv","version":1}},"canonical_sha256":"81663f1ccd0711356b88aa09f5abd1d4d442929f137c7269c972adc78f42218f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81663f1ccd0711356b88aa09f5abd1d4d442929f137c7269c972adc78f42218f","first_computed_at":"2026-07-09T01:20:15.512943Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-09T01:20:15.512943Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dw4qlpLadgO6s+H3IQ3Ai+rajRVWkHWck37vLrX91nZEDj7NJl9OUkww5Brb4rzRxZ6WaEPoxX2+shKrRK76Cw==","signature_status":"signed_v1","signed_at":"2026-07-09T01:20:15.513330Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.07136","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b7cc487c78d3cf2f877c1a7bf7129364ff25585a0870e166e33607dc901f08e","sha256:056f89f30da4017cf22db0d16d0216a0440bb96831e259e68bfd6ff364fc5124"],"state_sha256":"b7d77f3f77093df0ca611c0222fe638374ba702062042dab27d99e2614e1ec43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fYvd/XcQq471bOzUk7p3F4cm/w0AnzpjrQcQef0GsIdNBXzI0IheEHNkmK0n4g/xNMdjsbBlBWnrbRPV7BmDAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T12:42:19.902110Z","bundle_sha256":"0384e62b0d8a252391e672d39dab1d41ed3472dc67a70a5a992f0b5979c14167"}}