{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:3NNSEI2GCQMJWZIF6S4BT2IPFZ","short_pith_number":"pith:3NNSEI2G","canonical_record":{"source":{"id":"2112.14912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-12-30T03:49:57Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"32cc224329c01569e5ef77a7d570385287e7eaad279c48e23e865a9033633f8e","abstract_canon_sha256":"29cea1ca6157f6373b3658892880355bf0328931b13cb9c022c5b5a3b379d2fc"},"schema_version":"1.0"},"canonical_sha256":"db5b22234614189b6505f4b819e90f2e55d041a092bc48923b3baaeadb4371ea","source":{"kind":"arxiv","id":"2112.14912","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.14912","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"arxiv_version","alias_value":"2112.14912v1","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.14912","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_12","alias_value":"3NNSEI2GCQMJ","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_16","alias_value":"3NNSEI2GCQMJWZIF","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_8","alias_value":"3NNSEI2G","created_at":"2026-07-05T03:44:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:3NNSEI2GCQMJWZIF6S4BT2IPFZ","target":"record","payload":{"canonical_record":{"source":{"id":"2112.14912","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-12-30T03:49:57Z","cross_cats_sorted":["cs.RO","cs.SY"],"title_canon_sha256":"32cc224329c01569e5ef77a7d570385287e7eaad279c48e23e865a9033633f8e","abstract_canon_sha256":"29cea1ca6157f6373b3658892880355bf0328931b13cb9c022c5b5a3b379d2fc"},"schema_version":"1.0"},"canonical_sha256":"db5b22234614189b6505f4b819e90f2e55d041a092bc48923b3baaeadb4371ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:44:34.760332Z","signature_b64":"H4D/1grXWRPdqVanegUzOQXlN+2ygz4kX9xCbH+vdmTnfXBi7ec2EW4GisWTYBxTe8k6y67yOaiNLyxfVg5FCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db5b22234614189b6505f4b819e90f2e55d041a092bc48923b3baaeadb4371ea","last_reissued_at":"2026-07-05T03:44:34.759830Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:44:34.759830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2112.14912","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-05T03:44:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ebo37muoRfsmgVQ+WFMwYXCjz4/p3sT8wRhZPwHX4AbmlN0s4pZexIQYBywavbNGkCho86icZDJr+RmGoggwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:14:08.078217Z"},"content_sha256":"5bf84167305bde13ace3bf9e753619bd0b595067a69df3937fe6b5e2813dee30","schema_version":"1.0","event_id":"sha256:5bf84167305bde13ace3bf9e753619bd0b595067a69df3937fe6b5e2813dee30"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:3NNSEI2GCQMJWZIF6S4BT2IPFZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","cs.SY"],"primary_cat":"eess.SY","authors_text":"Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Shakiba Yaghoubi, Tomoya Yamaguchi","submitted_at":"2021-12-30T03:49:57Z","abstract_excerpt":"In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on noisy measurements. Our goal is to design controllers that bound the probability of a system failure in finite-time to a given desired value. To that end, we first estimate the system states from the noisy measurements using an Extended Kalman filter, and compute confidence intervals on the filtering errors. Then, we account for filtering errors and derive sufficient conditions on the control input based on the estimated"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.14912","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/2112.14912/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-05T03:44:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rZN/XlPcUTBtIN3dQy25POGngjgKbf89su0dOaAafvJX8Z8FDpWWBTWcXUdjZ2JTsSRzsDxTi4RWalHtAQmlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:14:08.078620Z"},"content_sha256":"a81254609cf763b91d4f351f3283a4ec73e688c1dac08a1bf8f43e197fd277ee","schema_version":"1.0","event_id":"sha256:a81254609cf763b91d4f351f3283a4ec73e688c1dac08a1bf8f43e197fd277ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/bundle.json","state_url":"https://pith.science/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/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-06T16:14:08Z","links":{"resolver":"https://pith.science/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ","bundle":"https://pith.science/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/bundle.json","state":"https://pith.science/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3NNSEI2GCQMJWZIF6S4BT2IPFZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:3NNSEI2GCQMJWZIF6S4BT2IPFZ","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":"29cea1ca6157f6373b3658892880355bf0328931b13cb9c022c5b5a3b379d2fc","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-12-30T03:49:57Z","title_canon_sha256":"32cc224329c01569e5ef77a7d570385287e7eaad279c48e23e865a9033633f8e"},"schema_version":"1.0","source":{"id":"2112.14912","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2112.14912","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"arxiv_version","alias_value":"2112.14912v1","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2112.14912","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_12","alias_value":"3NNSEI2GCQMJ","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_16","alias_value":"3NNSEI2GCQMJWZIF","created_at":"2026-07-05T03:44:34Z"},{"alias_kind":"pith_short_8","alias_value":"3NNSEI2G","created_at":"2026-07-05T03:44:34Z"}],"graph_snapshots":[{"event_id":"sha256:a81254609cf763b91d4f351f3283a4ec73e688c1dac08a1bf8f43e197fd277ee","target":"graph","created_at":"2026-07-05T03:44:34Z","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/2112.14912/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on noisy measurements. Our goal is to design controllers that bound the probability of a system failure in finite-time to a given desired value. To that end, we first estimate the system states from the noisy measurements using an Extended Kalman filter, and compute confidence intervals on the filtering errors. Then, we account for filtering errors and derive sufficient conditions on the control input based on the estimated","authors_text":"Bardh Hoxha, Danil Prokhorov, Georgios Fainekos, Shakiba Yaghoubi, Tomoya Yamaguchi","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-12-30T03:49:57Z","title":"Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2112.14912","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:5bf84167305bde13ace3bf9e753619bd0b595067a69df3937fe6b5e2813dee30","target":"record","created_at":"2026-07-05T03:44:34Z","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":"29cea1ca6157f6373b3658892880355bf0328931b13cb9c022c5b5a3b379d2fc","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2021-12-30T03:49:57Z","title_canon_sha256":"32cc224329c01569e5ef77a7d570385287e7eaad279c48e23e865a9033633f8e"},"schema_version":"1.0","source":{"id":"2112.14912","kind":"arxiv","version":1}},"canonical_sha256":"db5b22234614189b6505f4b819e90f2e55d041a092bc48923b3baaeadb4371ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"db5b22234614189b6505f4b819e90f2e55d041a092bc48923b3baaeadb4371ea","first_computed_at":"2026-07-05T03:44:34.759830Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:44:34.759830Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H4D/1grXWRPdqVanegUzOQXlN+2ygz4kX9xCbH+vdmTnfXBi7ec2EW4GisWTYBxTe8k6y67yOaiNLyxfVg5FCg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:44:34.760332Z","signed_message":"canonical_sha256_bytes"},"source_id":"2112.14912","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5bf84167305bde13ace3bf9e753619bd0b595067a69df3937fe6b5e2813dee30","sha256:a81254609cf763b91d4f351f3283a4ec73e688c1dac08a1bf8f43e197fd277ee"],"state_sha256":"756c6a776dfd8145af8637ab00a6451e41bfcd890729ca139ce366b095ee7be0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OdX98gQD6ZWwlKEKPdTN6r3gW+9y4RG8GugRc/D3ll9CP4+JVsToFLB/yV1K1Rg0cjb2ImGUzTV/EOgCkBVmAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T16:14:08.080504Z","bundle_sha256":"bec9527bd79d9c8825ff4b65716f715a870d960ce52dec779950fba5fca11d56"}}