{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:JJEYJZNYUMVGVKFYJ5PO5466KM","short_pith_number":"pith:JJEYJZNY","canonical_record":{"source":{"id":"1803.03537","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-08T07:38:53Z","cross_cats_sorted":[],"title_canon_sha256":"1adab22a0799acc0e5ffdcdede24abe9b4f671604f42f43640c57c11db215366","abstract_canon_sha256":"967593b9161de2179c96cf49f6a6e4b05a80d691497b42a1a798c907fa79e573"},"schema_version":"1.0"},"canonical_sha256":"4a4984e5b8a32a6aa8b84f5eeef3de530e9875f628be123d010a6739d28fa7e0","source":{"kind":"arxiv","id":"1803.03537","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03537","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03537v1","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03537","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"pith_short_12","alias_value":"JJEYJZNYUMVG","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JJEYJZNYUMVGVKFY","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JJEYJZNY","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:JJEYJZNYUMVGVKFYJ5PO5466KM","target":"record","payload":{"canonical_record":{"source":{"id":"1803.03537","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-08T07:38:53Z","cross_cats_sorted":[],"title_canon_sha256":"1adab22a0799acc0e5ffdcdede24abe9b4f671604f42f43640c57c11db215366","abstract_canon_sha256":"967593b9161de2179c96cf49f6a6e4b05a80d691497b42a1a798c907fa79e573"},"schema_version":"1.0"},"canonical_sha256":"4a4984e5b8a32a6aa8b84f5eeef3de530e9875f628be123d010a6739d28fa7e0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:02:12.726106Z","signature_b64":"HUsBYgxVkxAxzZz+c17PVmjjlj08K73GWzDfidogg4EjWrhlnERxZ67rPOOGT6YnE7zkZZY0KzGhwlqhROO1Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4a4984e5b8a32a6aa8b84f5eeef3de530e9875f628be123d010a6739d28fa7e0","last_reissued_at":"2026-05-18T00:02:12.725255Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:02:12.725255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.03537","source_version":1,"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:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VF5AFOdlcmJ7Ok4+x3vdDrMe/yYCuqprKiXgkAW+N5HYuS/D+X/OcZpKD22Js5TvIIfj+VkgpYNuDjj5Vr8cCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:30:31.572631Z"},"content_sha256":"a6928bf8cf61404f0294683f2724f1fc9f992cbc5663ccd8f53e94deeffc6c76","schema_version":"1.0","event_id":"sha256:a6928bf8cf61404f0294683f2724f1fc9f992cbc5663ccd8f53e94deeffc6c76"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:JJEYJZNYUMVGVKFYJ5PO5466KM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A discrete event traffic model explaining the traffic phases of the train dynamics on a linear metro line with demand-dependent control","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-03-08T07:38:53Z","abstract_excerpt":"In this paper we present a mathematical model of the train dynamics in a linear metro line system with demand-dependent run and dwell times. On every segment of the line, we consider two main constraints. The first constraint is on the travel time, which is the sum of run and dwell time. The second one is on the safe separation time, modeling the signaling system, so that only one train can occupy a segment at a time. The dwell and the run times are modeled dynamically, with two control laws. The one on the dwell time makes sure that all the passengers can debark from and embark into the train"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03537","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"},"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:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Z+9WdXiehv/hndaAhSn++2313xV/SJ8bLfD5k2vGLb3Vg8WsVxNAYxU29r/rhNjT1yVVgsF56NAKomnLjLhcBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T08:30:31.572976Z"},"content_sha256":"8e8c76f1b4c3d3ef2c2f5e029c4aa5bff4ef54feb228dda1382a424d9036ce9c","schema_version":"1.0","event_id":"sha256:8e8c76f1b4c3d3ef2c2f5e029c4aa5bff4ef54feb228dda1382a424d9036ce9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/bundle.json","state_url":"https://pith.science/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/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-24T08:30:31Z","links":{"resolver":"https://pith.science/pith/JJEYJZNYUMVGVKFYJ5PO5466KM","bundle":"https://pith.science/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/bundle.json","state":"https://pith.science/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JJEYJZNYUMVGVKFYJ5PO5466KM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JJEYJZNYUMVGVKFYJ5PO5466KM","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":"967593b9161de2179c96cf49f6a6e4b05a80d691497b42a1a798c907fa79e573","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-08T07:38:53Z","title_canon_sha256":"1adab22a0799acc0e5ffdcdede24abe9b4f671604f42f43640c57c11db215366"},"schema_version":"1.0","source":{"id":"1803.03537","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.03537","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"arxiv_version","alias_value":"1803.03537v1","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.03537","created_at":"2026-05-18T00:02:12Z"},{"alias_kind":"pith_short_12","alias_value":"JJEYJZNYUMVG","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JJEYJZNYUMVGVKFY","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JJEYJZNY","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:8e8c76f1b4c3d3ef2c2f5e029c4aa5bff4ef54feb228dda1382a424d9036ce9c","target":"graph","created_at":"2026-05-18T00:02:12Z","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":"In this paper we present a mathematical model of the train dynamics in a linear metro line system with demand-dependent run and dwell times. On every segment of the line, we consider two main constraints. The first constraint is on the travel time, which is the sum of run and dwell time. The second one is on the safe separation time, modeling the signaling system, so that only one train can occupy a segment at a time. The dwell and the run times are modeled dynamically, with two control laws. The one on the dwell time makes sure that all the passengers can debark from and embark into the train","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-03-08T07:38:53Z","title":"A discrete event traffic model explaining the traffic phases of the train dynamics on a linear metro line with demand-dependent control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.03537","kind":"arxiv","version":1},"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:a6928bf8cf61404f0294683f2724f1fc9f992cbc5663ccd8f53e94deeffc6c76","target":"record","created_at":"2026-05-18T00:02:12Z","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":"967593b9161de2179c96cf49f6a6e4b05a80d691497b42a1a798c907fa79e573","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-03-08T07:38:53Z","title_canon_sha256":"1adab22a0799acc0e5ffdcdede24abe9b4f671604f42f43640c57c11db215366"},"schema_version":"1.0","source":{"id":"1803.03537","kind":"arxiv","version":1}},"canonical_sha256":"4a4984e5b8a32a6aa8b84f5eeef3de530e9875f628be123d010a6739d28fa7e0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4a4984e5b8a32a6aa8b84f5eeef3de530e9875f628be123d010a6739d28fa7e0","first_computed_at":"2026-05-18T00:02:12.725255Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:02:12.725255Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HUsBYgxVkxAxzZz+c17PVmjjlj08K73GWzDfidogg4EjWrhlnERxZ67rPOOGT6YnE7zkZZY0KzGhwlqhROO1Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:02:12.726106Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.03537","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a6928bf8cf61404f0294683f2724f1fc9f992cbc5663ccd8f53e94deeffc6c76","sha256:8e8c76f1b4c3d3ef2c2f5e029c4aa5bff4ef54feb228dda1382a424d9036ce9c"],"state_sha256":"ecb95a37182d47c5ccc746e2644dac8a978eabf53acc095eca76f93ca205f4bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QzzM1tm/RfrqlxmCaKnBoHgwVdMaydb4WFCCwyqovH4ZPJ0H5BLXdg4BoQB59bARZO2ggdCiLw1m4zRklO4GCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T08:30:31.575015Z","bundle_sha256":"823964e3d33c0cdc3fa396c03ec8a05bf19721deae65374f54fab6b13cce6907"}}