{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CQVL7OSCBJZULZOYCB3P7FEORN","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":"e9430368f8d658c6b2faf251242d9af78a14c63ef6592b81e30c40a824b5d0fa","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-08-20T03:22:09Z","title_canon_sha256":"83ee0314acf1f997b240075ee3cd8a36ba2e2be0045b333a9d851c5a42404d36"},"schema_version":"1.0","source":{"id":"2509.04451","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04451","created_at":"2026-07-05T12:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04451v1","created_at":"2026-07-05T12:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04451","created_at":"2026-07-05T12:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"CQVL7OSCBJZU","created_at":"2026-07-05T12:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"CQVL7OSCBJZULZOY","created_at":"2026-07-05T12:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"CQVL7OSC","created_at":"2026-07-05T12:05:23Z"}],"graph_snapshots":[{"event_id":"sha256:d4d1022c2e09358a87d20e7d34ffbaff4a686c9cceb6bd9a4d7a4174ff99ed53","target":"graph","created_at":"2026-07-05T12:05:23Z","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/2509.04451/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a new approach for designing risk-bounded controllers for Uncrewed Aerial Vehicles (UAVs). Existing frameworks for assessing risk of UAV operations rely on knowing the conditional probability of an incident occurring given different causes. Limited data for computing these probabilities makes real-world implementation of these frameworks difficult. Furthermore, existing frameworks do not include control methods for risk mitigation. Our approach relies on UAV dynamics, and employs reachability analysis for a probabilistic risk assessment over all feasible UAV trajectories. We use thi","authors_text":"Hariharan Narayanan, Houssam Abbas, Nicole Fronda, Sadia Afrin Ananna, Steven Weber","cross_cats":["cs.RO","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-08-20T03:22:09Z","title":"PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04451","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:10783f41f1f39aec62b0aea382ba6c9d18b2acc48641ffd2b7b75694c1e9d687","target":"record","created_at":"2026-07-05T12:05:23Z","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":"e9430368f8d658c6b2faf251242d9af78a14c63ef6592b81e30c40a824b5d0fa","cross_cats_sorted":["cs.RO","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-08-20T03:22:09Z","title_canon_sha256":"83ee0314acf1f997b240075ee3cd8a36ba2e2be0045b333a9d851c5a42404d36"},"schema_version":"1.0","source":{"id":"2509.04451","kind":"arxiv","version":1}},"canonical_sha256":"142abfba420a7345e5d81076ff948e8b761020518cd96e63cec655ee7fc8f45b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"142abfba420a7345e5d81076ff948e8b761020518cd96e63cec655ee7fc8f45b","first_computed_at":"2026-07-05T12:05:23.192428Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:23.192428Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SHd6aaoZ8RRMfE7hHawEXJsrMYKs+dV/aksLtiwvImzyllX2TEYS0hHIbS9YgcahKTIguKTELO+M5OOEWRnxCg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:23.192911Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04451","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10783f41f1f39aec62b0aea382ba6c9d18b2acc48641ffd2b7b75694c1e9d687","sha256:d4d1022c2e09358a87d20e7d34ffbaff4a686c9cceb6bd9a4d7a4174ff99ed53"],"state_sha256":"7f6251048afd2ed5a36e6d2f845d4c1a51e1aea3dbe77899f1c1a77042323cb6"}