{"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"}