{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:WEYFUQ3ZNC33TS4L3HLOQDGCZM","short_pith_number":"pith:WEYFUQ3Z","canonical_record":{"source":{"id":"1407.1650","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-07T10:09:56Z","cross_cats_sorted":[],"title_canon_sha256":"4c6b033738b22051b1026dbd0f411efafd1c92aab5b0ef4ae10fb7938ac68930","abstract_canon_sha256":"ee8c79da6735931e5187a2c4ebf9db4e8192a15635e0f725ddd679d7e87aa1a5"},"schema_version":"1.0"},"canonical_sha256":"b1305a437968b7b9cb8bd9d6e80cc2cb32b1845a42e33a74137ba808a02fc3c3","source":{"kind":"arxiv","id":"1407.1650","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1650","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1650v1","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1650","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"pith_short_12","alias_value":"WEYFUQ3ZNC33","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WEYFUQ3ZNC33TS4L","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WEYFUQ3Z","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:WEYFUQ3ZNC33TS4L3HLOQDGCZM","target":"record","payload":{"canonical_record":{"source":{"id":"1407.1650","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-07T10:09:56Z","cross_cats_sorted":[],"title_canon_sha256":"4c6b033738b22051b1026dbd0f411efafd1c92aab5b0ef4ae10fb7938ac68930","abstract_canon_sha256":"ee8c79da6735931e5187a2c4ebf9db4e8192a15635e0f725ddd679d7e87aa1a5"},"schema_version":"1.0"},"canonical_sha256":"b1305a437968b7b9cb8bd9d6e80cc2cb32b1845a42e33a74137ba808a02fc3c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:10.792931Z","signature_b64":"v8cOstsuiIZkThFSeLYtrvFgemqT/uLDdlI2xoCfOHELEvLi835AmxqP6UeUpPgg8Gu+Gu8P8G504cpSF4uQBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1305a437968b7b9cb8bd9d6e80cc2cb32b1845a42e33a74137ba808a02fc3c3","last_reissued_at":"2026-05-18T02:48:10.792466Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:10.792466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.1650","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-18T02:48:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2xyGCbOTyn00nvLdczX7+xuoJVsWZ6yAOxToAVI9d9hvTwsmhqfESHtBny3CN+tpSDhx3ILNNh0I84BNEcFmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T08:23:23.844272Z"},"content_sha256":"884f0c8e3f8b307a1b9ccd8328d431696140f35f893c8d7b77f189c741f03293","schema_version":"1.0","event_id":"sha256:884f0c8e3f8b307a1b9ccd8328d431696140f35f893c8d7b77f189c741f03293"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:WEYFUQ3ZNC33TS4L3HLOQDGCZM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Linear conic optimization for nonlinear optimal control","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"CTU/FEE), Didier Henrion (LAAS, Edouard Pauwels (LAAS)","submitted_at":"2014-07-07T10:09:56Z","abstract_excerpt":"Infinite-dimensional linear conic formulations are described for nonlinear optimal control problems. The primal linear problem consists of finding occupation measures supported on optimal relaxed controlled trajectories, whereas the dual linear problem consists of finding the largest lower bound on the value function of the optimal control problem. Various approximation results relating the original optimal control problem and its linear conic formulations are developed. As illustrated by a couple of simple examples, these results are relevant in the context of finite-dimensional semidefinite "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1650","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-18T02:48:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"03vnKSN6HVlfr/qJxwSZcn5jQHJeG+yJRnl/kj9mthtP6UJuMqrypujQ+MPveTS19mdP7kO9ZA/OxYRPCmVYDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-01T08:23:23.844876Z"},"content_sha256":"fb22012c8db859fa6b3ae2bd9c5a27261fed8b3c1e3225b9fb98cfbf73845363","schema_version":"1.0","event_id":"sha256:fb22012c8db859fa6b3ae2bd9c5a27261fed8b3c1e3225b9fb98cfbf73845363"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/bundle.json","state_url":"https://pith.science/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/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-07-01T08:23:23Z","links":{"resolver":"https://pith.science/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM","bundle":"https://pith.science/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/bundle.json","state":"https://pith.science/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WEYFUQ3ZNC33TS4L3HLOQDGCZM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WEYFUQ3ZNC33TS4L3HLOQDGCZM","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":"ee8c79da6735931e5187a2c4ebf9db4e8192a15635e0f725ddd679d7e87aa1a5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-07T10:09:56Z","title_canon_sha256":"4c6b033738b22051b1026dbd0f411efafd1c92aab5b0ef4ae10fb7938ac68930"},"schema_version":"1.0","source":{"id":"1407.1650","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1650","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1650v1","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1650","created_at":"2026-05-18T02:48:10Z"},{"alias_kind":"pith_short_12","alias_value":"WEYFUQ3ZNC33","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WEYFUQ3ZNC33TS4L","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WEYFUQ3Z","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:fb22012c8db859fa6b3ae2bd9c5a27261fed8b3c1e3225b9fb98cfbf73845363","target":"graph","created_at":"2026-05-18T02:48:10Z","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":"Infinite-dimensional linear conic formulations are described for nonlinear optimal control problems. The primal linear problem consists of finding occupation measures supported on optimal relaxed controlled trajectories, whereas the dual linear problem consists of finding the largest lower bound on the value function of the optimal control problem. Various approximation results relating the original optimal control problem and its linear conic formulations are developed. As illustrated by a couple of simple examples, these results are relevant in the context of finite-dimensional semidefinite ","authors_text":"CTU/FEE), Didier Henrion (LAAS, Edouard Pauwels (LAAS)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-07T10:09:56Z","title":"Linear conic optimization for nonlinear optimal control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1650","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:884f0c8e3f8b307a1b9ccd8328d431696140f35f893c8d7b77f189c741f03293","target":"record","created_at":"2026-05-18T02:48:10Z","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":"ee8c79da6735931e5187a2c4ebf9db4e8192a15635e0f725ddd679d7e87aa1a5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2014-07-07T10:09:56Z","title_canon_sha256":"4c6b033738b22051b1026dbd0f411efafd1c92aab5b0ef4ae10fb7938ac68930"},"schema_version":"1.0","source":{"id":"1407.1650","kind":"arxiv","version":1}},"canonical_sha256":"b1305a437968b7b9cb8bd9d6e80cc2cb32b1845a42e33a74137ba808a02fc3c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1305a437968b7b9cb8bd9d6e80cc2cb32b1845a42e33a74137ba808a02fc3c3","first_computed_at":"2026-05-18T02:48:10.792466Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:10.792466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v8cOstsuiIZkThFSeLYtrvFgemqT/uLDdlI2xoCfOHELEvLi835AmxqP6UeUpPgg8Gu+Gu8P8G504cpSF4uQBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:10.792931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.1650","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:884f0c8e3f8b307a1b9ccd8328d431696140f35f893c8d7b77f189c741f03293","sha256:fb22012c8db859fa6b3ae2bd9c5a27261fed8b3c1e3225b9fb98cfbf73845363"],"state_sha256":"4ce1eb0691e10c4ed42524f1e7b16cdd9c160d2c47f6f8110a0d3a2181f086ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kBcTWJCa8bJ+ygyjF8ppktSmXE9CltiMgDlHl6YMgboQEQNS8YeEmwEeHRdSzXgl3NBoN6TVphu5h9r/Fb6ACw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-01T08:23:23.848435Z","bundle_sha256":"01b9aa97bf8e1a5107677b69aaffc3639909a833b57b0a0cb9e1f37f9f899bf1"}}