{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6ONX243FD7SYZCLLUPXWPEHABJ","short_pith_number":"pith:6ONX243F","canonical_record":{"source":{"id":"1311.7099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-11-27T20:01:27Z","cross_cats_sorted":[],"title_canon_sha256":"35ecac51470903d8fcd510a5863d41bb73628a35f220ce95524803e1e90e0dc6","abstract_canon_sha256":"39ef9bee23eacadac249ceec99c2254d71e41796680d4c87a7eebc443ce31270"},"schema_version":"1.0"},"canonical_sha256":"f39b7d73651fe58c896ba3ef6790e00a4c4364f9cd73d8c75ee4539b0dd836d7","source":{"kind":"arxiv","id":"1311.7099","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7099","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7099v1","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7099","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"6ONX243FD7SY","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6ONX243FD7SYZCLL","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6ONX243F","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6ONX243FD7SYZCLLUPXWPEHABJ","target":"record","payload":{"canonical_record":{"source":{"id":"1311.7099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-11-27T20:01:27Z","cross_cats_sorted":[],"title_canon_sha256":"35ecac51470903d8fcd510a5863d41bb73628a35f220ce95524803e1e90e0dc6","abstract_canon_sha256":"39ef9bee23eacadac249ceec99c2254d71e41796680d4c87a7eebc443ce31270"},"schema_version":"1.0"},"canonical_sha256":"f39b7d73651fe58c896ba3ef6790e00a4c4364f9cd73d8c75ee4539b0dd836d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:04.185447Z","signature_b64":"Mh/r7z9PlvcDRU2aArQOnAAldYPJi9Cq1BSBFKPSvZP7uz8DdQX345pknRqcxvBg1LmcwtNWM9S9CbPScbOVDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f39b7d73651fe58c896ba3ef6790e00a4c4364f9cd73d8c75ee4539b0dd836d7","last_reissued_at":"2026-05-18T03:06:04.184907Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:04.184907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.7099","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:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QwWMZ5+MC7tIx1AQrv1ieaNWFrgDQRxsLas+rMjjQQhxLfju8xsRgI/l6Z395aSu4MRrdV55PFbXvJ3MYAdrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:19:01.861768Z"},"content_sha256":"c1630644eb79c974dff9ff0261f5369d72a03484a35983ca55457756a059368f","schema_version":"1.0","event_id":"sha256:c1630644eb79c974dff9ff0261f5369d72a03484a35983ca55457756a059368f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6ONX243FD7SYZCLLUPXWPEHABJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic and Set-based Model Invalidation and Estimation using LMIs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"CTU/FEE), Didier Henrion (LAAS, Rolf Findeisen (IFAT), Stefan Streif (OVGU)","submitted_at":"2013-11-27T20:01:27Z","abstract_excerpt":"Probabilistic and set-based methods are two approaches for model invalidation, parameter and state estimation. Both classes of methods use different types of data, i.e. deterministic or probabilistic data, which allow different statements and applications. Ideally, however, all available data should be used in estimation and model invalidation methods. This paper presents an estimation and model invalidation framework combining set-based and probabilistically uncertain data for polynomial continuous-time systems. In particular, uncertain data on the moments and the support is used without the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7099","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:06:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UBG51XU5wPTg5mMzlNqg2a5qhu3b8wAYsFfXUlHheuBTjbW44rI5DvdF99xSxiyZb8aJDhUxXrrlGiE6z+9WBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T09:19:01.862539Z"},"content_sha256":"010a333ed1a1e872d27ee9d701c78f0e93af14083d1b1e5446fb8a62351bb66f","schema_version":"1.0","event_id":"sha256:010a333ed1a1e872d27ee9d701c78f0e93af14083d1b1e5446fb8a62351bb66f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6ONX243FD7SYZCLLUPXWPEHABJ/bundle.json","state_url":"https://pith.science/pith/6ONX243FD7SYZCLLUPXWPEHABJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6ONX243FD7SYZCLLUPXWPEHABJ/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-30T09:19:01Z","links":{"resolver":"https://pith.science/pith/6ONX243FD7SYZCLLUPXWPEHABJ","bundle":"https://pith.science/pith/6ONX243FD7SYZCLLUPXWPEHABJ/bundle.json","state":"https://pith.science/pith/6ONX243FD7SYZCLLUPXWPEHABJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6ONX243FD7SYZCLLUPXWPEHABJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6ONX243FD7SYZCLLUPXWPEHABJ","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":"39ef9bee23eacadac249ceec99c2254d71e41796680d4c87a7eebc443ce31270","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-11-27T20:01:27Z","title_canon_sha256":"35ecac51470903d8fcd510a5863d41bb73628a35f220ce95524803e1e90e0dc6"},"schema_version":"1.0","source":{"id":"1311.7099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.7099","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"arxiv_version","alias_value":"1311.7099v1","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.7099","created_at":"2026-05-18T03:06:04Z"},{"alias_kind":"pith_short_12","alias_value":"6ONX243FD7SY","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6ONX243FD7SYZCLL","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6ONX243F","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:010a333ed1a1e872d27ee9d701c78f0e93af14083d1b1e5446fb8a62351bb66f","target":"graph","created_at":"2026-05-18T03:06:04Z","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":"Probabilistic and set-based methods are two approaches for model invalidation, parameter and state estimation. Both classes of methods use different types of data, i.e. deterministic or probabilistic data, which allow different statements and applications. Ideally, however, all available data should be used in estimation and model invalidation methods. This paper presents an estimation and model invalidation framework combining set-based and probabilistically uncertain data for polynomial continuous-time systems. In particular, uncertain data on the moments and the support is used without the ","authors_text":"CTU/FEE), Didier Henrion (LAAS, Rolf Findeisen (IFAT), Stefan Streif (OVGU)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-11-27T20:01:27Z","title":"Probabilistic and Set-based Model Invalidation and Estimation using LMIs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.7099","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:c1630644eb79c974dff9ff0261f5369d72a03484a35983ca55457756a059368f","target":"record","created_at":"2026-05-18T03:06:04Z","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":"39ef9bee23eacadac249ceec99c2254d71e41796680d4c87a7eebc443ce31270","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2013-11-27T20:01:27Z","title_canon_sha256":"35ecac51470903d8fcd510a5863d41bb73628a35f220ce95524803e1e90e0dc6"},"schema_version":"1.0","source":{"id":"1311.7099","kind":"arxiv","version":1}},"canonical_sha256":"f39b7d73651fe58c896ba3ef6790e00a4c4364f9cd73d8c75ee4539b0dd836d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f39b7d73651fe58c896ba3ef6790e00a4c4364f9cd73d8c75ee4539b0dd836d7","first_computed_at":"2026-05-18T03:06:04.184907Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:04.184907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mh/r7z9PlvcDRU2aArQOnAAldYPJi9Cq1BSBFKPSvZP7uz8DdQX345pknRqcxvBg1LmcwtNWM9S9CbPScbOVDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:04.185447Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.7099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c1630644eb79c974dff9ff0261f5369d72a03484a35983ca55457756a059368f","sha256:010a333ed1a1e872d27ee9d701c78f0e93af14083d1b1e5446fb8a62351bb66f"],"state_sha256":"41eba267998a6dfaf20b7e23d9bfcb81378516b24558e8a54e4941a2baa497f2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v1syjOLdp0hqDWaCDWGP5GWCFzkHZkB298i7io6hh8oLZHf0rAaU29awAGpxVaQfHsHh2K6HqWqOXfNG/nQWAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T09:19:01.866547Z","bundle_sha256":"87c730912d94edafddc463e9e0d00404a58c8b0c7447af1487748bdbc24ccfab"}}