{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CXI6U2MZ3NCBPTZYYZEK2TC74D","short_pith_number":"pith:CXI6U2MZ","canonical_record":{"source":{"id":"1704.05947","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-04-19T22:24:00Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b050d67ad23b50f71b014f744e3bbf81332ce596fe4011b4a0bd81293881448d","abstract_canon_sha256":"1a8d5b85bc6ae7d7af00c420032dad588988f6af5f10cf42ebe20a52b3e8e9bb"},"schema_version":"1.0"},"canonical_sha256":"15d1ea6999db4417cf38c648ad4c5fe0f0755df9944d8ec38e396422eed7321b","source":{"kind":"arxiv","id":"1704.05947","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.05947","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"arxiv_version","alias_value":"1704.05947v2","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.05947","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"pith_short_12","alias_value":"CXI6U2MZ3NCB","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CXI6U2MZ3NCBPTZY","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CXI6U2MZ","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CXI6U2MZ3NCBPTZYYZEK2TC74D","target":"record","payload":{"canonical_record":{"source":{"id":"1704.05947","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-04-19T22:24:00Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"b050d67ad23b50f71b014f744e3bbf81332ce596fe4011b4a0bd81293881448d","abstract_canon_sha256":"1a8d5b85bc6ae7d7af00c420032dad588988f6af5f10cf42ebe20a52b3e8e9bb"},"schema_version":"1.0"},"canonical_sha256":"15d1ea6999db4417cf38c648ad4c5fe0f0755df9944d8ec38e396422eed7321b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:59.199098Z","signature_b64":"VA+gnCDxdMBtITmCUqRm1jfLx4eD9TPGa4YNPFdY1t8mw6d/aebWK0a3r5uEv8zZnMTEOHLaKJGA0Z7ssJl1AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15d1ea6999db4417cf38c648ad4c5fe0f0755df9944d8ec38e396422eed7321b","last_reissued_at":"2026-05-18T00:33:59.198369Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:59.198369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.05947","source_version":2,"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-18T00:33:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EdpztvLpWnOzVYTCmm9T7T7+mnu4RY56Q/w45dkw48/pbCa19iww6b6R6bg4Y81wHU+iSpHMxpZijb3tFKoeDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T15:49:38.873924Z"},"content_sha256":"14ebd6236a3fdec4de6b37043e2d055a58860a5461bc824c5d16f280334f6d9d","schema_version":"1.0","event_id":"sha256:14ebd6236a3fdec4de6b37043e2d055a58860a5461bc824c5d16f280334f6d9d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CXI6U2MZ3NCBPTZYYZEK2TC74D","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guaranteed Fault Detection and Isolation for Switched Affine Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"math.OC","authors_text":"Farshad Harirchi, Necmiye Ozay, Sze Zheng Yong","submitted_at":"2017-04-19T22:24:00Z","abstract_excerpt":"This paper considers the problem of fault detection and isolation (FDI) for switched affine models. We first study the model invalidation problem and its application to guaranteed fault detection. Novel and intuitive optimization-based formulations are proposed for model invalidation and T-distinguishability problems, which we demonstrate to be computationally more efficient than an earlier formulation that required a complicated change of variables. Moreover, we introduce a distinguishability index as a measure of separation between the system and fault models, which offers a practical method"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.05947","kind":"arxiv","version":2},"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-18T00:33:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j94smKkgYGRK/C9wunMkWc0TJ9eCbI+p4W+nSqzJWS3tyaWglybD7zfoXQBhk/hOdUa5e/5+SCxla83KPmIUCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T15:49:38.874268Z"},"content_sha256":"fe659bd157495b584923ae8db7a4f96762e63d3eb67d5c7b72a1d17caa61cd5c","schema_version":"1.0","event_id":"sha256:fe659bd157495b584923ae8db7a4f96762e63d3eb67d5c7b72a1d17caa61cd5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/bundle.json","state_url":"https://pith.science/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/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-06-28T15:49:38Z","links":{"resolver":"https://pith.science/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D","bundle":"https://pith.science/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/bundle.json","state":"https://pith.science/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CXI6U2MZ3NCBPTZYYZEK2TC74D/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CXI6U2MZ3NCBPTZYYZEK2TC74D","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":"1a8d5b85bc6ae7d7af00c420032dad588988f6af5f10cf42ebe20a52b3e8e9bb","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-04-19T22:24:00Z","title_canon_sha256":"b050d67ad23b50f71b014f744e3bbf81332ce596fe4011b4a0bd81293881448d"},"schema_version":"1.0","source":{"id":"1704.05947","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.05947","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"arxiv_version","alias_value":"1704.05947v2","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.05947","created_at":"2026-05-18T00:33:59Z"},{"alias_kind":"pith_short_12","alias_value":"CXI6U2MZ3NCB","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CXI6U2MZ3NCBPTZY","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CXI6U2MZ","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:fe659bd157495b584923ae8db7a4f96762e63d3eb67d5c7b72a1d17caa61cd5c","target":"graph","created_at":"2026-05-18T00:33:59Z","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":"This paper considers the problem of fault detection and isolation (FDI) for switched affine models. We first study the model invalidation problem and its application to guaranteed fault detection. Novel and intuitive optimization-based formulations are proposed for model invalidation and T-distinguishability problems, which we demonstrate to be computationally more efficient than an earlier formulation that required a complicated change of variables. Moreover, we introduce a distinguishability index as a measure of separation between the system and fault models, which offers a practical method","authors_text":"Farshad Harirchi, Necmiye Ozay, Sze Zheng Yong","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-04-19T22:24:00Z","title":"Guaranteed Fault Detection and Isolation for Switched Affine Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.05947","kind":"arxiv","version":2},"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:14ebd6236a3fdec4de6b37043e2d055a58860a5461bc824c5d16f280334f6d9d","target":"record","created_at":"2026-05-18T00:33:59Z","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":"1a8d5b85bc6ae7d7af00c420032dad588988f6af5f10cf42ebe20a52b3e8e9bb","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-04-19T22:24:00Z","title_canon_sha256":"b050d67ad23b50f71b014f744e3bbf81332ce596fe4011b4a0bd81293881448d"},"schema_version":"1.0","source":{"id":"1704.05947","kind":"arxiv","version":2}},"canonical_sha256":"15d1ea6999db4417cf38c648ad4c5fe0f0755df9944d8ec38e396422eed7321b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15d1ea6999db4417cf38c648ad4c5fe0f0755df9944d8ec38e396422eed7321b","first_computed_at":"2026-05-18T00:33:59.198369Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:33:59.198369Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VA+gnCDxdMBtITmCUqRm1jfLx4eD9TPGa4YNPFdY1t8mw6d/aebWK0a3r5uEv8zZnMTEOHLaKJGA0Z7ssJl1AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:33:59.199098Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.05947","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14ebd6236a3fdec4de6b37043e2d055a58860a5461bc824c5d16f280334f6d9d","sha256:fe659bd157495b584923ae8db7a4f96762e63d3eb67d5c7b72a1d17caa61cd5c"],"state_sha256":"eb6778e98b2fa0d9438561b8001c4678b33583e12cb9919a056cc3d41ad51ad1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D4torWr+zmttFyvb6wPVwhXmRZN7yHCuEj5fvDtdVr0rykveIWZyA7BHCtqm9gZxVT9+CzPMIr1gmFDgD1r2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T15:49:38.876188Z","bundle_sha256":"d28f55f2dd3c1de7afee04ef6175b35564c19c603efe6601ec2789b125928893"}}