{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:U4CA6ZUNENVHYK76Y7AHKOUFBM","short_pith_number":"pith:U4CA6ZUN","canonical_record":{"source":{"id":"2607.08189","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T07:39:39Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"d81b6a33fe54e40d01909aac4d28d90eb9dae1f7aabc95a0c8be06113f859b48","abstract_canon_sha256":"55ea4430fd9e9a883d3ddd70f0eef39f1c1e531a615979a773167baa3818212f"},"schema_version":"1.0"},"canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","source":{"kind":"arxiv","id":"2607.08189","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08189","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08189v1","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08189","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"U4CA6ZUNENVH","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"U4CA6ZUNENVHYK76","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"U4CA6ZUN","created_at":"2026-07-10T01:19:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:U4CA6ZUNENVHYK76Y7AHKOUFBM","target":"record","payload":{"canonical_record":{"source":{"id":"2607.08189","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T07:39:39Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"d81b6a33fe54e40d01909aac4d28d90eb9dae1f7aabc95a0c8be06113f859b48","abstract_canon_sha256":"55ea4430fd9e9a883d3ddd70f0eef39f1c1e531a615979a773167baa3818212f"},"schema_version":"1.0"},"canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T01:19:29.229321Z","signature_b64":"mS84Oek1MCj0QgRXqdu0ufMpr2nwbazvqc5TVHv3CsrfmrRpVrPnemj1TERVL898Jw9uj5gT/pYkKMjqda/BCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","last_reissued_at":"2026-07-10T01:19:29.228792Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T01:19:29.228792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.08189","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-10T01:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wE0FR46zxsn87T8EhK7yWB3h6gmUi2TcfQu1OcOpGaQKPkQLz+waRkQbTs+J2J8hqPdPylc+TQD6Nc5TNIfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:21:44.495862Z"},"content_sha256":"5a2048559511952a1de6bcbdfafbab09162f64b4dbd21945724d544c8b028096","schema_version":"1.0","event_id":"sha256:5a2048559511952a1de6bcbdfafbab09162f64b4dbd21945724d544c8b028096"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:U4CA6ZUNENVHYK76Y7AHKOUFBM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Input-Constrained Spatiotemporal Tubes for Safe Navigation of Unknown Euler-Lagrange Systems in Dynamic Environments","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Pushpak Jagtap, Ratnangshu Das, Siddhartha Upadhyay","submitted_at":"2026-07-09T07:39:39Z","abstract_excerpt":"Safe navigation in dynamic environments is challenging when system dynamics are unknown and actuator inputs are limited. Existing methods either rely on accurate models, require online optimization, or do not explicitly account for input constraints. This paper presents a real-time control framework for unknown Euler-Lagrange systems that guarantees finite-time reach-avoid-stay (FT-RAS) specifications while respecting actuator limits. We extend the spatiotemporal tube (STT) framework by incorporating input constraints into the controller design and derive offline-verifiable feasibility conditi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08189","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.08189/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-10T01:19:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/JXf7etioKaa1OyoqYfT43J88saRXiewRjuhZs7tF8qQGq8UDtYZvAhE1krIZfsTi2vGEfTdAE/StfGI/aECBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T16:21:44.496811Z"},"content_sha256":"4afdc7b5cc9d1669e30ef0d091423a07d3e1a55a38085d4beed7c5e8d540a5bf","schema_version":"1.0","event_id":"sha256:4afdc7b5cc9d1669e30ef0d091423a07d3e1a55a38085d4beed7c5e8d540a5bf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/bundle.json","state_url":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/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-04T16:21:44Z","links":{"resolver":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM","bundle":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/bundle.json","state":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:U4CA6ZUNENVHYK76Y7AHKOUFBM","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":"55ea4430fd9e9a883d3ddd70f0eef39f1c1e531a615979a773167baa3818212f","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T07:39:39Z","title_canon_sha256":"d81b6a33fe54e40d01909aac4d28d90eb9dae1f7aabc95a0c8be06113f859b48"},"schema_version":"1.0","source":{"id":"2607.08189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.08189","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"arxiv_version","alias_value":"2607.08189v1","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08189","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_12","alias_value":"U4CA6ZUNENVH","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_16","alias_value":"U4CA6ZUNENVHYK76","created_at":"2026-07-10T01:19:29Z"},{"alias_kind":"pith_short_8","alias_value":"U4CA6ZUN","created_at":"2026-07-10T01:19:29Z"}],"graph_snapshots":[{"event_id":"sha256:4afdc7b5cc9d1669e30ef0d091423a07d3e1a55a38085d4beed7c5e8d540a5bf","target":"graph","created_at":"2026-07-10T01:19:29Z","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.08189/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Safe navigation in dynamic environments is challenging when system dynamics are unknown and actuator inputs are limited. Existing methods either rely on accurate models, require online optimization, or do not explicitly account for input constraints. This paper presents a real-time control framework for unknown Euler-Lagrange systems that guarantees finite-time reach-avoid-stay (FT-RAS) specifications while respecting actuator limits. We extend the spatiotemporal tube (STT) framework by incorporating input constraints into the controller design and derive offline-verifiable feasibility conditi","authors_text":"Pushpak Jagtap, Ratnangshu Das, Siddhartha Upadhyay","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T07:39:39Z","title":"Input-Constrained Spatiotemporal Tubes for Safe Navigation of Unknown Euler-Lagrange Systems in Dynamic Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08189","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:5a2048559511952a1de6bcbdfafbab09162f64b4dbd21945724d544c8b028096","target":"record","created_at":"2026-07-10T01:19:29Z","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":"55ea4430fd9e9a883d3ddd70f0eef39f1c1e531a615979a773167baa3818212f","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2026-07-09T07:39:39Z","title_canon_sha256":"d81b6a33fe54e40d01909aac4d28d90eb9dae1f7aabc95a0c8be06113f859b48"},"schema_version":"1.0","source":{"id":"2607.08189","kind":"arxiv","version":1}},"canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","first_computed_at":"2026-07-10T01:19:29.228792Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-10T01:19:29.228792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mS84Oek1MCj0QgRXqdu0ufMpr2nwbazvqc5TVHv3CsrfmrRpVrPnemj1TERVL898Jw9uj5gT/pYkKMjqda/BCQ==","signature_status":"signed_v1","signed_at":"2026-07-10T01:19:29.229321Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.08189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5a2048559511952a1de6bcbdfafbab09162f64b4dbd21945724d544c8b028096","sha256:4afdc7b5cc9d1669e30ef0d091423a07d3e1a55a38085d4beed7c5e8d540a5bf"],"state_sha256":"061b273081235e81328d3829b13a72be1e5a4641a27d8663343a8128997bdfd9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lcj5JcGvhMTGSEE1vzOLKRGbCAw53Ybah5ctPH6/HMyezoDysGoUZ+u8dDlTfXVLIKzD93N//tNsBwqZOOJzBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T16:21:44.504638Z","bundle_sha256":"e1988c33c5d119ed2c828f6295ebfcc0691d0f3112272a9edfe2dbc9d5696a00"}}