{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:IS4KWTANM2SYGV7YIK5O5MEVHS","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":"4285812b273a6f5ce8562149b47cb50b80b579aab5596e6a38e67a6d3c5b8170","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-05-25T01:32:05Z","title_canon_sha256":"584cbf25f12754409e3bfbf65915676becdb6fee334aff4ca373a87433dffa1c"},"schema_version":"1.0","source":{"id":"1805.09944","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.09944","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"arxiv_version","alias_value":"1805.09944v1","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.09944","created_at":"2026-05-18T00:14:58Z"},{"alias_kind":"pith_short_12","alias_value":"IS4KWTANM2SY","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"IS4KWTANM2SYGV7Y","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"IS4KWTAN","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:5aa9036ddc639e2728149a3c615e034fe23b8b45fbc95000bf7bf5172d4b6c8e","target":"graph","created_at":"2026-05-18T00:14:58Z","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"},"paper":{"abstract_excerpt":"Autonomous cyber-physical systems (CPS) rely on the correct operation of numerous components, with state-of-the-art methods relying on machine learning (ML) and artificial intelligence (AI) components in various stages of sensing and control. This paper develops methods for estimating the reachable set and verifying safety properties of dynamical systems under control of neural network-based controllers that may be implemented in embedded software. The neural network controllers we consider are feedforward neural networks called multilayer perceptrons (MLP) with general activation functions. A","authors_text":"Taylor T. Johnson, Weiming Xiang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-05-25T01:32:05Z","title":"Reachability Analysis and Safety Verification for Neural Network Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.09944","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:1984b35a42848cc0964b3e600d8889274d6534970e3356b619588e71819757ce","target":"record","created_at":"2026-05-18T00:14:58Z","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":"4285812b273a6f5ce8562149b47cb50b80b579aab5596e6a38e67a6d3c5b8170","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-05-25T01:32:05Z","title_canon_sha256":"584cbf25f12754409e3bfbf65915676becdb6fee334aff4ca373a87433dffa1c"},"schema_version":"1.0","source":{"id":"1805.09944","kind":"arxiv","version":1}},"canonical_sha256":"44b8ab4c0d66a58357f842baeeb0953cb868d12ed26a45d3954d265581767d02","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"44b8ab4c0d66a58357f842baeeb0953cb868d12ed26a45d3954d265581767d02","first_computed_at":"2026-05-18T00:14:58.728170Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:58.728170Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rCSy4SIUNc+OH0SBn+uA3XfFeeWSRNq5excSdgc5kAEZCSvFcsN1QO0DiIFHBnsqJGEdCYtpCSzQsFmM8ebiAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:58.728773Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.09944","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1984b35a42848cc0964b3e600d8889274d6534970e3356b619588e71819757ce","sha256:5aa9036ddc639e2728149a3c615e034fe23b8b45fbc95000bf7bf5172d4b6c8e"],"state_sha256":"5e54baeff498c35458db180d959f3b959ff1bd3d19068ebe6417f193818b032f"}