{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:NVOE3UGVABDMF3VBYVWMDD5LXQ","short_pith_number":"pith:NVOE3UGV","schema_version":"1.0","canonical_sha256":"6d5c4dd0d50046c2eea1c56cc18fabbc16f4df1d6245635589a049059ba105af","source":{"kind":"arxiv","id":"2308.06474","version":1},"attestation_state":"computed","paper":{"title":"Conformance Testing for Stochastic Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Jyotirmoy V. Deshmukh, Lars Lindemann, Navid Hashemi, Xin Qin","submitted_at":"2023-08-12T05:52:29Z","abstract_excerpt":"Conformance is defined as a measure of distance between the behaviors of two dynamical systems. The notion of conformance can accelerate system design when models of varying fidelities are available on which analysis and control design can be done more efficiently. Ultimately, conformance can capture distance between design models and their real implementations and thus aid in robust system design. In this paper, we are interested in the conformance of stochastic dynamical systems. We argue that probabilistic reasoning over the distribution of distances between model trajectories is a good mea"},"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":"2308.06474","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2023-08-12T05:52:29Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"7e35f709aea21c176f5a47c3757a6e9919ae380792ffec09d334e909aef50e07","abstract_canon_sha256":"acfcce3c7a536b761c480af2eb047091e4b7a28845369eefe9f99ed196bd0269"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:40:40.670273Z","signature_b64":"kEwDk5gzEM7HaZt0FgFK3T/DDR3CVD0DmwMTv3tphEKUZaPREaj+7ws4WWwZvlXwWvu52ZYgDVxFJnoNBpZwCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6d5c4dd0d50046c2eea1c56cc18fabbc16f4df1d6245635589a049059ba105af","last_reissued_at":"2026-07-05T06:40:40.669759Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:40:40.669759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Conformance Testing for Stochastic Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Jyotirmoy V. Deshmukh, Lars Lindemann, Navid Hashemi, Xin Qin","submitted_at":"2023-08-12T05:52:29Z","abstract_excerpt":"Conformance is defined as a measure of distance between the behaviors of two dynamical systems. The notion of conformance can accelerate system design when models of varying fidelities are available on which analysis and control design can be done more efficiently. Ultimately, conformance can capture distance between design models and their real implementations and thus aid in robust system design. In this paper, we are interested in the conformance of stochastic dynamical systems. We argue that probabilistic reasoning over the distribution of distances between model trajectories is a good mea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.06474","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/2308.06474/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":"2308.06474","created_at":"2026-07-05T06:40:40.669823+00:00"},{"alias_kind":"arxiv_version","alias_value":"2308.06474v1","created_at":"2026-07-05T06:40:40.669823+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.06474","created_at":"2026-07-05T06:40:40.669823+00:00"},{"alias_kind":"pith_short_12","alias_value":"NVOE3UGVABDM","created_at":"2026-07-05T06:40:40.669823+00:00"},{"alias_kind":"pith_short_16","alias_value":"NVOE3UGVABDMF3VB","created_at":"2026-07-05T06:40:40.669823+00:00"},{"alias_kind":"pith_short_8","alias_value":"NVOE3UGV","created_at":"2026-07-05T06:40:40.669823+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/NVOE3UGVABDMF3VBYVWMDD5LXQ","json":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ.json","graph_json":"https://pith.science/api/pith-number/NVOE3UGVABDMF3VBYVWMDD5LXQ/graph.json","events_json":"https://pith.science/api/pith-number/NVOE3UGVABDMF3VBYVWMDD5LXQ/events.json","paper":"https://pith.science/paper/NVOE3UGV"},"agent_actions":{"view_html":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ","download_json":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ.json","view_paper":"https://pith.science/paper/NVOE3UGV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2308.06474&json=true","fetch_graph":"https://pith.science/api/pith-number/NVOE3UGVABDMF3VBYVWMDD5LXQ/graph.json","fetch_events":"https://pith.science/api/pith-number/NVOE3UGVABDMF3VBYVWMDD5LXQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ/action/storage_attestation","attest_author":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ/action/author_attestation","sign_citation":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ/action/citation_signature","submit_replication":"https://pith.science/pith/NVOE3UGVABDMF3VBYVWMDD5LXQ/action/replication_record"}},"created_at":"2026-07-05T06:40:40.669823+00:00","updated_at":"2026-07-05T06:40:40.669823+00:00"}