{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3LQKXLE7GF7ZNLEREFPZ5GY6MC","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":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8"},"schema_version":"1.0","source":{"id":"1908.09323","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"arxiv_version","alias_value":"1908.09323v3","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.09323","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_12","alias_value":"3LQKXLE7GF7Z","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_16","alias_value":"3LQKXLE7GF7ZNLER","created_at":"2026-07-05T01:05:23Z"},{"alias_kind":"pith_short_8","alias_value":"3LQKXLE7","created_at":"2026-07-05T01:05:23Z"}],"graph_snapshots":[{"event_id":"sha256:538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80","target":"graph","created_at":"2026-07-05T01: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/1908.09323/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Verifying set invariance has classical solutions stemming from the seminal work by Nagumo, and defining sets via a smooth barrier function constraint inequality results in computable flow conditions for guaranteeing set invariance. While a majority of these historic results on set invariance consider flow conditions on the boundary, recent results on control barrier functions extended these conditions to the entire set, although they required regularity conditions on the barrier function. This paper fully characterizes set invariance through \\emph{minimal barrier functions} by directly appeali","authors_text":"Aaron D. Ames, Rohit Konda, Samuel Coogan","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title":"Characterizing Safety: Minimal Barrier Functions from Scalar Comparison Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.09323","kind":"arxiv","version":3},"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:40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401","target":"record","created_at":"2026-07-05T01: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":"d99fcfeac907c619dda2021992535dd1eb547390f378c1dc01e0e088f2e081b8","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-08-25T13:23:45Z","title_canon_sha256":"773e9733816278cf92b92f12a35ac6698a29bd4809206090d2baf084ac4fb9c8"},"schema_version":"1.0","source":{"id":"1908.09323","kind":"arxiv","version":3}},"canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dae0abac9f317f96ac91215f9e9b1e60804b0f472bda24734979b2040f5b22cb","first_computed_at":"2026-07-05T01:05:23.937873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:05:23.937873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mZl3nloCVFiWZyFUlYjMNfw3iWVJmDGy5vfFigh+Nzcpg+KeHdPoikQNqsGtun7ZOJkMwE0M3gfIQCGlkV0WCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:05:23.938396Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.09323","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40f0520b46941b1dc0c893f729c7a21c364efc00f70702bebeb22dda260e1401","sha256:538959b2f944380e0dd2cd8c7f18a0a74d17500c799e4e825abefa0286e7aa80"],"state_sha256":"6bc6fabd8f12eda45884fb5d24fc0a8ffaca0aacc542ece2c0e79519671e3d40"}