{"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"}