{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ROFH2FLSPVP5WQ43NI2W7ZI4HC","short_pith_number":"pith:ROFH2FLS","schema_version":"1.0","canonical_sha256":"8b8a7d15727d5fdb439b6a356fe51c38b3f649c47157be793d4282dca588f391","source":{"kind":"arxiv","id":"2411.17215","version":1},"attestation_state":"computed","paper":{"title":"Interval-based validation of a nonlinear estimator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Damien Mass\\'e (Lab-STICC), Luc Jaulin (Lab-STICC), Ma\\\"el Godard (Lab-STICC)","submitted_at":"2024-11-26T08:31:09Z","abstract_excerpt":"In engineering, models are often used to represent the behavior of a system. Estimators are then needed to approximate the values of the model's parameters based on observations. This approximation implies a difference between the values predicted by the model and the observations that have been made. It creates an uncertainty that can lead to dangerous decision making. Interval analysis tools can be used to guarantee some properties of an estimator, even when the estimator itself doesn't rely on interval analysis (Adam, 2019) (Adam, 2015). This paper contributes to this dynamic by proposing a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2411.17215","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-11-26T08:31:09Z","cross_cats_sorted":[],"title_canon_sha256":"5082f273f128e876a868435ea17fe2f363de724ac5dce2293143ee67cadd8b95","abstract_canon_sha256":"7ac1a48f1cca1959402b71bb8a466dc59179aa5d2a0a0279c62e023ea802891f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:45.884183Z","signature_b64":"oUTyFFiKIZVFRZX53zmylcVTVmqcqqFlTgvXp/6tK1ecY9q0WMpgNN8n3LAdBlrn5FifMZvPDApVbLaNskCkAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b8a7d15727d5fdb439b6a356fe51c38b3f649c47157be793d4282dca588f391","last_reissued_at":"2026-07-05T09:40:45.883777Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:45.883777Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Interval-based validation of a nonlinear estimator","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Damien Mass\\'e (Lab-STICC), Luc Jaulin (Lab-STICC), Ma\\\"el Godard (Lab-STICC)","submitted_at":"2024-11-26T08:31:09Z","abstract_excerpt":"In engineering, models are often used to represent the behavior of a system. Estimators are then needed to approximate the values of the model's parameters based on observations. This approximation implies a difference between the values predicted by the model and the observations that have been made. It creates an uncertainty that can lead to dangerous decision making. Interval analysis tools can be used to guarantee some properties of an estimator, even when the estimator itself doesn't rely on interval analysis (Adam, 2019) (Adam, 2015). This paper contributes to this dynamic by proposing a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17215","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.17215/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2411.17215","created_at":"2026-07-05T09:40:45.883833+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.17215v1","created_at":"2026-07-05T09:40:45.883833+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17215","created_at":"2026-07-05T09:40:45.883833+00:00"},{"alias_kind":"pith_short_12","alias_value":"ROFH2FLSPVP5","created_at":"2026-07-05T09:40:45.883833+00:00"},{"alias_kind":"pith_short_16","alias_value":"ROFH2FLSPVP5WQ43","created_at":"2026-07-05T09:40:45.883833+00:00"},{"alias_kind":"pith_short_8","alias_value":"ROFH2FLS","created_at":"2026-07-05T09:40:45.883833+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC","json":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC.json","graph_json":"https://pith.science/api/pith-number/ROFH2FLSPVP5WQ43NI2W7ZI4HC/graph.json","events_json":"https://pith.science/api/pith-number/ROFH2FLSPVP5WQ43NI2W7ZI4HC/events.json","paper":"https://pith.science/paper/ROFH2FLS"},"agent_actions":{"view_html":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC","download_json":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC.json","view_paper":"https://pith.science/paper/ROFH2FLS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.17215&json=true","fetch_graph":"https://pith.science/api/pith-number/ROFH2FLSPVP5WQ43NI2W7ZI4HC/graph.json","fetch_events":"https://pith.science/api/pith-number/ROFH2FLSPVP5WQ43NI2W7ZI4HC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC/action/storage_attestation","attest_author":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC/action/author_attestation","sign_citation":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC/action/citation_signature","submit_replication":"https://pith.science/pith/ROFH2FLSPVP5WQ43NI2W7ZI4HC/action/replication_record"}},"created_at":"2026-07-05T09:40:45.883833+00:00","updated_at":"2026-07-05T09:40:45.883833+00:00"}