{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:4FEWEFN3EEMIF7GAK6HQB4QFJL","short_pith_number":"pith:4FEWEFN3","canonical_record":{"source":{"id":"1402.0140","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-02T00:39:40Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"5e3fabedb5365658214ea2567fcc74f1cb92d76ed0602c00f3c6dce2dbf661a4","abstract_canon_sha256":"22f65411cbd6e9663370ab58742c4d2867c4fe80eadf0aa285ecdb74c8ed658a"},"schema_version":"1.0"},"canonical_sha256":"e1496215bb211882fcc0578f00f2054af343ec60e922f97ab60b818b9b3332ca","source":{"kind":"arxiv","id":"1402.0140","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0140","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0140v1","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0140","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"pith_short_12","alias_value":"4FEWEFN3EEMI","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4FEWEFN3EEMIF7GA","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4FEWEFN3","created_at":"2026-05-18T12:28:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:4FEWEFN3EEMIF7GAK6HQB4QFJL","target":"record","payload":{"canonical_record":{"source":{"id":"1402.0140","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-02T00:39:40Z","cross_cats_sorted":["math.OC"],"title_canon_sha256":"5e3fabedb5365658214ea2567fcc74f1cb92d76ed0602c00f3c6dce2dbf661a4","abstract_canon_sha256":"22f65411cbd6e9663370ab58742c4d2867c4fe80eadf0aa285ecdb74c8ed658a"},"schema_version":"1.0"},"canonical_sha256":"e1496215bb211882fcc0578f00f2054af343ec60e922f97ab60b818b9b3332ca","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:00:24.637239Z","signature_b64":"uKxm8PUXdF/bm4ZrZalxbsgagnv5HZVAS1csXQ0JlJC0WQq5Gue95YHnvSyxSO4o+7gf5lCwbVnymD/stYcBBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e1496215bb211882fcc0578f00f2054af343ec60e922f97ab60b818b9b3332ca","last_reissued_at":"2026-05-18T03:00:24.636356Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:00:24.636356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.0140","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-05-18T03:00:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AmF8e55R6ZsEs5T92mk7P2AuExjRKV6/Km3/+dN3xMzdXONvPeiVwCCWjOUXlGc12QelJXEMCQ+ekYngKNBoBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T05:22:10.865253Z"},"content_sha256":"18e78775f8e03132856805dd5a742357d277d4b97f0ba5d5fbe67228e33f99e6","schema_version":"1.0","event_id":"sha256:18e78775f8e03132856805dd5a742357d277d4b97f0ba5d5fbe67228e33f99e6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:4FEWEFN3EEMIF7GAK6HQB4QFJL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Model Validation for Uncertain Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.OC"],"primary_cat":"cs.SY","authors_text":"Abhishek Halder, Raktim Bhattacharya","submitted_at":"2014-02-02T00:39:40Z","abstract_excerpt":"This paper presents a probabilistic model validation methodology for nonlinear systems in time-domain. The proposed formulation is simple, intuitive, and accounts both deterministic and stochastic nonlinear systems with parametric and nonparametric uncertainties. Instead of hard invalidation methods available in the literature, a relaxed notion of validation in probability is introduced. To guarantee provably correct inference, algorithm for constructing probabilistically robust validation certificate is given along with computational complexities. Several examples are worked out to illustrate"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0140","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":""},"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-05-18T03:00:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rlCwxNFI8lRQ5Rk93rSRvWV/BwfFr171EB9aOeRxL7bZeL9tdaR0LW4B9OYY/YcuMTHUZSCvBolmhhXaseMXCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T05:22:10.865619Z"},"content_sha256":"e20110fe63254fddf1e1d9477d97ff8385a782d8e84647f64b1a73a1aa3cbc4f","schema_version":"1.0","event_id":"sha256:e20110fe63254fddf1e1d9477d97ff8385a782d8e84647f64b1a73a1aa3cbc4f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/bundle.json","state_url":"https://pith.science/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/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-05-28T05:22:10Z","links":{"resolver":"https://pith.science/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL","bundle":"https://pith.science/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/bundle.json","state":"https://pith.science/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4FEWEFN3EEMIF7GAK6HQB4QFJL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:4FEWEFN3EEMIF7GAK6HQB4QFJL","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":"22f65411cbd6e9663370ab58742c4d2867c4fe80eadf0aa285ecdb74c8ed658a","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-02T00:39:40Z","title_canon_sha256":"5e3fabedb5365658214ea2567fcc74f1cb92d76ed0602c00f3c6dce2dbf661a4"},"schema_version":"1.0","source":{"id":"1402.0140","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.0140","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"arxiv_version","alias_value":"1402.0140v1","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.0140","created_at":"2026-05-18T03:00:24Z"},{"alias_kind":"pith_short_12","alias_value":"4FEWEFN3EEMI","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_16","alias_value":"4FEWEFN3EEMIF7GA","created_at":"2026-05-18T12:28:14Z"},{"alias_kind":"pith_short_8","alias_value":"4FEWEFN3","created_at":"2026-05-18T12:28:14Z"}],"graph_snapshots":[{"event_id":"sha256:e20110fe63254fddf1e1d9477d97ff8385a782d8e84647f64b1a73a1aa3cbc4f","target":"graph","created_at":"2026-05-18T03:00:24Z","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":"This paper presents a probabilistic model validation methodology for nonlinear systems in time-domain. The proposed formulation is simple, intuitive, and accounts both deterministic and stochastic nonlinear systems with parametric and nonparametric uncertainties. Instead of hard invalidation methods available in the literature, a relaxed notion of validation in probability is introduced. To guarantee provably correct inference, algorithm for constructing probabilistically robust validation certificate is given along with computational complexities. Several examples are worked out to illustrate","authors_text":"Abhishek Halder, Raktim Bhattacharya","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-02T00:39:40Z","title":"Probabilistic Model Validation for Uncertain Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.0140","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:18e78775f8e03132856805dd5a742357d277d4b97f0ba5d5fbe67228e33f99e6","target":"record","created_at":"2026-05-18T03:00:24Z","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":"22f65411cbd6e9663370ab58742c4d2867c4fe80eadf0aa285ecdb74c8ed658a","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-02-02T00:39:40Z","title_canon_sha256":"5e3fabedb5365658214ea2567fcc74f1cb92d76ed0602c00f3c6dce2dbf661a4"},"schema_version":"1.0","source":{"id":"1402.0140","kind":"arxiv","version":1}},"canonical_sha256":"e1496215bb211882fcc0578f00f2054af343ec60e922f97ab60b818b9b3332ca","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e1496215bb211882fcc0578f00f2054af343ec60e922f97ab60b818b9b3332ca","first_computed_at":"2026-05-18T03:00:24.636356Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:00:24.636356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uKxm8PUXdF/bm4ZrZalxbsgagnv5HZVAS1csXQ0JlJC0WQq5Gue95YHnvSyxSO4o+7gf5lCwbVnymD/stYcBBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:00:24.637239Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.0140","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18e78775f8e03132856805dd5a742357d277d4b97f0ba5d5fbe67228e33f99e6","sha256:e20110fe63254fddf1e1d9477d97ff8385a782d8e84647f64b1a73a1aa3cbc4f"],"state_sha256":"f1af957f8c635b3bde1a1289b8f54132e1c849affde4b27ba6f68a02ee694f18"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oh47iohrX9A61fYeHkCWROo6kNLpWS+K0DjixBcDloMcqOpPKhQ2oHnZ60pgaEf5vc3HCELVPrXVwHmexYyCBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T05:22:10.867653Z","bundle_sha256":"8e54d38fffcad35834c700bb88a92173c9229ae5ddffd98d27215405127ef0ae"}}