{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IQB7XIV6KGCAVOACK2JEEEOTN5","short_pith_number":"pith:IQB7XIV6","canonical_record":{"source":{"id":"2606.12768","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-11T00:22:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b80f8d26d16526cb1e36f244e0a99c5a56d81059b679131e6e846473fbfdc073","abstract_canon_sha256":"693f698acbe0658db9d3fa3ea800869b2c10f3cee9a4bf02259f50a356101ac5"},"schema_version":"1.0"},"canonical_sha256":"4403fba2be51840ab80256924211d36f77575f6042e583f5a501543475d3ee8a","source":{"kind":"arxiv","id":"2606.12768","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12768","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12768v1","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12768","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_12","alias_value":"IQB7XIV6KGCA","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_16","alias_value":"IQB7XIV6KGCAVOAC","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_8","alias_value":"IQB7XIV6","created_at":"2026-06-12T01:08:50Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IQB7XIV6KGCAVOACK2JEEEOTN5","target":"record","payload":{"canonical_record":{"source":{"id":"2606.12768","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-11T00:22:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b80f8d26d16526cb1e36f244e0a99c5a56d81059b679131e6e846473fbfdc073","abstract_canon_sha256":"693f698acbe0658db9d3fa3ea800869b2c10f3cee9a4bf02259f50a356101ac5"},"schema_version":"1.0"},"canonical_sha256":"4403fba2be51840ab80256924211d36f77575f6042e583f5a501543475d3ee8a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-12T01:08:50.145184Z","signature_b64":"t3DyY+QTSNCSHJPwhOjLDceQLje3h/VZlPs9YPKX3/AhMDK+h+umTQqLfDFNth2hPw2Hk82041IhNoVxH5pjBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4403fba2be51840ab80256924211d36f77575f6042e583f5a501543475d3ee8a","last_reissued_at":"2026-06-12T01:08:50.144337Z","signature_status":"signed_v1","first_computed_at":"2026-06-12T01:08:50.144337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.12768","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-06-12T01:08:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nBhPQQ6hMd/gzcKRYi67EpC4WkcGObu+2Y10GRMOYTiQimLu+NUWHq5uO3oPSNIbwrSAA32v5asEzukX6gksBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T02:24:20.971221Z"},"content_sha256":"6ddb0b3fbf10fae01413e7efabba74399f1ba9cbf31df6a426943c93477424e7","schema_version":"1.0","event_id":"sha256:6ddb0b3fbf10fae01413e7efabba74399f1ba9cbf31df6a426943c93477424e7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IQB7XIV6KGCAVOACK2JEEEOTN5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Haocheng Chang, Ruikun Zhou, Yating Yuan, Yiming Meng, Yinan Li","submitted_at":"2026-06-11T00:22:30Z","abstract_excerpt":"We propose an abstraction-free framework for controller synthesis for continuous-time dynamical systems subject to Linear Temporal Logic (LTL) specifications and bounded control inputs. The proposed method combines the sequential decomposition of LTL tasks with the use of formally certified Control Lyapunov-Barrier Functions (CLBFs). By formulating local specifications as a sequence of safe-stabilization problems, we systematically approximate and patch the winning sets of the decomposed subtasks. The satisfaction of these local constraints is guaranteed by the offline-computed level sets of t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12768","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/2606.12768/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-12T01:08:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"46c9d28z/2j0Psw5LIXilU1wnLABn8RoJuALADEmIPMC0avsyvpHILlz3nC1my9/Tv4JepBAVL/rWt1+UHm1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-17T02:24:20.971586Z"},"content_sha256":"27977d8c995618b97c154922f539e8a9cc6568971cfd397f4821e1b70cc8c38d","schema_version":"1.0","event_id":"sha256:27977d8c995618b97c154922f539e8a9cc6568971cfd397f4821e1b70cc8c38d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/bundle.json","state_url":"https://pith.science/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/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-17T02:24:20Z","links":{"resolver":"https://pith.science/pith/IQB7XIV6KGCAVOACK2JEEEOTN5","bundle":"https://pith.science/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/bundle.json","state":"https://pith.science/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IQB7XIV6KGCAVOACK2JEEEOTN5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IQB7XIV6KGCAVOACK2JEEEOTN5","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":"693f698acbe0658db9d3fa3ea800869b2c10f3cee9a4bf02259f50a356101ac5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-11T00:22:30Z","title_canon_sha256":"b80f8d26d16526cb1e36f244e0a99c5a56d81059b679131e6e846473fbfdc073"},"schema_version":"1.0","source":{"id":"2606.12768","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.12768","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"arxiv_version","alias_value":"2606.12768v1","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.12768","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_12","alias_value":"IQB7XIV6KGCA","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_16","alias_value":"IQB7XIV6KGCAVOAC","created_at":"2026-06-12T01:08:50Z"},{"alias_kind":"pith_short_8","alias_value":"IQB7XIV6","created_at":"2026-06-12T01:08:50Z"}],"graph_snapshots":[{"event_id":"sha256:27977d8c995618b97c154922f539e8a9cc6568971cfd397f4821e1b70cc8c38d","target":"graph","created_at":"2026-06-12T01:08:50Z","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/2606.12768/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We propose an abstraction-free framework for controller synthesis for continuous-time dynamical systems subject to Linear Temporal Logic (LTL) specifications and bounded control inputs. The proposed method combines the sequential decomposition of LTL tasks with the use of formally certified Control Lyapunov-Barrier Functions (CLBFs). By formulating local specifications as a sequence of safe-stabilization problems, we systematically approximate and patch the winning sets of the decomposed subtasks. The satisfaction of these local constraints is guaranteed by the offline-computed level sets of t","authors_text":"Haocheng Chang, Ruikun Zhou, Yating Yuan, Yiming Meng, Yinan Li","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-11T00:22:30Z","title":"Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.12768","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:6ddb0b3fbf10fae01413e7efabba74399f1ba9cbf31df6a426943c93477424e7","target":"record","created_at":"2026-06-12T01:08:50Z","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":"693f698acbe0658db9d3fa3ea800869b2c10f3cee9a4bf02259f50a356101ac5","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2026-06-11T00:22:30Z","title_canon_sha256":"b80f8d26d16526cb1e36f244e0a99c5a56d81059b679131e6e846473fbfdc073"},"schema_version":"1.0","source":{"id":"2606.12768","kind":"arxiv","version":1}},"canonical_sha256":"4403fba2be51840ab80256924211d36f77575f6042e583f5a501543475d3ee8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4403fba2be51840ab80256924211d36f77575f6042e583f5a501543475d3ee8a","first_computed_at":"2026-06-12T01:08:50.144337Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-12T01:08:50.144337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t3DyY+QTSNCSHJPwhOjLDceQLje3h/VZlPs9YPKX3/AhMDK+h+umTQqLfDFNth2hPw2Hk82041IhNoVxH5pjBg==","signature_status":"signed_v1","signed_at":"2026-06-12T01:08:50.145184Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.12768","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ddb0b3fbf10fae01413e7efabba74399f1ba9cbf31df6a426943c93477424e7","sha256:27977d8c995618b97c154922f539e8a9cc6568971cfd397f4821e1b70cc8c38d"],"state_sha256":"66cdee8ce57f018ebe18c9154e33ffe50db3136c1c11930adf089c3425023381"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UDD/soAua6PoqKS6AoD/MDNmLcK+sxB/ZE7imLeBY+WbzoUZF/MwG3UXFFx1aYyiBIcz+Xaw5yYTgws8IsvBDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-17T02:24:20.973493Z","bundle_sha256":"815d0f6854c77fcd1f6ed60065f9185fadbd29d37ebc963a559a489100929580"}}