{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:UIYK2KLSNZXIKMZJF5MPICIDQQ","short_pith_number":"pith:UIYK2KLS","schema_version":"1.0","canonical_sha256":"a230ad29726e6e8533292f58f40903842e5972c986c8e37a71920468ae16554c","source":{"kind":"arxiv","id":"1401.5200","version":2},"attestation_state":"computed","paper":{"title":"Conformance Testing as Falsification for Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Bardh Hoxha, Georgios Fainekos, Houssam Abbas, James Kapinski, Jyotirmoy V. Deshmukh, Koichi Ueda","submitted_at":"2014-01-21T07:17:47Z","abstract_excerpt":"In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathematical analysis of the model, control synthesis, faster simulation etc. Furthermore, when (automatically or manually) transitioning from a model to its implementation on an actual computational platform, then again two different versions of the same system are being developed. In all previous cases, it is necessary to define a rigorous notion of conformance between different models and between models and their implement"},"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":"1401.5200","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2014-01-21T07:17:47Z","cross_cats_sorted":[],"title_canon_sha256":"a9aeedbcdbd2480da3bf5ee2becd17bba3ed2ba43fb6c4daa17d3ec5a1c7cf3d","abstract_canon_sha256":"1ae63ef74bcfab39ac39bb2e6d90149db964142fd354725346dd23bb8f2fa20a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:42.559247Z","signature_b64":"2ZRzGM6NaLAGEZ6o+sWCWHA79T+UWcIKxpJs678Ds9ymAihyv0dYjeegDGfNVOF9GZZspobFbgGDfPJvlGulDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a230ad29726e6e8533292f58f40903842e5972c986c8e37a71920468ae16554c","last_reissued_at":"2026-05-18T02:50:42.558640Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:42.558640Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Conformance Testing as Falsification for Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Bardh Hoxha, Georgios Fainekos, Houssam Abbas, James Kapinski, Jyotirmoy V. Deshmukh, Koichi Ueda","submitted_at":"2014-01-21T07:17:47Z","abstract_excerpt":"In Model-Based Design of Cyber-Physical Systems (CPS), it is often desirable to develop several models of varying fidelity. Models of different fidelity levels can enable mathematical analysis of the model, control synthesis, faster simulation etc. Furthermore, when (automatically or manually) transitioning from a model to its implementation on an actual computational platform, then again two different versions of the same system are being developed. In all previous cases, it is necessary to define a rigorous notion of conformance between different models and between models and their implement"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5200","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.5200","created_at":"2026-05-18T02:50:42.558726+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.5200v2","created_at":"2026-05-18T02:50:42.558726+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5200","created_at":"2026-05-18T02:50:42.558726+00:00"},{"alias_kind":"pith_short_12","alias_value":"UIYK2KLSNZXI","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"UIYK2KLSNZXIKMZJ","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"UIYK2KLS","created_at":"2026-05-18T12:28:52.271510+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/UIYK2KLSNZXIKMZJF5MPICIDQQ","json":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ.json","graph_json":"https://pith.science/api/pith-number/UIYK2KLSNZXIKMZJF5MPICIDQQ/graph.json","events_json":"https://pith.science/api/pith-number/UIYK2KLSNZXIKMZJF5MPICIDQQ/events.json","paper":"https://pith.science/paper/UIYK2KLS"},"agent_actions":{"view_html":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ","download_json":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ.json","view_paper":"https://pith.science/paper/UIYK2KLS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.5200&json=true","fetch_graph":"https://pith.science/api/pith-number/UIYK2KLSNZXIKMZJF5MPICIDQQ/graph.json","fetch_events":"https://pith.science/api/pith-number/UIYK2KLSNZXIKMZJF5MPICIDQQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ/action/storage_attestation","attest_author":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ/action/author_attestation","sign_citation":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ/action/citation_signature","submit_replication":"https://pith.science/pith/UIYK2KLSNZXIKMZJF5MPICIDQQ/action/replication_record"}},"created_at":"2026-05-18T02:50:42.558726+00:00","updated_at":"2026-05-18T02:50:42.558726+00:00"}