{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:ESLYWNHPOCOWBG22673XSFW4IT","short_pith_number":"pith:ESLYWNHP","canonical_record":{"source":{"id":"2002.04761","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-02-12T02:02:17Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"0d79303fbe9887c7cf7ef882c22b25ea8c0664e07c077a42d3ab318eae347b70","abstract_canon_sha256":"db001910c88ff64c0192b5cb60f5135be1a95c465dc7532e7ff8fd526f27efab"},"schema_version":"1.0"},"canonical_sha256":"24978b34ef709d609b5af7f77916dc44c847d69fbbe5a682e9f37ca6a332342f","source":{"kind":"arxiv","id":"2002.04761","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.04761","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2002.04761v1","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.04761","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"ESLYWNHPOCOW","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"ESLYWNHPOCOWBG22","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"ESLYWNHP","created_at":"2026-07-05T00:40:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:ESLYWNHPOCOWBG22673XSFW4IT","target":"record","payload":{"canonical_record":{"source":{"id":"2002.04761","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-02-12T02:02:17Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"0d79303fbe9887c7cf7ef882c22b25ea8c0664e07c077a42d3ab318eae347b70","abstract_canon_sha256":"db001910c88ff64c0192b5cb60f5135be1a95c465dc7532e7ff8fd526f27efab"},"schema_version":"1.0"},"canonical_sha256":"24978b34ef709d609b5af7f77916dc44c847d69fbbe5a682e9f37ca6a332342f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:40:17.882075Z","signature_b64":"W8sWfM6pKq2z83oer5z3gI64NLP1uL+jEvfsp+aTpzgzw3gZuGtYqbwfxGICpyXwVGQeUYf9iebl0DxBthWsBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24978b34ef709d609b5af7f77916dc44c847d69fbbe5a682e9f37ca6a332342f","last_reissued_at":"2026-07-05T00:40:17.881623Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:40:17.881623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2002.04761","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:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"stzlvdI1IAn2bIXldTvONw+BK3l0WsyQIaNvA6gD+/iVDNUROKB8KnjUwL9M56HNH+vyfUqp1sAYweRLmtBlCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T16:45:47.942709Z"},"content_sha256":"6966bca75da8bdf52374135e1b2fc50cbd25304bd37a8ff1c88e156373c99af6","schema_version":"1.0","event_id":"sha256:6966bca75da8bdf52374135e1b2fc50cbd25304bd37a8ff1c88e156373c99af6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:ESLYWNHPOCOWBG22673XSFW4IT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simultaneous Input and State Interval Observers for Nonlinear Systems with Full-Rank Direct Feedthrough","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Mohammad Khajenejad, Sze Zheng Yong","submitted_at":"2020-02-12T02:02:17Z","abstract_excerpt":"A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct feedthrough matrix has full column rank. The observer leverages the existence of bounding decomposition functions for mixed monotone mappings to recursively compute the maximal and minimal elements of the estimate intervals that are compatible with output/measurement signals, and are proven to contain the true state and unknown input. Furthermore, we derive a Lipschitz-like property for decomposition functions, which"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.04761","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/2002.04761/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:40:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JOMazHfgm4qt8disTYmG8uf3YEFPIKaqfVA57gSwPUXzQ2kohJH0sEQI4DBoOrnc+/+FLDCGnuJZYed9ASQACA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T16:45:47.943236Z"},"content_sha256":"ac5619ed4c53ed30573e20f9fe900069ad601e1caef27bec1772626755e484bc","schema_version":"1.0","event_id":"sha256:ac5619ed4c53ed30573e20f9fe900069ad601e1caef27bec1772626755e484bc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ESLYWNHPOCOWBG22673XSFW4IT/bundle.json","state_url":"https://pith.science/pith/ESLYWNHPOCOWBG22673XSFW4IT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ESLYWNHPOCOWBG22673XSFW4IT/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-23T16:45:47Z","links":{"resolver":"https://pith.science/pith/ESLYWNHPOCOWBG22673XSFW4IT","bundle":"https://pith.science/pith/ESLYWNHPOCOWBG22673XSFW4IT/bundle.json","state":"https://pith.science/pith/ESLYWNHPOCOWBG22673XSFW4IT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ESLYWNHPOCOWBG22673XSFW4IT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:ESLYWNHPOCOWBG22673XSFW4IT","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":"db001910c88ff64c0192b5cb60f5135be1a95c465dc7532e7ff8fd526f27efab","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-02-12T02:02:17Z","title_canon_sha256":"0d79303fbe9887c7cf7ef882c22b25ea8c0664e07c077a42d3ab318eae347b70"},"schema_version":"1.0","source":{"id":"2002.04761","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2002.04761","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"arxiv_version","alias_value":"2002.04761v1","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2002.04761","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_12","alias_value":"ESLYWNHPOCOW","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_16","alias_value":"ESLYWNHPOCOWBG22","created_at":"2026-07-05T00:40:17Z"},{"alias_kind":"pith_short_8","alias_value":"ESLYWNHP","created_at":"2026-07-05T00:40:17Z"}],"graph_snapshots":[{"event_id":"sha256:ac5619ed4c53ed30573e20f9fe900069ad601e1caef27bec1772626755e484bc","target":"graph","created_at":"2026-07-05T00:40:17Z","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/2002.04761/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct feedthrough matrix has full column rank. The observer leverages the existence of bounding decomposition functions for mixed monotone mappings to recursively compute the maximal and minimal elements of the estimate intervals that are compatible with output/measurement signals, and are proven to contain the true state and unknown input. Furthermore, we derive a Lipschitz-like property for decomposition functions, which","authors_text":"Mohammad Khajenejad, Sze Zheng Yong","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-02-12T02:02:17Z","title":"Simultaneous Input and State Interval Observers for Nonlinear Systems with Full-Rank Direct Feedthrough"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2002.04761","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:6966bca75da8bdf52374135e1b2fc50cbd25304bd37a8ff1c88e156373c99af6","target":"record","created_at":"2026-07-05T00:40:17Z","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":"db001910c88ff64c0192b5cb60f5135be1a95c465dc7532e7ff8fd526f27efab","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2020-02-12T02:02:17Z","title_canon_sha256":"0d79303fbe9887c7cf7ef882c22b25ea8c0664e07c077a42d3ab318eae347b70"},"schema_version":"1.0","source":{"id":"2002.04761","kind":"arxiv","version":1}},"canonical_sha256":"24978b34ef709d609b5af7f77916dc44c847d69fbbe5a682e9f37ca6a332342f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24978b34ef709d609b5af7f77916dc44c847d69fbbe5a682e9f37ca6a332342f","first_computed_at":"2026-07-05T00:40:17.881623Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:40:17.881623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W8sWfM6pKq2z83oer5z3gI64NLP1uL+jEvfsp+aTpzgzw3gZuGtYqbwfxGICpyXwVGQeUYf9iebl0DxBthWsBw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:40:17.882075Z","signed_message":"canonical_sha256_bytes"},"source_id":"2002.04761","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6966bca75da8bdf52374135e1b2fc50cbd25304bd37a8ff1c88e156373c99af6","sha256:ac5619ed4c53ed30573e20f9fe900069ad601e1caef27bec1772626755e484bc"],"state_sha256":"c3a68749977ddf8198a2aae050cef231bfd61375c1829d09a1fb5e8ee7d6563b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dVq2t0CXkYuE1HWRK8jFPfTZ6fHn6t1DUkgcW1uh//bBA65t4cnxyhQvJTm5Jpkqf5nYUZoLq767CbTPJFVECQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T16:45:47.948084Z","bundle_sha256":"8a26099ac461b72154483b70d05424038a3d99efe0707d55c02f49fb3f254f2a"}}