{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZPPGNXPJEED4EKYMHILTBKQH6N","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":"f59a27978ec500940890339c1723c7e9299ee86da0220aae1a06fa1208df14bf","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-11-26T00:03:01Z","title_canon_sha256":"0e67241201788b70de226ebe041f7cc2f21cd21a46d9c1c2acf12ea6ec83702f"},"schema_version":"1.0","source":{"id":"2411.16999","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.16999","created_at":"2026-07-05T09:52:18Z"},{"alias_kind":"arxiv_version","alias_value":"2411.16999v1","created_at":"2026-07-05T09:52:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.16999","created_at":"2026-07-05T09:52:18Z"},{"alias_kind":"pith_short_12","alias_value":"ZPPGNXPJEED4","created_at":"2026-07-05T09:52:18Z"},{"alias_kind":"pith_short_16","alias_value":"ZPPGNXPJEED4EKYM","created_at":"2026-07-05T09:52:18Z"},{"alias_kind":"pith_short_8","alias_value":"ZPPGNXPJ","created_at":"2026-07-05T09:52:18Z"}],"graph_snapshots":[{"event_id":"sha256:0e37d6d006bdf996877221c69071a6f3bff21a56dfde684aec4ce9727a4db3a9","target":"graph","created_at":"2026-07-05T09:52:18Z","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/2411.16999/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper develops a new framework for preventing localization failures in mobile systems that must estimate their state using measurements. Safety is guaranteed by imposing the nonlinear least squares optimization solved in modern localization algorithms remains well-conditioned. Specifically, the eigenvalues of the Hessian matrix are made to be always positive via two methods that leverage control barrier functions to achieve safe set invariance. The proposed method is not constrained to any specific measurement or system type, offering a very general solution to the safe mobility with loca","authors_text":"Brett T. Lopez, David Thorne, Samuel G. Gessow","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-11-26T00:03:01Z","title":"Information Control Barrier Functions: Preventing Localization Failures in Mobile Systems Through Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.16999","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:fa12d30d9ee511f367655418e1004c5e78b735bbb62334158db053adc9f4a842","target":"record","created_at":"2026-07-05T09:52:18Z","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":"f59a27978ec500940890339c1723c7e9299ee86da0220aae1a06fa1208df14bf","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-11-26T00:03:01Z","title_canon_sha256":"0e67241201788b70de226ebe041f7cc2f21cd21a46d9c1c2acf12ea6ec83702f"},"schema_version":"1.0","source":{"id":"2411.16999","kind":"arxiv","version":1}},"canonical_sha256":"cbde66dde92107c22b0c3a1730aa07f359e505e1c5fbdbd9c510eaaf31c3b6eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cbde66dde92107c22b0c3a1730aa07f359e505e1c5fbdbd9c510eaaf31c3b6eb","first_computed_at":"2026-07-05T09:52:18.438916Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:52:18.438916Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J05GvUTBli7t5MHSTFkVPXMgh4EpcTNT8lbfdrTNLzE0S6EoJUOiuOd+dM3TxzPXUf3RraiePDBiOLjb31e+BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:52:18.439414Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.16999","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa12d30d9ee511f367655418e1004c5e78b735bbb62334158db053adc9f4a842","sha256:0e37d6d006bdf996877221c69071a6f3bff21a56dfde684aec4ce9727a4db3a9"],"state_sha256":"bd9a1e1826e5af3850fd39316f16f518dbb17af51f0b729d8581cfe7ebc3db4b"}