{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:F4AKC4JQ5CWSN43WRRAKLMW2QJ","short_pith_number":"pith:F4AKC4JQ","schema_version":"1.0","canonical_sha256":"2f00a17130e8ad26f3768c40a5b2da827978786588243dfd9090b8c866a37f51","source":{"kind":"arxiv","id":"1101.4271","version":1},"attestation_state":"computed","paper":{"title":"Online Verification of Control Parameter Calculations in Communication Based Train Control System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Lei Bu, Linzhang Wang, Xin Chen, Xuandong Li","submitted_at":"2011-01-22T08:10:36Z","abstract_excerpt":"Communication Based Train Control (CBTC) system is the state-of-the-art train control system. In a CBTC system, to guarantee the safety of train operation, trains communicate with each other intensively and adjust their control modes autonomously by computing critical control parameters, e.g. velocity range, according to the information they get. As the correctness of the control parameters generated are critical to the safety of the system, a method to verify these parameters is a strong desire in the area of train control system. In this paper, we present our ideas of how to model and verify"},"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":"1101.4271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2011-01-22T08:10:36Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a282504e712459b8bde01ef1f1f38a84e2333a583b1ca79d93f583d16f29e54c","abstract_canon_sha256":"2aa57fc46bdeb32fe0b095c652cd7dbbbb8f72ea27fd9b2ff32e8e539dd7d261"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:22:50.545237Z","signature_b64":"fidJZPzr9VpSfKxFTWs568bH79JPFOQ4bQqA9xg/IwfgBmkr/1Ck25rm5IL2lmeEHicOXlbrxv2J1m9+EQRDBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f00a17130e8ad26f3768c40a5b2da827978786588243dfd9090b8c866a37f51","last_reissued_at":"2026-05-18T02:22:50.544677Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:22:50.544677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Online Verification of Control Parameter Calculations in Communication Based Train Control System","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.SE","authors_text":"Lei Bu, Linzhang Wang, Xin Chen, Xuandong Li","submitted_at":"2011-01-22T08:10:36Z","abstract_excerpt":"Communication Based Train Control (CBTC) system is the state-of-the-art train control system. In a CBTC system, to guarantee the safety of train operation, trains communicate with each other intensively and adjust their control modes autonomously by computing critical control parameters, e.g. velocity range, according to the information they get. As the correctness of the control parameters generated are critical to the safety of the system, a method to verify these parameters is a strong desire in the area of train control system. In this paper, we present our ideas of how to model and verify"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.4271","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":"1101.4271","created_at":"2026-05-18T02:22:50.544753+00:00"},{"alias_kind":"arxiv_version","alias_value":"1101.4271v1","created_at":"2026-05-18T02:22:50.544753+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.4271","created_at":"2026-05-18T02:22:50.544753+00:00"},{"alias_kind":"pith_short_12","alias_value":"F4AKC4JQ5CWS","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_16","alias_value":"F4AKC4JQ5CWSN43W","created_at":"2026-05-18T12:26:28.662955+00:00"},{"alias_kind":"pith_short_8","alias_value":"F4AKC4JQ","created_at":"2026-05-18T12:26:28.662955+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/F4AKC4JQ5CWSN43WRRAKLMW2QJ","json":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ.json","graph_json":"https://pith.science/api/pith-number/F4AKC4JQ5CWSN43WRRAKLMW2QJ/graph.json","events_json":"https://pith.science/api/pith-number/F4AKC4JQ5CWSN43WRRAKLMW2QJ/events.json","paper":"https://pith.science/paper/F4AKC4JQ"},"agent_actions":{"view_html":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ","download_json":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ.json","view_paper":"https://pith.science/paper/F4AKC4JQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1101.4271&json=true","fetch_graph":"https://pith.science/api/pith-number/F4AKC4JQ5CWSN43WRRAKLMW2QJ/graph.json","fetch_events":"https://pith.science/api/pith-number/F4AKC4JQ5CWSN43WRRAKLMW2QJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ/action/storage_attestation","attest_author":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ/action/author_attestation","sign_citation":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ/action/citation_signature","submit_replication":"https://pith.science/pith/F4AKC4JQ5CWSN43WRRAKLMW2QJ/action/replication_record"}},"created_at":"2026-05-18T02:22:50.544753+00:00","updated_at":"2026-05-18T02:22:50.544753+00:00"}