{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:H6OPQYRCMLCY74KONGZRT67EKO","short_pith_number":"pith:H6OPQYRC","canonical_record":{"source":{"id":"2004.03665","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-04-02T23:39:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2131d8ebd7399216fdaf81217d9f77ceabc0455c52b5deaa4eed673fdd28bce9","abstract_canon_sha256":"a2c6e332f9642048729b0f28a820c6a870ede15e3184ee7141e9885287e3bc62"},"schema_version":"1.0"},"canonical_sha256":"3f9cf8622262c58ff14e69b319fbe4539a6bef533342792b4b930d6098b6fa59","source":{"kind":"arxiv","id":"2004.03665","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.03665","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"arxiv_version","alias_value":"2004.03665v1","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.03665","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_12","alias_value":"H6OPQYRCMLCY","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_16","alias_value":"H6OPQYRCMLCY74KO","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_8","alias_value":"H6OPQYRC","created_at":"2026-07-05T00:53:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:H6OPQYRCMLCY74KONGZRT67EKO","target":"record","payload":{"canonical_record":{"source":{"id":"2004.03665","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-04-02T23:39:45Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"2131d8ebd7399216fdaf81217d9f77ceabc0455c52b5deaa4eed673fdd28bce9","abstract_canon_sha256":"a2c6e332f9642048729b0f28a820c6a870ede15e3184ee7141e9885287e3bc62"},"schema_version":"1.0"},"canonical_sha256":"3f9cf8622262c58ff14e69b319fbe4539a6bef533342792b4b930d6098b6fa59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:53:55.004022Z","signature_b64":"KDWDSr6bvm7tclR/jflBRXyXNfXepvqlICNiYGXGIcpB79tUMLJuL1x2VvVxkwkEqL8ZAKzdg+IW6hvOccxaBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3f9cf8622262c58ff14e69b319fbe4539a6bef533342792b4b930d6098b6fa59","last_reissued_at":"2026-07-05T00:53:55.003632Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:53:55.003632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.03665","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-05T00:53:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xtJ97MTBjJBd9nsVWQM3Vfn3Hno74YUGhjwBwWrdBeEcQWNf5Wl5OeJhIAsjidniISArt+fgvqtOGEMUafm4Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T09:31:24.775598Z"},"content_sha256":"98312411974f9d9904b177ba9a3253f1902cd427951bb7d911abcdf81c798989","schema_version":"1.0","event_id":"sha256:98312411974f9d9904b177ba9a3253f1902cd427951bb7d911abcdf81c798989"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:H6OPQYRCMLCY74KONGZRT67EKO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Mohammad Khajenejad, Sze Zheng Yong, Zeyuan Jin","submitted_at":"2020-04-02T23:39:45Z","abstract_excerpt":"We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying our previously developed data-driven function over-approximation/abstraction approach to over-estimate the unknown dynamic model, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.03665","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/2004.03665/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-05T00:53:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h3fmQKR3ahZ9qCE4sVyU4T2RBsvTK6BPCVp4VyJXhqq8LzDI+2jslwrcwGap9UDIeY3jsQR44GacF3V1lFK9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-19T09:31:24.775954Z"},"content_sha256":"0861ba0c1ebb955c072735b21291dd6b0181ee48abaf05d23ab1b0d5e5978214","schema_version":"1.0","event_id":"sha256:0861ba0c1ebb955c072735b21291dd6b0181ee48abaf05d23ab1b0d5e5978214"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H6OPQYRCMLCY74KONGZRT67EKO/bundle.json","state_url":"https://pith.science/pith/H6OPQYRCMLCY74KONGZRT67EKO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H6OPQYRCMLCY74KONGZRT67EKO/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-07-19T09:31:24Z","links":{"resolver":"https://pith.science/pith/H6OPQYRCMLCY74KONGZRT67EKO","bundle":"https://pith.science/pith/H6OPQYRCMLCY74KONGZRT67EKO/bundle.json","state":"https://pith.science/pith/H6OPQYRCMLCY74KONGZRT67EKO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H6OPQYRCMLCY74KONGZRT67EKO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:H6OPQYRCMLCY74KONGZRT67EKO","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":"a2c6e332f9642048729b0f28a820c6a870ede15e3184ee7141e9885287e3bc62","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-04-02T23:39:45Z","title_canon_sha256":"2131d8ebd7399216fdaf81217d9f77ceabc0455c52b5deaa4eed673fdd28bce9"},"schema_version":"1.0","source":{"id":"2004.03665","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.03665","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"arxiv_version","alias_value":"2004.03665v1","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.03665","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_12","alias_value":"H6OPQYRCMLCY","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_16","alias_value":"H6OPQYRCMLCY74KO","created_at":"2026-07-05T00:53:55Z"},{"alias_kind":"pith_short_8","alias_value":"H6OPQYRC","created_at":"2026-07-05T00:53:55Z"}],"graph_snapshots":[{"event_id":"sha256:0861ba0c1ebb955c072735b21291dd6b0181ee48abaf05d23ab1b0d5e5978214","target":"graph","created_at":"2026-07-05T00:53:55Z","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/2004.03665/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying our previously developed data-driven function over-approximation/abstraction approach to over-estimate the unknown dynamic model, our proposed observer recursively computes the maximal and minimal elements of the estimate intervals that are proven to","authors_text":"Mohammad Khajenejad, Sze Zheng Yong, Zeyuan Jin","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-04-02T23:39:45Z","title":"Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.03665","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:98312411974f9d9904b177ba9a3253f1902cd427951bb7d911abcdf81c798989","target":"record","created_at":"2026-07-05T00:53:55Z","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":"a2c6e332f9642048729b0f28a820c6a870ede15e3184ee7141e9885287e3bc62","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-04-02T23:39:45Z","title_canon_sha256":"2131d8ebd7399216fdaf81217d9f77ceabc0455c52b5deaa4eed673fdd28bce9"},"schema_version":"1.0","source":{"id":"2004.03665","kind":"arxiv","version":1}},"canonical_sha256":"3f9cf8622262c58ff14e69b319fbe4539a6bef533342792b4b930d6098b6fa59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3f9cf8622262c58ff14e69b319fbe4539a6bef533342792b4b930d6098b6fa59","first_computed_at":"2026-07-05T00:53:55.003632Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:53:55.003632Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KDWDSr6bvm7tclR/jflBRXyXNfXepvqlICNiYGXGIcpB79tUMLJuL1x2VvVxkwkEqL8ZAKzdg+IW6hvOccxaBA==","signature_status":"signed_v1","signed_at":"2026-07-05T00:53:55.004022Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.03665","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98312411974f9d9904b177ba9a3253f1902cd427951bb7d911abcdf81c798989","sha256:0861ba0c1ebb955c072735b21291dd6b0181ee48abaf05d23ab1b0d5e5978214"],"state_sha256":"f6c2c6ffd3327a44d26d626b95b82453018fd0f10d13e0c4f8e5d392234e0152"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XHF+qMgvvWdSKb1Thp+DmNlhqqmetRn4EtXSxWLGTUIbzyU6I/ausewFr0MvIo3g0ljDGnPhj8u+SbrCZqJdBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-19T09:31:24.778556Z","bundle_sha256":"f79e9c2566148af60fe0959aebeaf94e0d3164f11054f625112cc8462bdbcc0e"}}