{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:E4APCQCNAK5HXKQXFUMVWT6VYQ","short_pith_number":"pith:E4APCQCN","canonical_record":{"source":{"id":"2403.16132","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-24T13:03:27Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"0ee280cf9407a4cb8732a9438eb9efe18d4f123ea06f8f443a9d9c7b5d57ce1a","abstract_canon_sha256":"bc2c58193c5ca5b07868df57a2df0a67ae4930fe847aa8e863a25813f3363eef"},"schema_version":"1.0"},"canonical_sha256":"2700f1404d02ba7baa172d195b4fd5c43089a832db28d196e36e853097256131","source":{"kind":"arxiv","id":"2403.16132","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16132","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16132v1","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16132","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_12","alias_value":"E4APCQCNAK5H","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_16","alias_value":"E4APCQCNAK5HXKQX","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_8","alias_value":"E4APCQCN","created_at":"2026-07-05T08:00:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:E4APCQCNAK5HXKQXFUMVWT6VYQ","target":"record","payload":{"canonical_record":{"source":{"id":"2403.16132","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-24T13:03:27Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"0ee280cf9407a4cb8732a9438eb9efe18d4f123ea06f8f443a9d9c7b5d57ce1a","abstract_canon_sha256":"bc2c58193c5ca5b07868df57a2df0a67ae4930fe847aa8e863a25813f3363eef"},"schema_version":"1.0"},"canonical_sha256":"2700f1404d02ba7baa172d195b4fd5c43089a832db28d196e36e853097256131","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:00:11.092793Z","signature_b64":"vc8UF0qCKPW2r/tgz5qUVITMzFerRAqRz6HNyNi5rQdWR/Lb6QEUg7ztyn+zuxbkLQrap3LNySf+9MUOK/O1BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2700f1404d02ba7baa172d195b4fd5c43089a832db28d196e36e853097256131","last_reissued_at":"2026-07-05T08:00:11.092383Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:00:11.092383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2403.16132","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-05T08:00:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ClvR0SIoYRQou+0eyOx2sigFPNmC3IPvtOutSUl7F4C0yEttSocvriUwWrK3oKZOFT9rWqRbKTtBtf/Ih8z2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T02:51:10.849316Z"},"content_sha256":"148c00dc7127ec67e177c4186d51af0c85ed933d7e97783b29bfe8cab8c4744e","schema_version":"1.0","event_id":"sha256:148c00dc7127ec67e177c4186d51af0c85ed933d7e97783b29bfe8cab8c4744e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:E4APCQCNAK5HXKQXFUMVWT6VYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Jianglin Lan, Ron Patton, Siyuan Zhan, Xianxian Zhao","submitted_at":"2024-03-24T13:03:27Z","abstract_excerpt":"There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and measurement noise. A robustly stable interval observer is designed to generate sound and precise lower and upper bounds for the neural network, nonlinear function, and system state. The obtained interval is utilised to monitor the real-time system safety and detect faults in the system outputs or actuators. An adaptive cruise control vehicular system is simulated"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16132","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/2403.16132/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-05T08:00:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tCji8+6LE3XNsG/MH6qDugrnWAWRNSoQSAXqsoRxC2hwh2xLAKWnZvjYniEXhezRwdwpoZu9rDfZg/NSvTQLBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T02:51:10.849832Z"},"content_sha256":"84ef8d1c6b8c1db45d6b131d6005f046e6436cf899b228cfe71f68fb124aa722","schema_version":"1.0","event_id":"sha256:84ef8d1c6b8c1db45d6b131d6005f046e6436cf899b228cfe71f68fb124aa722"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/bundle.json","state_url":"https://pith.science/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/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-21T02:51:10Z","links":{"resolver":"https://pith.science/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ","bundle":"https://pith.science/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/bundle.json","state":"https://pith.science/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E4APCQCNAK5HXKQXFUMVWT6VYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:E4APCQCNAK5HXKQXFUMVWT6VYQ","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":"bc2c58193c5ca5b07868df57a2df0a67ae4930fe847aa8e863a25813f3363eef","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-24T13:03:27Z","title_canon_sha256":"0ee280cf9407a4cb8732a9438eb9efe18d4f123ea06f8f443a9d9c7b5d57ce1a"},"schema_version":"1.0","source":{"id":"2403.16132","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2403.16132","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"arxiv_version","alias_value":"2403.16132v1","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2403.16132","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_12","alias_value":"E4APCQCNAK5H","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_16","alias_value":"E4APCQCNAK5HXKQX","created_at":"2026-07-05T08:00:11Z"},{"alias_kind":"pith_short_8","alias_value":"E4APCQCN","created_at":"2026-07-05T08:00:11Z"}],"graph_snapshots":[{"event_id":"sha256:84ef8d1c6b8c1db45d6b131d6005f046e6436cf899b228cfe71f68fb124aa722","target":"graph","created_at":"2026-07-05T08:00:11Z","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/2403.16132/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"There is an emerging trend in applying deep learning methods to control complex nonlinear systems. This paper considers enhancing the runtime safety of nonlinear systems controlled by neural networks in the presence of disturbance and measurement noise. A robustly stable interval observer is designed to generate sound and precise lower and upper bounds for the neural network, nonlinear function, and system state. The obtained interval is utilised to monitor the real-time system safety and detect faults in the system outputs or actuators. An adaptive cruise control vehicular system is simulated","authors_text":"Jianglin Lan, Ron Patton, Siyuan Zhan, Xianxian Zhao","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-24T13:03:27Z","title":"Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2403.16132","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:148c00dc7127ec67e177c4186d51af0c85ed933d7e97783b29bfe8cab8c4744e","target":"record","created_at":"2026-07-05T08:00:11Z","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":"bc2c58193c5ca5b07868df57a2df0a67ae4930fe847aa8e863a25813f3363eef","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-03-24T13:03:27Z","title_canon_sha256":"0ee280cf9407a4cb8732a9438eb9efe18d4f123ea06f8f443a9d9c7b5d57ce1a"},"schema_version":"1.0","source":{"id":"2403.16132","kind":"arxiv","version":1}},"canonical_sha256":"2700f1404d02ba7baa172d195b4fd5c43089a832db28d196e36e853097256131","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2700f1404d02ba7baa172d195b4fd5c43089a832db28d196e36e853097256131","first_computed_at":"2026-07-05T08:00:11.092383Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:00:11.092383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vc8UF0qCKPW2r/tgz5qUVITMzFerRAqRz6HNyNi5rQdWR/Lb6QEUg7ztyn+zuxbkLQrap3LNySf+9MUOK/O1BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:00:11.092793Z","signed_message":"canonical_sha256_bytes"},"source_id":"2403.16132","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:148c00dc7127ec67e177c4186d51af0c85ed933d7e97783b29bfe8cab8c4744e","sha256:84ef8d1c6b8c1db45d6b131d6005f046e6436cf899b228cfe71f68fb124aa722"],"state_sha256":"8c30494326dc2ecd1419dc837dc68cfc95e6744bae7169ca83423ddacc9b5708"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UW+ou+UM3iI7W/y8n3gxGeP1/gA6/bi9P1z+3c15YzUWzFBgvMrydyLewC5U0FF2RGauh+HMRXq5elOw84S+AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T02:51:10.855537Z","bundle_sha256":"28553bb1ce0a3613b2c2990dcb6ab4f3683ddb69f59b8f44f21b4cf75e853bdf"}}