{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:5JFCW53PJNWIIIIKTPX3CS3JD7","short_pith_number":"pith:5JFCW53P","canonical_record":{"source":{"id":"1809.02876","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-08T21:24:30Z","cross_cats_sorted":[],"title_canon_sha256":"d671bf85dd6a8f0a63d566bec83176726a6ff30fb733d37088d9fd5138178847","abstract_canon_sha256":"e4634bbf0646396a59130d3b44e6b3e4312ca87288e9a82690de6b9d53bd33c1"},"schema_version":"1.0"},"canonical_sha256":"ea4a2b776f4b6c84210a9befb14b691fc88c60efa27b8690258f805aff6be1d7","source":{"kind":"arxiv","id":"1809.02876","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.02876","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"1809.02876v2","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.02876","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"5JFCW53PJNWI","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5JFCW53PJNWIIIIK","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5JFCW53P","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:5JFCW53PJNWIIIIKTPX3CS3JD7","target":"record","payload":{"canonical_record":{"source":{"id":"1809.02876","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-08T21:24:30Z","cross_cats_sorted":[],"title_canon_sha256":"d671bf85dd6a8f0a63d566bec83176726a6ff30fb733d37088d9fd5138178847","abstract_canon_sha256":"e4634bbf0646396a59130d3b44e6b3e4312ca87288e9a82690de6b9d53bd33c1"},"schema_version":"1.0"},"canonical_sha256":"ea4a2b776f4b6c84210a9befb14b691fc88c60efa27b8690258f805aff6be1d7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:09.098491Z","signature_b64":"nNTZ7LdQtiaIQ7BQ1ElUue1MpczSSiatkMd4BfW5svZ/Hth36FhoExcxbhHiVm4/R9mzEKCS2g3w050emB9nDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea4a2b776f4b6c84210a9befb14b691fc88c60efa27b8690258f805aff6be1d7","last_reissued_at":"2026-05-18T00:02:09.097897Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:09.097897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.02876","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NXSvi2AwI19Q7BEAXxkOvEyiXIcyYtI9KaieqihQpb3mtYZzaoxGm0i/lFJYAaYVnj1N/sgWB+KgXYlDHJjxDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T05:55:24.022302Z"},"content_sha256":"2d583c5169ab1e0121ea1905f628e9f63458517439462f530e766b8c8c1a1d04","schema_version":"1.0","event_id":"sha256:2d583c5169ab1e0121ea1905f628e9f63458517439462f530e766b8c8c1a1d04"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:5JFCW53PJNWIIIIKTPX3CS3JD7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Real-time control of metro train dynamics with minimization of train time-headway variance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Fabien Leurent, Florian Schanzenbacher, G\\'erard Gabriel, Nadir Farhi","submitted_at":"2018-09-08T21:24:30Z","abstract_excerpt":"We present here a real-time control model for the train dynamics in a linear metro line system. The model describes the train dynamics taking into account average passenger arrival rates on platforms, including control laws for train dwell and run times, based on the feedback of the train dynamics. The model extends a recently developed Max-plus linear traffic model with demand-dependent dwell times and a run time control. The extension permits the elimination of eventual irregularities on the train time-headway. The resulting train dynamics are interpreted as a dynamic programming system of a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.02876","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:02:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g5y3NKLnqnxqzEBLNHIkAB1vj/US/FhiYnuwEDTEIzXM5nYD6KqoRLvOpHysHCelR6bZUts/+UP0j6Wz4l/LBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T05:55:24.022711Z"},"content_sha256":"bcdf6901901aaa7234027104c6a47e172b119765ca4e7463761dde322eaa60d4","schema_version":"1.0","event_id":"sha256:bcdf6901901aaa7234027104c6a47e172b119765ca4e7463761dde322eaa60d4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/bundle.json","state_url":"https://pith.science/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-24T05:55:24Z","links":{"resolver":"https://pith.science/pith/5JFCW53PJNWIIIIKTPX3CS3JD7","bundle":"https://pith.science/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/bundle.json","state":"https://pith.science/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5JFCW53PJNWIIIIKTPX3CS3JD7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:5JFCW53PJNWIIIIKTPX3CS3JD7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e4634bbf0646396a59130d3b44e6b3e4312ca87288e9a82690de6b9d53bd33c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-08T21:24:30Z","title_canon_sha256":"d671bf85dd6a8f0a63d566bec83176726a6ff30fb733d37088d9fd5138178847"},"schema_version":"1.0","source":{"id":"1809.02876","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.02876","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"arxiv_version","alias_value":"1809.02876v2","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.02876","created_at":"2026-05-18T00:02:09Z"},{"alias_kind":"pith_short_12","alias_value":"5JFCW53PJNWI","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"5JFCW53PJNWIIIIK","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"5JFCW53P","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:bcdf6901901aaa7234027104c6a47e172b119765ca4e7463761dde322eaa60d4","target":"graph","created_at":"2026-05-18T00:02:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We present here a real-time control model for the train dynamics in a linear metro line system. The model describes the train dynamics taking into account average passenger arrival rates on platforms, including control laws for train dwell and run times, based on the feedback of the train dynamics. The model extends a recently developed Max-plus linear traffic model with demand-dependent dwell times and a run time control. The extension permits the elimination of eventual irregularities on the train time-headway. The resulting train dynamics are interpreted as a dynamic programming system of a","authors_text":"Fabien Leurent, Florian Schanzenbacher, G\\'erard Gabriel, Nadir Farhi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-08T21:24:30Z","title":"Real-time control of metro train dynamics with minimization of train time-headway variance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.02876","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:2d583c5169ab1e0121ea1905f628e9f63458517439462f530e766b8c8c1a1d04","target":"record","created_at":"2026-05-18T00:02:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e4634bbf0646396a59130d3b44e6b3e4312ca87288e9a82690de6b9d53bd33c1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-09-08T21:24:30Z","title_canon_sha256":"d671bf85dd6a8f0a63d566bec83176726a6ff30fb733d37088d9fd5138178847"},"schema_version":"1.0","source":{"id":"1809.02876","kind":"arxiv","version":2}},"canonical_sha256":"ea4a2b776f4b6c84210a9befb14b691fc88c60efa27b8690258f805aff6be1d7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea4a2b776f4b6c84210a9befb14b691fc88c60efa27b8690258f805aff6be1d7","first_computed_at":"2026-05-18T00:02:09.097897Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:09.097897Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nNTZ7LdQtiaIQ7BQ1ElUue1MpczSSiatkMd4BfW5svZ/Hth36FhoExcxbhHiVm4/R9mzEKCS2g3w050emB9nDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:09.098491Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.02876","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d583c5169ab1e0121ea1905f628e9f63458517439462f530e766b8c8c1a1d04","sha256:bcdf6901901aaa7234027104c6a47e172b119765ca4e7463761dde322eaa60d4"],"state_sha256":"be7161d149311c0d1c48d16c3eb0d6c00834b2a41660d41291fe939b9dc60264"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lxNXLUyJU6pXmXDUtOS4pfEHfUhbYV7x4F+ZfArPYcCNBxXREtMyBEWuVXS3Jgt09ThBRciTAYLii3fKe3C0Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T05:55:24.024874Z","bundle_sha256":"05c32b843d4c2d692de3a3581f73da0fcdcd1c750fb06e7b88f2d49c85984e9e"}}