{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MYJSYNDZWGEM5KZFC5OSPMROJN","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":"092b537a7de8d7581c1e3e9f83fc00517af32c5a341ec2567209d0f747666aad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-25T13:10:59Z","title_canon_sha256":"5726b4a989a8d091cea167d8a59e399d13edb364f0dfd838028b4dc53cb80bc4"},"schema_version":"1.0","source":{"id":"1710.09216","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.09216","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1710.09216v3","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.09216","created_at":"2026-05-18T00:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"MYJSYNDZWGEM","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MYJSYNDZWGEM5KZF","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MYJSYNDZ","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:3c4af2b0b655e28c67c1d8d8b8ed932b418030aa8285604ea2267b9eaf1a2c79","target":"graph","created_at":"2026-05-18T00:14:59Z","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 consider the freeway network control problem where the aim is to optimize the operation of traffic networks modeled by the Cell Transmission Model via ramp metering and partial mainline demand control. Optimal control problems using the Cell Transmission Model are usually non-convex, due to the nonlinear fundamental diagram, but a convex relaxation in which demand and supply constraints are relaxed is often used. Previous works have established conditions under which solutions of the relaxation can be made feasible with respect to the original constraints. In this work, we generalize these ","authors_text":"John Lygeros, Marius Schmitt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-25T13:10:59Z","title":"An Exact Convex Relaxation of the Freeway Network Control Problem with Controlled Merging Junctions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.09216","kind":"arxiv","version":3},"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:bea76916b72850401d3435037b90415ce57e943b671ce4e2fe96f254a7e487e6","target":"record","created_at":"2026-05-18T00:14:59Z","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":"092b537a7de8d7581c1e3e9f83fc00517af32c5a341ec2567209d0f747666aad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-10-25T13:10:59Z","title_canon_sha256":"5726b4a989a8d091cea167d8a59e399d13edb364f0dfd838028b4dc53cb80bc4"},"schema_version":"1.0","source":{"id":"1710.09216","kind":"arxiv","version":3}},"canonical_sha256":"66132c3479b188ceab25175d27b22e4b544b6a212c68f472a19d13d93c4c6bc5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66132c3479b188ceab25175d27b22e4b544b6a212c68f472a19d13d93c4c6bc5","first_computed_at":"2026-05-18T00:14:59.826184Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:59.826184Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hWDSJeQbvWYKS6tWBfcDa1IEOHrftRhadBlGcwTgKjFO4IOQVg2vgxEl5rvxK2n8F9GB4W0NmsDyP6ZoarBRBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:59.826919Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.09216","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bea76916b72850401d3435037b90415ce57e943b671ce4e2fe96f254a7e487e6","sha256:3c4af2b0b655e28c67c1d8d8b8ed932b418030aa8285604ea2267b9eaf1a2c79"],"state_sha256":"74d0e176bae17c27c5ccc80f95d2c20c335fe24a6595d7be5f15f2665c55033d"}