{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:B2EK3AZ3SJR5C2XRSCSXZFJTJ2","short_pith_number":"pith:B2EK3AZ3","schema_version":"1.0","canonical_sha256":"0e88ad833b9263d16af190a57c95334eb62d97f7c6f1f32df39ab697782b69bf","source":{"kind":"arxiv","id":"2409.13624","version":4},"attestation_state":"computed","paper":{"title":"Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Congcong Sun, Eldert van Henten, Jianglin Lan, Peter Groot Koerkamp","submitted_at":"2024-09-20T16:34:31Z","abstract_excerpt":"This paper addresses the challenge of safe stabilization, ensuring the system state reach the origin while avoiding unsafe regions. Existing approaches relying on smooth Lyapunov barrier functions often fail to guarantee a feasible controller. To overcome this limitation, we introduce the nonsmooth Control Lyapunov Barrier Function (NCLBF), which ensures the existence of a safe and stabilizing controller. We provide a systematic framework for designing NCLBF and feedback control strategies to achieve safe stabilization in the presence of multiple bounded unsafe regions. Theoretical analysis an"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2409.13624","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"eess.SY","submitted_at":"2024-09-20T16:34:31Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7513e95e6b521d438cd376f7ed108dfccd19173d233c947504e198bb34811232","abstract_canon_sha256":"d92dc5efd93cbf0c20c323d6cf86d04f20e4bfea83aaafe1ce008d0e250757e8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:45:11.759305Z","signature_b64":"WzIcLnEgLwZU7oSw7KRIVAP7whu36tmN/TLANJSTgroEe0UQBYkTo+D7P1YbEwWigNMBSTmvF8yWZeublq8NBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e88ad833b9263d16af190a57c95334eb62d97f7c6f1f32df39ab697782b69bf","last_reissued_at":"2026-07-05T10:45:11.758751Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:45:11.758751Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safe Stabilization using Nonsmooth Control Lyapunov Barrier Function","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Congcong Sun, Eldert van Henten, Jianglin Lan, Peter Groot Koerkamp","submitted_at":"2024-09-20T16:34:31Z","abstract_excerpt":"This paper addresses the challenge of safe stabilization, ensuring the system state reach the origin while avoiding unsafe regions. Existing approaches relying on smooth Lyapunov barrier functions often fail to guarantee a feasible controller. To overcome this limitation, we introduce the nonsmooth Control Lyapunov Barrier Function (NCLBF), which ensures the existence of a safe and stabilizing controller. We provide a systematic framework for designing NCLBF and feedback control strategies to achieve safe stabilization in the presence of multiple bounded unsafe regions. Theoretical analysis an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.13624","kind":"arxiv","version":4},"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/2409.13624/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.13624","created_at":"2026-07-05T10:45:11.758819+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.13624v4","created_at":"2026-07-05T10:45:11.758819+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.13624","created_at":"2026-07-05T10:45:11.758819+00:00"},{"alias_kind":"pith_short_12","alias_value":"B2EK3AZ3SJR5","created_at":"2026-07-05T10:45:11.758819+00:00"},{"alias_kind":"pith_short_16","alias_value":"B2EK3AZ3SJR5C2XR","created_at":"2026-07-05T10:45:11.758819+00:00"},{"alias_kind":"pith_short_8","alias_value":"B2EK3AZ3","created_at":"2026-07-05T10:45:11.758819+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2","json":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2.json","graph_json":"https://pith.science/api/pith-number/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/graph.json","events_json":"https://pith.science/api/pith-number/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/events.json","paper":"https://pith.science/paper/B2EK3AZ3"},"agent_actions":{"view_html":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2","download_json":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2.json","view_paper":"https://pith.science/paper/B2EK3AZ3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.13624&json=true","fetch_graph":"https://pith.science/api/pith-number/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/graph.json","fetch_events":"https://pith.science/api/pith-number/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/action/storage_attestation","attest_author":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/action/author_attestation","sign_citation":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/action/citation_signature","submit_replication":"https://pith.science/pith/B2EK3AZ3SJR5C2XRSCSXZFJTJ2/action/replication_record"}},"created_at":"2026-07-05T10:45:11.758819+00:00","updated_at":"2026-07-05T10:45:11.758819+00:00"}