{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:U4CA6ZUNENVHYK76Y7AHKOUFBM","short_pith_number":"pith:U4CA6ZUN","schema_version":"1.0","canonical_sha256":"a7040f668d236a7c2bfec7c0753a850b08a53ad37976c62285c140222e7031a7","source":{"kind":"arxiv","id":"2607.08189","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.08189","created_at":"2026-07-10T01:19:29.228856+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.08189v1","created_at":"2026-07-10T01:19:29.228856+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08189","created_at":"2026-07-10T01:19:29.228856+00:00"},{"alias_kind":"pith_short_12","alias_value":"U4CA6ZUNENVH","created_at":"2026-07-10T01:19:29.228856+00:00"},{"alias_kind":"pith_short_16","alias_value":"U4CA6ZUNENVHYK76","created_at":"2026-07-10T01:19:29.228856+00:00"},{"alias_kind":"pith_short_8","alias_value":"U4CA6ZUN","created_at":"2026-07-10T01:19:29.228856+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM","json":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM.json","graph_json":"https://pith.science/api/pith-number/U4CA6ZUNENVHYK76Y7AHKOUFBM/graph.json","events_json":"https://pith.science/api/pith-number/U4CA6ZUNENVHYK76Y7AHKOUFBM/events.json","paper":"https://pith.science/paper/U4CA6ZUN"},"agent_actions":{"view_html":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM","download_json":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM.json","view_paper":"https://pith.science/paper/U4CA6ZUN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.08189&json=true","fetch_graph":"https://pith.science/api/pith-number/U4CA6ZUNENVHYK76Y7AHKOUFBM/graph.json","fetch_events":"https://pith.science/api/pith-number/U4CA6ZUNENVHYK76Y7AHKOUFBM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/action/storage_attestation","attest_author":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/action/author_attestation","sign_citation":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/action/citation_signature","submit_replication":"https://pith.science/pith/U4CA6ZUNENVHYK76Y7AHKOUFBM/action/replication_record"}},"created_at":"2026-07-10T01:19:29.228856+00:00","updated_at":"2026-07-10T01:19:29.228856+00:00"}