{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:LH7CHV2E2KO77CAIHUGXXP7F7L","short_pith_number":"pith:LH7CHV2E","canonical_record":{"source":{"id":"2605.21708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-20T20:12:04Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"51846a97c4d282167d2e8cb774413c5099f9d456fcdea8754cd087dbd49f9e53","abstract_canon_sha256":"adba85b0a95e4ff89b1b17f04dccf05f80aaf13f086f889b164004c5096f6d6d"},"schema_version":"1.0"},"canonical_sha256":"59fe23d744d29dff88083d0d7bbfe5fadf503084c7aba6e95d62c5ff7f1d74bd","source":{"kind":"arxiv","id":"2605.21708","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21708","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21708v1","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21708","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_12","alias_value":"LH7CHV2E2KO7","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_16","alias_value":"LH7CHV2E2KO77CAI","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_8","alias_value":"LH7CHV2E","created_at":"2026-05-22T01:03:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:LH7CHV2E2KO77CAIHUGXXP7F7L","target":"record","payload":{"canonical_record":{"source":{"id":"2605.21708","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-20T20:12:04Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"51846a97c4d282167d2e8cb774413c5099f9d456fcdea8754cd087dbd49f9e53","abstract_canon_sha256":"adba85b0a95e4ff89b1b17f04dccf05f80aaf13f086f889b164004c5096f6d6d"},"schema_version":"1.0"},"canonical_sha256":"59fe23d744d29dff88083d0d7bbfe5fadf503084c7aba6e95d62c5ff7f1d74bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-22T01:03:28.843451Z","signature_b64":"9i1FqujWCoKxltgfLawN3FIrc2E6vewVscu1Ve5bi4atv5tnxaltkUsueo9zTulVBm0nO3aZGXN5yTRnrjbjAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"59fe23d744d29dff88083d0d7bbfe5fadf503084c7aba6e95d62c5ff7f1d74bd","last_reissued_at":"2026-05-22T01:03:28.843003Z","signature_status":"signed_v1","first_computed_at":"2026-05-22T01:03:28.843003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.21708","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-05-22T01:03:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7JNNaZ+7ykpK7mcHBTrFvtik5+h79ehWZd1PPiT1sMMm1iqyWO4D8/i+EKUbJvBdAy1fKZDJqtncG2bRZY4FBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:15:32.440201Z"},"content_sha256":"7edc48a20f3bb907aab6425dfdb29891f3b12e523855d98c3528d516885f3f52","schema_version":"1.0","event_id":"sha256:7edc48a20f3bb907aab6425dfdb29891f3b12e523855d98c3528d516885f3f52"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:LH7CHV2E2KO77CAIHUGXXP7F7L","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Jiaqi Yan, Wei Wang, Yuzhang Peng","submitted_at":"2026-05-20T20:12:04Z","abstract_excerpt":"This paper investigates the control synthesis for continuous-time uncertain systems under nested Signal Temporal Logic (STL) specifications containing nested temporal operators. Control Barrier Functions (CBFs) are utilized herein to encode STL formulas into system constraints. However, traditional CBF designs fail to encode nested STL formulas, whereas recent reachability analysis-based methods capable of handling such formulas are inapplicable to uncertain systems and suffer from a severe computational burden. To overcome these challenges, a novel recursive CBF design procedure based on a mo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21708","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/2605.21708/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-05-22T01:03:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cRa7GFmsUYM+ZU9zG+mSojL51buDFHA7aaMHnjU6MBZ577r+CD2YtQ1HVi6+Pr0HwLa8eRIahE6Sa3WduZXtAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:15:32.440628Z"},"content_sha256":"9a671e1146a1ddd19ba854ca750cbdd528ad6b64845a3c09def5d6b7d125dd6f","schema_version":"1.0","event_id":"sha256:9a671e1146a1ddd19ba854ca750cbdd528ad6b64845a3c09def5d6b7d125dd6f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/bundle.json","state_url":"https://pith.science/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/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-05-30T11:15:32Z","links":{"resolver":"https://pith.science/pith/LH7CHV2E2KO77CAIHUGXXP7F7L","bundle":"https://pith.science/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/bundle.json","state":"https://pith.science/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LH7CHV2E2KO77CAIHUGXXP7F7L/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LH7CHV2E2KO77CAIHUGXXP7F7L","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":"adba85b0a95e4ff89b1b17f04dccf05f80aaf13f086f889b164004c5096f6d6d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-20T20:12:04Z","title_canon_sha256":"51846a97c4d282167d2e8cb774413c5099f9d456fcdea8754cd087dbd49f9e53"},"schema_version":"1.0","source":{"id":"2605.21708","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.21708","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"arxiv_version","alias_value":"2605.21708v1","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.21708","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_12","alias_value":"LH7CHV2E2KO7","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_16","alias_value":"LH7CHV2E2KO77CAI","created_at":"2026-05-22T01:03:28Z"},{"alias_kind":"pith_short_8","alias_value":"LH7CHV2E","created_at":"2026-05-22T01:03:28Z"}],"graph_snapshots":[{"event_id":"sha256:9a671e1146a1ddd19ba854ca750cbdd528ad6b64845a3c09def5d6b7d125dd6f","target":"graph","created_at":"2026-05-22T01:03:28Z","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/2605.21708/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper investigates the control synthesis for continuous-time uncertain systems under nested Signal Temporal Logic (STL) specifications containing nested temporal operators. Control Barrier Functions (CBFs) are utilized herein to encode STL formulas into system constraints. However, traditional CBF designs fail to encode nested STL formulas, whereas recent reachability analysis-based methods capable of handling such formulas are inapplicable to uncertain systems and suffer from a severe computational burden. To overcome these challenges, a novel recursive CBF design procedure based on a mo","authors_text":"Jiaqi Yan, Wei Wang, Yuzhang Peng","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-20T20:12:04Z","title":"Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.21708","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:7edc48a20f3bb907aab6425dfdb29891f3b12e523855d98c3528d516885f3f52","target":"record","created_at":"2026-05-22T01:03:28Z","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":"adba85b0a95e4ff89b1b17f04dccf05f80aaf13f086f889b164004c5096f6d6d","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-05-20T20:12:04Z","title_canon_sha256":"51846a97c4d282167d2e8cb774413c5099f9d456fcdea8754cd087dbd49f9e53"},"schema_version":"1.0","source":{"id":"2605.21708","kind":"arxiv","version":1}},"canonical_sha256":"59fe23d744d29dff88083d0d7bbfe5fadf503084c7aba6e95d62c5ff7f1d74bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"59fe23d744d29dff88083d0d7bbfe5fadf503084c7aba6e95d62c5ff7f1d74bd","first_computed_at":"2026-05-22T01:03:28.843003Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:03:28.843003Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9i1FqujWCoKxltgfLawN3FIrc2E6vewVscu1Ve5bi4atv5tnxaltkUsueo9zTulVBm0nO3aZGXN5yTRnrjbjAg==","signature_status":"signed_v1","signed_at":"2026-05-22T01:03:28.843451Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.21708","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7edc48a20f3bb907aab6425dfdb29891f3b12e523855d98c3528d516885f3f52","sha256:9a671e1146a1ddd19ba854ca750cbdd528ad6b64845a3c09def5d6b7d125dd6f"],"state_sha256":"5d3085bbf605a6cf4cd500a01aec62bfd133765818d4e998a8c02557be56bc6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CasoP3wkIIgQU38sNS3iA2gXsvqRao7ERqXut9B4AA4uRDyXRNZ2jeM1wUlVrcXBd9hL1nZbJZxJcbvKXHu0CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:15:32.443084Z","bundle_sha256":"5b48d74bf59d511c8a92b9ab9ae1327d4f8b571b990a9c242914451ff90884fe"}}