{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:D742IZQY3MXVNNZFHC3SYCCH3C","short_pith_number":"pith:D742IZQY","schema_version":"1.0","canonical_sha256":"1ff9a46618db2f56b72538b72c0847d8971d7ac35f5873121e9bbc68dd850901","source":{"kind":"arxiv","id":"1609.00091","version":2},"attestation_state":"computed","paper":{"title":"Approximate Bisimulation and Discretization of Hybrid CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Gaogao Yan, Li Jiao, Naijun Zhan, Shuling Wang, Yangjia Li","submitted_at":"2016-09-01T02:23:22Z","abstract_excerpt":"Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling interaction between continuous and discrete dynamics. In this paper, we investigate the semantic foundation for HCSP from an operational point of view by proposing notion of approximate bisimulation, which provides an appropriate criterion to characterize the equivalence between HCSP processes with continuous and discrete behaviour. We give an algorithm to dete"},"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":"1609.00091","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-09-01T02:23:22Z","cross_cats_sorted":[],"title_canon_sha256":"cd8a5c5b04f3e784616ecf0d9e63c00fe3fb9208172c8b2bb8cd4fbdd80ebfe1","abstract_canon_sha256":"8c007075855302eeb89b03d2a4f942acba426936adc7d20ae858386df19a9652"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:55.425646Z","signature_b64":"sReB+mjxGb1LvlKRIFPQErwnxq3wntHyc5u/mt4NTO8nWse8AS8CNVe63PuDLDGcOJ6hkcifl6QrCSBAiXAOCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ff9a46618db2f56b72538b72c0847d8971d7ac35f5873121e9bbc68dd850901","last_reissued_at":"2026-05-18T01:04:55.425138Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:55.425138Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Approximate Bisimulation and Discretization of Hybrid CSP","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Gaogao Yan, Li Jiao, Naijun Zhan, Shuling Wang, Yangjia Li","submitted_at":"2016-09-01T02:23:22Z","abstract_excerpt":"Hybrid Communicating Sequential Processes (HCSP) is a powerful formal modeling language for hybrid systems, which is an extension of CSP by introducing differential equations for modeling continuous evolution and interrupts for modeling interaction between continuous and discrete dynamics. In this paper, we investigate the semantic foundation for HCSP from an operational point of view by proposing notion of approximate bisimulation, which provides an appropriate criterion to characterize the equivalence between HCSP processes with continuous and discrete behaviour. We give an algorithm to dete"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1609.00091","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":"1609.00091","created_at":"2026-05-18T01:04:55.425220+00:00"},{"alias_kind":"arxiv_version","alias_value":"1609.00091v2","created_at":"2026-05-18T01:04:55.425220+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1609.00091","created_at":"2026-05-18T01:04:55.425220+00:00"},{"alias_kind":"pith_short_12","alias_value":"D742IZQY3MXV","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_16","alias_value":"D742IZQY3MXVNNZF","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_8","alias_value":"D742IZQY","created_at":"2026-05-18T12:30:09.641336+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/D742IZQY3MXVNNZFHC3SYCCH3C","json":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C.json","graph_json":"https://pith.science/api/pith-number/D742IZQY3MXVNNZFHC3SYCCH3C/graph.json","events_json":"https://pith.science/api/pith-number/D742IZQY3MXVNNZFHC3SYCCH3C/events.json","paper":"https://pith.science/paper/D742IZQY"},"agent_actions":{"view_html":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C","download_json":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C.json","view_paper":"https://pith.science/paper/D742IZQY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1609.00091&json=true","fetch_graph":"https://pith.science/api/pith-number/D742IZQY3MXVNNZFHC3SYCCH3C/graph.json","fetch_events":"https://pith.science/api/pith-number/D742IZQY3MXVNNZFHC3SYCCH3C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C/action/storage_attestation","attest_author":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C/action/author_attestation","sign_citation":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C/action/citation_signature","submit_replication":"https://pith.science/pith/D742IZQY3MXVNNZFHC3SYCCH3C/action/replication_record"}},"created_at":"2026-05-18T01:04:55.425220+00:00","updated_at":"2026-05-18T01:04:55.425220+00:00"}