{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:EQRFCJTHIM4A2F3DG5URSNY6HT","short_pith_number":"pith:EQRFCJTH","canonical_record":{"source":{"id":"1905.06843","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-05-16T15:30:09Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"24ad2b0856a86b8b9a3cd14ce5c60519ea89baeff6fd7c5f8b9afb54127cf1e1","abstract_canon_sha256":"30543b5633f353747e6af81ed7a664639af032295c301d2fb1bc5ea56193e545"},"schema_version":"1.0"},"canonical_sha256":"242251266743380d1763376919371e3cdf037bef886da05a2b89832430e30dde","source":{"kind":"arxiv","id":"1905.06843","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06843","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06843v2","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06843","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_12","alias_value":"EQRFCJTHIM4A","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_16","alias_value":"EQRFCJTHIM4A2F3D","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_8","alias_value":"EQRFCJTH","created_at":"2026-06-04T20:14:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:EQRFCJTHIM4A2F3DG5URSNY6HT","target":"record","payload":{"canonical_record":{"source":{"id":"1905.06843","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-05-16T15:30:09Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"24ad2b0856a86b8b9a3cd14ce5c60519ea89baeff6fd7c5f8b9afb54127cf1e1","abstract_canon_sha256":"30543b5633f353747e6af81ed7a664639af032295c301d2fb1bc5ea56193e545"},"schema_version":"1.0"},"canonical_sha256":"242251266743380d1763376919371e3cdf037bef886da05a2b89832430e30dde","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-04T20:14:31.294587Z","signature_b64":"kYhyDzHXv7wUVhGkfA2nYvSJJ9ONKHLmHnZpZnL7k0Ul9pVYXolK6hfqXgjT/SGnO8itDjfDhn5Nsl3NJhKHDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"242251266743380d1763376919371e3cdf037bef886da05a2b89832430e30dde","last_reissued_at":"2026-06-04T20:14:31.294090Z","signature_status":"signed_v1","first_computed_at":"2026-06-04T20:14:31.294090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.06843","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-06-04T20:14:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nFOoL0BXRQze0+DFYr5JPRDadmilRQd/rdfH68bW495qlWNwLLYruFAtMJerA17lLjgesfskUMw5kzKsN7o8DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:26:27.689907Z"},"content_sha256":"5cd49e1b63babc9476836064dcb362a099e7f1750b6562504420c7df53929552","schema_version":"1.0","event_id":"sha256:5cd49e1b63babc9476836064dcb362a099e7f1750b6562504420c7df53929552"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:EQRFCJTHIM4A2F3DG5URSNY6HT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alexandros Nikou, Dimos V. Dimarogonas, Shahab Heshmati-Alamdari","submitted_at":"2019-05-16T15:30:09Z","abstract_excerpt":"This paper deals with the design and experimental validation of a state-of-the art tube-based Model Predictive Control (MPC) for achieving time-constrained tasks. Given the uncertain nonlinear dynamics of the robot as well as a high-level task written in Metric Interval Temporal Logic (MITL), the goal is to design a feedback control law that guarantees the satisfaction of the task. The workspace is divided into Regions of Interest (RoI) and contains also unsafe regions (obstacles) that the robot should not visit. The feedback control law consists of two terms: a control input which is the outc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06843","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1905.06843/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-06-04T20:14:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OfCZKAEjOZz2vjQP98SjRIALVVBGQFtNtkzx6JoZxlRorW0JCloZCdAJ3mWdfXwOOxVnu1BbRZeFQQcKLMdrDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:26:27.690279Z"},"content_sha256":"e5a2c4c4f4abba7757d9d903acdd83e6b04be002b6047ecb9ccc0fd7624a9c77","schema_version":"1.0","event_id":"sha256:e5a2c4c4f4abba7757d9d903acdd83e6b04be002b6047ecb9ccc0fd7624a9c77"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/bundle.json","state_url":"https://pith.science/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/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-07-06T16:26:27Z","links":{"resolver":"https://pith.science/pith/EQRFCJTHIM4A2F3DG5URSNY6HT","bundle":"https://pith.science/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/bundle.json","state":"https://pith.science/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EQRFCJTHIM4A2F3DG5URSNY6HT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:EQRFCJTHIM4A2F3DG5URSNY6HT","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":"30543b5633f353747e6af81ed7a664639af032295c301d2fb1bc5ea56193e545","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-05-16T15:30:09Z","title_canon_sha256":"24ad2b0856a86b8b9a3cd14ce5c60519ea89baeff6fd7c5f8b9afb54127cf1e1"},"schema_version":"1.0","source":{"id":"1905.06843","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06843","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06843v2","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06843","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_12","alias_value":"EQRFCJTHIM4A","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_16","alias_value":"EQRFCJTHIM4A2F3D","created_at":"2026-06-04T20:14:31Z"},{"alias_kind":"pith_short_8","alias_value":"EQRFCJTH","created_at":"2026-06-04T20:14:31Z"}],"graph_snapshots":[{"event_id":"sha256:e5a2c4c4f4abba7757d9d903acdd83e6b04be002b6047ecb9ccc0fd7624a9c77","target":"graph","created_at":"2026-06-04T20:14:31Z","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/1905.06843/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper deals with the design and experimental validation of a state-of-the art tube-based Model Predictive Control (MPC) for achieving time-constrained tasks. Given the uncertain nonlinear dynamics of the robot as well as a high-level task written in Metric Interval Temporal Logic (MITL), the goal is to design a feedback control law that guarantees the satisfaction of the task. The workspace is divided into Regions of Interest (RoI) and contains also unsafe regions (obstacles) that the robot should not visit. The feedback control law consists of two terms: a control input which is the outc","authors_text":"Alexandros Nikou, Dimos V. Dimarogonas, Shahab Heshmati-Alamdari","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-05-16T15:30:09Z","title":"Design and Experimental Validation of Tube-based MPC for Timed-constrained Robot Planning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06843","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:5cd49e1b63babc9476836064dcb362a099e7f1750b6562504420c7df53929552","target":"record","created_at":"2026-06-04T20:14:31Z","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":"30543b5633f353747e6af81ed7a664639af032295c301d2fb1bc5ea56193e545","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-05-16T15:30:09Z","title_canon_sha256":"24ad2b0856a86b8b9a3cd14ce5c60519ea89baeff6fd7c5f8b9afb54127cf1e1"},"schema_version":"1.0","source":{"id":"1905.06843","kind":"arxiv","version":2}},"canonical_sha256":"242251266743380d1763376919371e3cdf037bef886da05a2b89832430e30dde","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"242251266743380d1763376919371e3cdf037bef886da05a2b89832430e30dde","first_computed_at":"2026-06-04T20:14:31.294090Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T20:14:31.294090Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kYhyDzHXv7wUVhGkfA2nYvSJJ9ONKHLmHnZpZnL7k0Ul9pVYXolK6hfqXgjT/SGnO8itDjfDhn5Nsl3NJhKHDw==","signature_status":"signed_v1","signed_at":"2026-06-04T20:14:31.294587Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.06843","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5cd49e1b63babc9476836064dcb362a099e7f1750b6562504420c7df53929552","sha256:e5a2c4c4f4abba7757d9d903acdd83e6b04be002b6047ecb9ccc0fd7624a9c77"],"state_sha256":"6920a08a08fb95aacccd883dea3cad3c8f11f2022492d4b3fa6b470dbef5be2a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eV2esZWhGcaDdMbAEFRRGD4yoyht58Ns/OmVl/4DhDzjEKHlxxV1Fvyx0x67G8dHYPK133TUxHrZJAxHS+6oDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T16:26:27.692407Z","bundle_sha256":"141d834bbb6910291d5fc29fc1e277ab9f7b3f6fd1eae4d33754e5cbe6ebeba4"}}