{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:INFTTEIUM7J5KQHPORQT5XBOP4","short_pith_number":"pith:INFTTEIU","schema_version":"1.0","canonical_sha256":"434b39911467d3d540ef74613edc2e7f2dd43e8d133d85f0db5c28962627698a","source":{"kind":"arxiv","id":"2405.06445","version":6},"attestation_state":"computed","paper":{"title":"Systematic interval observer design for linear systems","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Gia Quoc Bao Tran, Thach Ngoc Dinh","submitted_at":"2024-05-10T12:50:52Z","abstract_excerpt":"We first develop systematic and comprehensive interval observer designs for linear time-invariant (LTI) systems, under standard assumptions of observability and interval bounds on the initial condition and uncertainties. Traditionally, such designs rely on specific transformations into Metzler (in continuous time) or non-negative (in discrete time) forms, which may impose limitations. We demonstrate that these can be effectively replaced by an LTI transformation that is straightforward to compute offline. Subsequently, we extend the framework to time-varying systems, overcoming the limitations"},"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":"2405.06445","kind":"arxiv","version":6},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"eess.SY","submitted_at":"2024-05-10T12:50:52Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"f4f79905b2a4b3dfc09a983ad49b319ac339121c3e4556e9ba22874a7a6a0b48","abstract_canon_sha256":"ec51a68ebf6b395f2cb61162c152622dec1c1ba9fb6b883c5805a4f3d97b359a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:16:49.096870Z","signature_b64":"KSjt1bvGxjiK3H5T6jBsQ0/PJ9vqhNkKUw7kSQtMMk4vNpI3AYJ7r0utPykqiCGiPDwDYk0R4ZUMfBOrfrCxDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"434b39911467d3d540ef74613edc2e7f2dd43e8d133d85f0db5c28962627698a","last_reissued_at":"2026-07-05T11:16:49.096365Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:16:49.096365Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Systematic interval observer design for linear systems","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Gia Quoc Bao Tran, Thach Ngoc Dinh","submitted_at":"2024-05-10T12:50:52Z","abstract_excerpt":"We first develop systematic and comprehensive interval observer designs for linear time-invariant (LTI) systems, under standard assumptions of observability and interval bounds on the initial condition and uncertainties. Traditionally, such designs rely on specific transformations into Metzler (in continuous time) or non-negative (in discrete time) forms, which may impose limitations. We demonstrate that these can be effectively replaced by an LTI transformation that is straightforward to compute offline. Subsequently, we extend the framework to time-varying systems, overcoming the limitations"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06445","kind":"arxiv","version":6},"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/2405.06445/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":"2405.06445","created_at":"2026-07-05T11:16:49.096432+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.06445v6","created_at":"2026-07-05T11:16:49.096432+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06445","created_at":"2026-07-05T11:16:49.096432+00:00"},{"alias_kind":"pith_short_12","alias_value":"INFTTEIUM7J5","created_at":"2026-07-05T11:16:49.096432+00:00"},{"alias_kind":"pith_short_16","alias_value":"INFTTEIUM7J5KQHP","created_at":"2026-07-05T11:16:49.096432+00:00"},{"alias_kind":"pith_short_8","alias_value":"INFTTEIU","created_at":"2026-07-05T11:16:49.096432+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/INFTTEIUM7J5KQHPORQT5XBOP4","json":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4.json","graph_json":"https://pith.science/api/pith-number/INFTTEIUM7J5KQHPORQT5XBOP4/graph.json","events_json":"https://pith.science/api/pith-number/INFTTEIUM7J5KQHPORQT5XBOP4/events.json","paper":"https://pith.science/paper/INFTTEIU"},"agent_actions":{"view_html":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4","download_json":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4.json","view_paper":"https://pith.science/paper/INFTTEIU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.06445&json=true","fetch_graph":"https://pith.science/api/pith-number/INFTTEIUM7J5KQHPORQT5XBOP4/graph.json","fetch_events":"https://pith.science/api/pith-number/INFTTEIUM7J5KQHPORQT5XBOP4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4/action/storage_attestation","attest_author":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4/action/author_attestation","sign_citation":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4/action/citation_signature","submit_replication":"https://pith.science/pith/INFTTEIUM7J5KQHPORQT5XBOP4/action/replication_record"}},"created_at":"2026-07-05T11:16:49.096432+00:00","updated_at":"2026-07-05T11:16:49.096432+00:00"}