{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:A27RM5WVT2NA3VWTEJH7G7HH5U","short_pith_number":"pith:A27RM5WV","schema_version":"1.0","canonical_sha256":"06bf1676d59e9a0dd6d3224ff37ce7ed15224df61e39bcc256fa7215426152e5","source":{"kind":"arxiv","id":"2501.09324","version":1},"attestation_state":"computed","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."},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.09324","created_at":"2026-07-05T10:01:45.182140+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.09324v1","created_at":"2026-07-05T10:01:45.182140+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.09324","created_at":"2026-07-05T10:01:45.182140+00:00"},{"alias_kind":"pith_short_12","alias_value":"A27RM5WVT2NA","created_at":"2026-07-05T10:01:45.182140+00:00"},{"alias_kind":"pith_short_16","alias_value":"A27RM5WVT2NA3VWT","created_at":"2026-07-05T10:01:45.182140+00:00"},{"alias_kind":"pith_short_8","alias_value":"A27RM5WV","created_at":"2026-07-05T10:01:45.182140+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/A27RM5WVT2NA3VWTEJH7G7HH5U","json":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U.json","graph_json":"https://pith.science/api/pith-number/A27RM5WVT2NA3VWTEJH7G7HH5U/graph.json","events_json":"https://pith.science/api/pith-number/A27RM5WVT2NA3VWTEJH7G7HH5U/events.json","paper":"https://pith.science/paper/A27RM5WV"},"agent_actions":{"view_html":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U","download_json":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U.json","view_paper":"https://pith.science/paper/A27RM5WV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.09324&json=true","fetch_graph":"https://pith.science/api/pith-number/A27RM5WVT2NA3VWTEJH7G7HH5U/graph.json","fetch_events":"https://pith.science/api/pith-number/A27RM5WVT2NA3VWTEJH7G7HH5U/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/action/timestamp_anchor","attest_storage":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/action/storage_attestation","attest_author":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/action/author_attestation","sign_citation":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/action/citation_signature","submit_replication":"https://pith.science/pith/A27RM5WVT2NA3VWTEJH7G7HH5U/action/replication_record"}},"created_at":"2026-07-05T10:01:45.182140+00:00","updated_at":"2026-07-05T10:01:45.182140+00:00"}