{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:EUYG5AET6UWPKDAPP4JT3EWU4K","short_pith_number":"pith:EUYG5AET","schema_version":"1.0","canonical_sha256":"25306e8093f52cf50c0f7f133d92d4e2a134917e1fb52edc43f0fbbef55b7d8a","source":{"kind":"arxiv","id":"1709.09019","version":1},"attestation_state":"computed","paper":{"title":"Synthesizing SystemC Code from Delay 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","submitted_at":"2017-09-19T12:02:03Z","abstract_excerpt":"Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. This implies that safety or stability certificates obtained on idealized, delay-free models of systems prone to delayed coupling may be erratic, and further the incorrectness of the executable code generated from these models. However, automated methods for system verification and code generation that ought to address models of system dynamics reflecting delays have not been paid enough attention yet in the computer s"},"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":"1709.09019","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-09-19T12:02:03Z","cross_cats_sorted":[],"title_canon_sha256":"4e1b5401107208ef84b0b8ee59721d1fb4bb108dab33c0056bc176176ec1e1dd","abstract_canon_sha256":"a23a8fd7e806e112f28750ad791c8a77f45fc8ff75e8342f454d4bd73409887a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:34:21.361381Z","signature_b64":"gIbV8qd1BbiWVJJE0CHWgf5i8EEMkKxew4WksKj5oQyZ6zaykJpR7VPT5tFMhDbwYuQObm8HWLwIW92e94TbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25306e8093f52cf50c0f7f133d92d4e2a134917e1fb52edc43f0fbbef55b7d8a","last_reissued_at":"2026-05-18T00:34:21.360770Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:34:21.360770Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesizing SystemC Code from Delay 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","submitted_at":"2017-09-19T12:02:03Z","abstract_excerpt":"Delay is omnipresent in modern control systems, which can prompt oscillations and may cause deterioration of control performance, invalidate both stability and safety properties. This implies that safety or stability certificates obtained on idealized, delay-free models of systems prone to delayed coupling may be erratic, and further the incorrectness of the executable code generated from these models. However, automated methods for system verification and code generation that ought to address models of system dynamics reflecting delays have not been paid enough attention yet in the computer s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.09019","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":""},"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":"1709.09019","created_at":"2026-05-18T00:34:21.360859+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.09019v1","created_at":"2026-05-18T00:34:21.360859+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.09019","created_at":"2026-05-18T00:34:21.360859+00:00"},{"alias_kind":"pith_short_12","alias_value":"EUYG5AET6UWP","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"EUYG5AET6UWPKDAP","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"EUYG5AET","created_at":"2026-05-18T12:31:12.930513+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/EUYG5AET6UWPKDAPP4JT3EWU4K","json":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K.json","graph_json":"https://pith.science/api/pith-number/EUYG5AET6UWPKDAPP4JT3EWU4K/graph.json","events_json":"https://pith.science/api/pith-number/EUYG5AET6UWPKDAPP4JT3EWU4K/events.json","paper":"https://pith.science/paper/EUYG5AET"},"agent_actions":{"view_html":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K","download_json":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K.json","view_paper":"https://pith.science/paper/EUYG5AET","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.09019&json=true","fetch_graph":"https://pith.science/api/pith-number/EUYG5AET6UWPKDAPP4JT3EWU4K/graph.json","fetch_events":"https://pith.science/api/pith-number/EUYG5AET6UWPKDAPP4JT3EWU4K/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K/action/storage_attestation","attest_author":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K/action/author_attestation","sign_citation":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K/action/citation_signature","submit_replication":"https://pith.science/pith/EUYG5AET6UWPKDAPP4JT3EWU4K/action/replication_record"}},"created_at":"2026-05-18T00:34:21.360859+00:00","updated_at":"2026-05-18T00:34:21.360859+00:00"}