{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:EX4QMASHHEYVJDGFBQCR5GNM4P","short_pith_number":"pith:EX4QMASH","canonical_record":{"source":{"id":"2411.10262","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-15T15:09:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"debc950e50745d9ed419c4b4c65732db02baa9e98410f7e9afd0f899b1264782","abstract_canon_sha256":"1e90979912a82c437f9f991500fab2fa94abb866f51918325d3f6d38492e7c0c"},"schema_version":"1.0"},"canonical_sha256":"25f90602473931548cc50c051e99ace3e725be0d8967969a0066b77465924ebe","source":{"kind":"arxiv","id":"2411.10262","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.10262","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"arxiv_version","alias_value":"2411.10262v1","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.10262","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_12","alias_value":"EX4QMASHHEYV","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_16","alias_value":"EX4QMASHHEYVJDGF","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_8","alias_value":"EX4QMASH","created_at":"2026-07-05T09:36:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:EX4QMASHHEYVJDGFBQCR5GNM4P","target":"record","payload":{"canonical_record":{"source":{"id":"2411.10262","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-15T15:09:35Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"debc950e50745d9ed419c4b4c65732db02baa9e98410f7e9afd0f899b1264782","abstract_canon_sha256":"1e90979912a82c437f9f991500fab2fa94abb866f51918325d3f6d38492e7c0c"},"schema_version":"1.0"},"canonical_sha256":"25f90602473931548cc50c051e99ace3e725be0d8967969a0066b77465924ebe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:36:02.324613Z","signature_b64":"1XQWXV29Wfr8rUlSbdXICSMWd7oX0GlJmnUZytAxn2MJvEaxr6Oio627P1XbXklYrfswGTQjzo1dzDVPC9X0Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25f90602473931548cc50c051e99ace3e725be0d8967969a0066b77465924ebe","last_reissued_at":"2026-07-05T09:36:02.324033Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:36:02.324033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.10262","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-05T09:36:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LLOlef7zcCAkLZvSRpNQHM5giyupK6FvDqZa9COZA3W5BlPxuOvEUWK5C6eYjf8DRu8CK1kB8ruNiNYZRO1pBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T12:35:49.281787Z"},"content_sha256":"5dfd6ab0ec33f5b37a46c21e97616af848db439f2b58a43b8f9509e5c4ba91e5","schema_version":"1.0","event_id":"sha256:5dfd6ab0ec33f5b37a46c21e97616af848db439f2b58a43b8f9509e5c4ba91e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:EX4QMASHHEYVJDGFBQCR5GNM4P","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Tao Wang, Weiming Xiang, Wesley Cooke, Yapeng Li, Zihao Mo","submitted_at":"2024-11-15T15:09:35Z","abstract_excerpt":"The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed consisting of two auxiliary neural networks derived from the neural network components of the dynamical system. Due to the presence of nonlinear activation functions in neural networks, we use quadratic constraints on the global sector to abstract the nonlinear activation functions in neural networks. By combining a quadratic constraint approach for the activation function with Lyapunov theory, the interval observer de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.10262","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/2411.10262/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-05T09:36:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wwVFaGH2tvbfNpHKI3nwg0GxHxvif401JHGaAFWIyjiSMZEUkqKsTD8bh2RiPj5ZqWkH6IrTx+dENf2Uj9tHCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T12:35:49.282424Z"},"content_sha256":"54c4961d421e1f14d3df1a460138a239e95ba742a06feef14d1f390d97ff2a9c","schema_version":"1.0","event_id":"sha256:54c4961d421e1f14d3df1a460138a239e95ba742a06feef14d1f390d97ff2a9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/bundle.json","state_url":"https://pith.science/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/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-15T12:35:49Z","links":{"resolver":"https://pith.science/pith/EX4QMASHHEYVJDGFBQCR5GNM4P","bundle":"https://pith.science/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/bundle.json","state":"https://pith.science/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EX4QMASHHEYVJDGFBQCR5GNM4P/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:EX4QMASHHEYVJDGFBQCR5GNM4P","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":"1e90979912a82c437f9f991500fab2fa94abb866f51918325d3f6d38492e7c0c","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-15T15:09:35Z","title_canon_sha256":"debc950e50745d9ed419c4b4c65732db02baa9e98410f7e9afd0f899b1264782"},"schema_version":"1.0","source":{"id":"2411.10262","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.10262","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"arxiv_version","alias_value":"2411.10262v1","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.10262","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_12","alias_value":"EX4QMASHHEYV","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_16","alias_value":"EX4QMASHHEYVJDGF","created_at":"2026-07-05T09:36:02Z"},{"alias_kind":"pith_short_8","alias_value":"EX4QMASH","created_at":"2026-07-05T09:36:02Z"}],"graph_snapshots":[{"event_id":"sha256:54c4961d421e1f14d3df1a460138a239e95ba742a06feef14d1f390d97ff2a9c","target":"graph","created_at":"2026-07-05T09:36:02Z","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/2411.10262/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed consisting of two auxiliary neural networks derived from the neural network components of the dynamical system. Due to the presence of nonlinear activation functions in neural networks, we use quadratic constraints on the global sector to abstract the nonlinear activation functions in neural networks. By combining a quadratic constraint approach for the activation function with Lyapunov theory, the interval observer de","authors_text":"Tao Wang, Weiming Xiang, Wesley Cooke, Yapeng Li, Zihao Mo","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-15T15:09:35Z","title":"Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.10262","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:5dfd6ab0ec33f5b37a46c21e97616af848db439f2b58a43b8f9509e5c4ba91e5","target":"record","created_at":"2026-07-05T09:36:02Z","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":"1e90979912a82c437f9f991500fab2fa94abb866f51918325d3f6d38492e7c0c","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-11-15T15:09:35Z","title_canon_sha256":"debc950e50745d9ed419c4b4c65732db02baa9e98410f7e9afd0f899b1264782"},"schema_version":"1.0","source":{"id":"2411.10262","kind":"arxiv","version":1}},"canonical_sha256":"25f90602473931548cc50c051e99ace3e725be0d8967969a0066b77465924ebe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"25f90602473931548cc50c051e99ace3e725be0d8967969a0066b77465924ebe","first_computed_at":"2026-07-05T09:36:02.324033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:36:02.324033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1XQWXV29Wfr8rUlSbdXICSMWd7oX0GlJmnUZytAxn2MJvEaxr6Oio627P1XbXklYrfswGTQjzo1dzDVPC9X0Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:36:02.324613Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.10262","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5dfd6ab0ec33f5b37a46c21e97616af848db439f2b58a43b8f9509e5c4ba91e5","sha256:54c4961d421e1f14d3df1a460138a239e95ba742a06feef14d1f390d97ff2a9c"],"state_sha256":"fe7a1173d29f150736a8a74daf290cd086e89ac05952cf1f4964b7ab082eddc2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TrKr4BFLnu12KED6xB9QGu4NB1x03HyVOBocpV3Ls2RZvndVYtYwydp7Bj3ZsoV5HJh+qqXmgmVMi492vWp8CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T12:35:49.289406Z","bundle_sha256":"a7c81144bb959939585e24e26823bc0650181bcef111d69b6cf53df670c18d76"}}