{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:X4UUFJB6GNGE4UFATTCPGZGFIO","short_pith_number":"pith:X4UUFJB6","canonical_record":{"source":{"id":"2210.00629","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-02T21:05:42Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"abb1727b9abce53b0af9e19ef41d5767decacc27b2ee00f69f9927df3a774689","abstract_canon_sha256":"c1535f2f6ccdb58aa2827db37832ddd2def1f1a711c798fb00ea613b0fcb9979"},"schema_version":"1.0"},"canonical_sha256":"bf2942a43e334c4e50a09cc4f364c543b3c3cc47e34b7586dc3dbe41bb117f46","source":{"kind":"arxiv","id":"2210.00629","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.00629","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"2210.00629v1","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.00629","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"X4UUFJB6GNGE","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_16","alias_value":"X4UUFJB6GNGE4UFA","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_8","alias_value":"X4UUFJB6","created_at":"2026-07-05T05:02:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:X4UUFJB6GNGE4UFATTCPGZGFIO","target":"record","payload":{"canonical_record":{"source":{"id":"2210.00629","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-02T21:05:42Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"abb1727b9abce53b0af9e19ef41d5767decacc27b2ee00f69f9927df3a774689","abstract_canon_sha256":"c1535f2f6ccdb58aa2827db37832ddd2def1f1a711c798fb00ea613b0fcb9979"},"schema_version":"1.0"},"canonical_sha256":"bf2942a43e334c4e50a09cc4f364c543b3c3cc47e34b7586dc3dbe41bb117f46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:02:46.159589Z","signature_b64":"wF5bSR+gU8UiVRXIfKoZz792odmBy0/GnauVYgtL1ar0d8rhjsmlsRa+n0VjiQIP6u3EfHAJRvFsvra2R4jYCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf2942a43e334c4e50a09cc4f364c543b3c3cc47e34b7586dc3dbe41bb117f46","last_reissued_at":"2026-07-05T05:02:46.159139Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:02:46.159139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.00629","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-07-05T05:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sYg80/VdtcP50eQbxU+iDn6jOC4Fsq4LrdTkaCrBkgkwwuR90kGuV5eCIXH5tRyq2QU1RvYoTFddunMbHB6qAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:53:34.251375Z"},"content_sha256":"0ad32ace0afea667c9f807c9a4eb92ff2c1707e38903d5d7134b836dfb4574bd","schema_version":"1.0","event_id":"sha256:0ad32ace0afea667c9f807c9a4eb92ff2c1707e38903d5d7134b836dfb4574bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:X4UUFJB6GNGE4UFATTCPGZGFIO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Frank Permenter, Hongkai Dai","submitted_at":"2022-10-02T21:05:42Z","abstract_excerpt":"Control Lyapunov functions (CLFs) and control barrier functions (CBFs) are widely used tools for synthesizing controllers subject to stability and safety constraints. Paired with online optimization, they provide stabilizing control actions that satisfy input constraints and avoid unsafe regions of state-space. Designing CLFs and CBFs with rigorous performance guarantees is computationally challenging. To certify existence of control actions, current techniques not only design a CLF/CBF, but also a nominal controller. This can make the synthesis task more expensive, and performance estimation "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.00629","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/2210.00629/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-07-05T05:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6qYOkvhN7UyUq8uzSjiyyK2tPC7izNp9WrQ4WVABV7k5ZnHclQDMAHMUGZScEzUDcHgH1OmlAv2W+ZA0GjquCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T03:53:34.251748Z"},"content_sha256":"8d500a049bac35c2e6b3a12194c9dd9265734a52a7aba5fcfef577150ea6bd4b","schema_version":"1.0","event_id":"sha256:8d500a049bac35c2e6b3a12194c9dd9265734a52a7aba5fcfef577150ea6bd4b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/bundle.json","state_url":"https://pith.science/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/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-07T03:53:34Z","links":{"resolver":"https://pith.science/pith/X4UUFJB6GNGE4UFATTCPGZGFIO","bundle":"https://pith.science/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/bundle.json","state":"https://pith.science/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/X4UUFJB6GNGE4UFATTCPGZGFIO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:X4UUFJB6GNGE4UFATTCPGZGFIO","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":"c1535f2f6ccdb58aa2827db37832ddd2def1f1a711c798fb00ea613b0fcb9979","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-02T21:05:42Z","title_canon_sha256":"abb1727b9abce53b0af9e19ef41d5767decacc27b2ee00f69f9927df3a774689"},"schema_version":"1.0","source":{"id":"2210.00629","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.00629","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"2210.00629v1","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.00629","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"X4UUFJB6GNGE","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_16","alias_value":"X4UUFJB6GNGE4UFA","created_at":"2026-07-05T05:02:46Z"},{"alias_kind":"pith_short_8","alias_value":"X4UUFJB6","created_at":"2026-07-05T05:02:46Z"}],"graph_snapshots":[{"event_id":"sha256:8d500a049bac35c2e6b3a12194c9dd9265734a52a7aba5fcfef577150ea6bd4b","target":"graph","created_at":"2026-07-05T05:02:46Z","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/2210.00629/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Control Lyapunov functions (CLFs) and control barrier functions (CBFs) are widely used tools for synthesizing controllers subject to stability and safety constraints. Paired with online optimization, they provide stabilizing control actions that satisfy input constraints and avoid unsafe regions of state-space. Designing CLFs and CBFs with rigorous performance guarantees is computationally challenging. To certify existence of control actions, current techniques not only design a CLF/CBF, but also a nominal controller. This can make the synthesis task more expensive, and performance estimation ","authors_text":"Frank Permenter, Hongkai Dai","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-02T21:05:42Z","title":"Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.00629","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:0ad32ace0afea667c9f807c9a4eb92ff2c1707e38903d5d7134b836dfb4574bd","target":"record","created_at":"2026-07-05T05:02:46Z","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":"c1535f2f6ccdb58aa2827db37832ddd2def1f1a711c798fb00ea613b0fcb9979","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.RO","submitted_at":"2022-10-02T21:05:42Z","title_canon_sha256":"abb1727b9abce53b0af9e19ef41d5767decacc27b2ee00f69f9927df3a774689"},"schema_version":"1.0","source":{"id":"2210.00629","kind":"arxiv","version":1}},"canonical_sha256":"bf2942a43e334c4e50a09cc4f364c543b3c3cc47e34b7586dc3dbe41bb117f46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bf2942a43e334c4e50a09cc4f364c543b3c3cc47e34b7586dc3dbe41bb117f46","first_computed_at":"2026-07-05T05:02:46.159139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:02:46.159139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wF5bSR+gU8UiVRXIfKoZz792odmBy0/GnauVYgtL1ar0d8rhjsmlsRa+n0VjiQIP6u3EfHAJRvFsvra2R4jYCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T05:02:46.159589Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.00629","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ad32ace0afea667c9f807c9a4eb92ff2c1707e38903d5d7134b836dfb4574bd","sha256:8d500a049bac35c2e6b3a12194c9dd9265734a52a7aba5fcfef577150ea6bd4b"],"state_sha256":"60fe23e983f4f0ff3c28050f5abb286e5c11be0c1913168ffd2de913bf314732"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZigYPNThaFSmK2DDk4ZdgSf3HBeb4oHOf2UGTOddbv1pDYkghx5paa+T8aggxiLQctBsIAeq5TexrTaq51zCCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T03:53:34.253750Z","bundle_sha256":"45d6b08443fbe85b481aec4df79a45f6247ebd75cfbb49e67e01024949d73be7"}}