{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:A27RM5WVT2NA3VWTEJH7G7HH5U","short_pith_number":"pith:A27RM5WV","canonical_record":{"source":{"id":"2501.09324","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-01-16T06:46:16Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bb9ee19fab5902d3464f9e796ff72995592810d27d454a1341d5564d1d7a283f","abstract_canon_sha256":"4602094abefa33b27bcc9b228dcbd513831eb1de70981fedc2117228436559cf"},"schema_version":"1.0"},"canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","source":{"kind":"arxiv","id":"2501.09324","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.09324","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"arxiv_version","alias_value":"2501.09324v1","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09324","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_12","alias_value":"A27RM5WVT2NA","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_16","alias_value":"A27RM5WVT2NA3VWT","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_8","alias_value":"A27RM5WV","created_at":"2026-07-05T10:01:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:A27RM5WVT2NA3VWTEJH7G7HH5U","target":"record","payload":{"canonical_record":{"source":{"id":"2501.09324","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-01-16T06:46:16Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"bb9ee19fab5902d3464f9e796ff72995592810d27d454a1341d5564d1d7a283f","abstract_canon_sha256":"4602094abefa33b27bcc9b228dcbd513831eb1de70981fedc2117228436559cf"},"schema_version":"1.0"},"canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:01:45.182579Z","signature_b64":"h9aYahq9CgcAB2mEPQC19cIXhLupdGJgp1gqNroJmNPMzA+og52QCSNoZifVC4D2fSDbNjUCvbmzX8gaNraDCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","last_reissued_at":"2026-07-05T10:01:45.182081Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:01:45.182081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2501.09324","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-05T10:01:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qJikwhQJuZqmsWPmaIi9kgFTEnf7fQNS8Beu3ljuhFDvCTy8uBMVJ3/QNLQOOyViz75zv09zG5cecGJnoM8oDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T15:52:55.451484Z"},"content_sha256":"dee96c3b22ff5916308104d69419119f11d168b0dd0f6e4f15a57ae13a2a56e9","schema_version":"1.0","event_id":"sha256:dee96c3b22ff5916308104d69419119f11d168b0dd0f6e4f15a57ae13a2a56e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:A27RM5WVT2NA3VWTEJH7G7HH5U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Kenta Hoshino, Sotaro Fushimi, Yuki Nishimura","submitted_at":"2025-01-16T06:46:16Z","abstract_excerpt":"This paper presents a safe controller synthesis of discrete-time stochastic systems using Control Barrier Functions (CBFs). The proposed condition allows the design of a safe controller synthesis that ensures system safety while avoiding the conservative bounds of safe probabilities. In particular, this study focuses on the design of CBFs that provide flexibility in the choice of functions to obtain tighter bounds on the safe probabilities. Numerical examples demonstrate the effectiveness of the approach."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.09324","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/2501.09324/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-05T10:01:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MRLfo4lGiiWT5JfCRq5VbLeVa7TtMS9Jw/+iVhW/0NuGaGwjQYJU1+EDw0YwComAOaw+fOxehSA+DkFV0R28Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T15:52:55.452027Z"},"content_sha256":"ac9eea984f61814df7a454fa28083774e08794ff03e64956647d76858f14f2ad","schema_version":"1.0","event_id":"sha256:ac9eea984f61814df7a454fa28083774e08794ff03e64956647d76858f14f2ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/bundle.json","state_url":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/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-08-12T15:52:55Z","links":{"resolver":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U","bundle":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/bundle.json","state":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:A27RM5WVT2NA3VWTEJH7G7HH5U","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":"4602094abefa33b27bcc9b228dcbd513831eb1de70981fedc2117228436559cf","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-01-16T06:46:16Z","title_canon_sha256":"bb9ee19fab5902d3464f9e796ff72995592810d27d454a1341d5564d1d7a283f"},"schema_version":"1.0","source":{"id":"2501.09324","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2501.09324","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"arxiv_version","alias_value":"2501.09324v1","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09324","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_12","alias_value":"A27RM5WVT2NA","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_16","alias_value":"A27RM5WVT2NA3VWT","created_at":"2026-07-05T10:01:45Z"},{"alias_kind":"pith_short_8","alias_value":"A27RM5WV","created_at":"2026-07-05T10:01:45Z"}],"graph_snapshots":[{"event_id":"sha256:ac9eea984f61814df7a454fa28083774e08794ff03e64956647d76858f14f2ad","target":"graph","created_at":"2026-07-05T10:01:45Z","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/2501.09324/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a safe controller synthesis of discrete-time stochastic systems using Control Barrier Functions (CBFs). The proposed condition allows the design of a safe controller synthesis that ensures system safety while avoiding the conservative bounds of safe probabilities. In particular, this study focuses on the design of CBFs that provide flexibility in the choice of functions to obtain tighter bounds on the safe probabilities. Numerical examples demonstrate the effectiveness of the approach.","authors_text":"Kenta Hoshino, Sotaro Fushimi, Yuki Nishimura","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-01-16T06:46:16Z","title":"Safety-Critical Control for Discrete-time Stochastic Systems with Flexible Safe Bounds using Affine and Quadratic Control Barrier Functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.09324","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:dee96c3b22ff5916308104d69419119f11d168b0dd0f6e4f15a57ae13a2a56e9","target":"record","created_at":"2026-07-05T10:01:45Z","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":"4602094abefa33b27bcc9b228dcbd513831eb1de70981fedc2117228436559cf","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2025-01-16T06:46:16Z","title_canon_sha256":"bb9ee19fab5902d3464f9e796ff72995592810d27d454a1341d5564d1d7a283f"},"schema_version":"1.0","source":{"id":"2501.09324","kind":"arxiv","version":1}},"canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","first_computed_at":"2026-07-05T10:01:45.182081Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:01:45.182081Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h9aYahq9CgcAB2mEPQC19cIXhLupdGJgp1gqNroJmNPMzA+og52QCSNoZifVC4D2fSDbNjUCvbmzX8gaNraDCg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:01:45.182579Z","signed_message":"canonical_sha256_bytes"},"source_id":"2501.09324","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dee96c3b22ff5916308104d69419119f11d168b0dd0f6e4f15a57ae13a2a56e9","sha256:ac9eea984f61814df7a454fa28083774e08794ff03e64956647d76858f14f2ad"],"state_sha256":"1ab87cf721e950f45a908ae73f17afc7e556d7880dfc5b3683ca8d1a12d65660"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L3hfbc1bs3zFbxkD/TP0zMkbuy1/kLWfbsL83zoriDl1Av+TDpXiMhovmKEV4BgpAwTzaOxv1x16VWFoVBbUBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T15:52:55.457574Z","bundle_sha256":"2aa456548be4875cc4653daebb01e6f2f3da34bc9b8521725b8a2747a8d529ea"}}