{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:OLJP2KTNED4QHKQK4GD4R7RHVV","short_pith_number":"pith:OLJP2KTN","canonical_record":{"source":{"id":"1211.1123","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-06T07:02:13Z","cross_cats_sorted":["cs.SY","math.DS"],"title_canon_sha256":"c85de852170828b89fd390b03e081d30a5cf8867ff741e45fa879b9aa4d9a13b","abstract_canon_sha256":"eac1768dbaa5fd132267f8cd8880cc6a3fe59ffe09e64015580e9cbccdadf3f5"},"schema_version":"1.0"},"canonical_sha256":"72d2fd2a6d20f903aa0ae187c8fe27ad79cb643132925825d6bbf7c8ca572510","source":{"kind":"arxiv","id":"1211.1123","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.1123","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"arxiv_version","alias_value":"1211.1123v1","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.1123","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"pith_short_12","alias_value":"OLJP2KTNED4Q","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OLJP2KTNED4QHKQK","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OLJP2KTN","created_at":"2026-05-18T12:27:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:OLJP2KTNED4QHKQK4GD4R7RHVV","target":"record","payload":{"canonical_record":{"source":{"id":"1211.1123","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-06T07:02:13Z","cross_cats_sorted":["cs.SY","math.DS"],"title_canon_sha256":"c85de852170828b89fd390b03e081d30a5cf8867ff741e45fa879b9aa4d9a13b","abstract_canon_sha256":"eac1768dbaa5fd132267f8cd8880cc6a3fe59ffe09e64015580e9cbccdadf3f5"},"schema_version":"1.0"},"canonical_sha256":"72d2fd2a6d20f903aa0ae187c8fe27ad79cb643132925825d6bbf7c8ca572510","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:41:22.262451Z","signature_b64":"WoKgvM1xk438VdHHX/yn6WIuMLWrCcwnNcH+Xrro13IW4BcUZMRrHtV3uo30EBWSGldBiIXPVHl4vzNU2iH1Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72d2fd2a6d20f903aa0ae187c8fe27ad79cb643132925825d6bbf7c8ca572510","last_reissued_at":"2026-05-18T03:41:22.261948Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:41:22.261948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1211.1123","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-18T03:41:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DEZF9IuqmgCAM+CJ+dka3T8qKWfsWxtgLw7excpvp77b5O4wfCXWmuJz5yrz8gs/2I8SyWJoAF2McG/cPyd7Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:20:28.558359Z"},"content_sha256":"c303eed8244a25dae7291953759f9b1d4a2c7517b51c20df7c6a64de896f7cfe","schema_version":"1.0","event_id":"sha256:c303eed8244a25dae7291953759f9b1d4a2c7517b51c20df7c6a64de896f7cfe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:OLJP2KTNED4QHKQK4GD4R7RHVV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Feedback Stabilization Methods for the Solution of Nonlinear Programming Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","math.DS"],"primary_cat":"math.OC","authors_text":"Iasson Karafyllis","submitted_at":"2012-11-06T07:02:13Z","abstract_excerpt":"In this work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points of the problem, (b) each dynamical system admits the objective function of the problem as a Lyapunov function, and (c) explicit formulae are available without involving the unknown critical points of the problem. The construction of the family of dynamical systems is based on the Control Lyapunov Function methodology, which is used in mathematical control t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.1123","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-18T03:41:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kO4NPqYUndTlW85MSLE/gS9l9F0dsMLg2hMV+O0LPANIpDlJjTZTDovr8SEkDkJmPpwPaxiXG124dHM9hsb6Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T05:20:28.558709Z"},"content_sha256":"434b8e44845d38ed62522339e5881dc89c14fd832cc8a71056604676ea50538d","schema_version":"1.0","event_id":"sha256:434b8e44845d38ed62522339e5881dc89c14fd832cc8a71056604676ea50538d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/bundle.json","state_url":"https://pith.science/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/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-01T05:20:28Z","links":{"resolver":"https://pith.science/pith/OLJP2KTNED4QHKQK4GD4R7RHVV","bundle":"https://pith.science/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/bundle.json","state":"https://pith.science/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OLJP2KTNED4QHKQK4GD4R7RHVV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:OLJP2KTNED4QHKQK4GD4R7RHVV","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":"eac1768dbaa5fd132267f8cd8880cc6a3fe59ffe09e64015580e9cbccdadf3f5","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-06T07:02:13Z","title_canon_sha256":"c85de852170828b89fd390b03e081d30a5cf8867ff741e45fa879b9aa4d9a13b"},"schema_version":"1.0","source":{"id":"1211.1123","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.1123","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"arxiv_version","alias_value":"1211.1123v1","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.1123","created_at":"2026-05-18T03:41:22Z"},{"alias_kind":"pith_short_12","alias_value":"OLJP2KTNED4Q","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_16","alias_value":"OLJP2KTNED4QHKQK","created_at":"2026-05-18T12:27:16Z"},{"alias_kind":"pith_short_8","alias_value":"OLJP2KTN","created_at":"2026-05-18T12:27:16Z"}],"graph_snapshots":[{"event_id":"sha256:434b8e44845d38ed62522339e5881dc89c14fd832cc8a71056604676ea50538d","target":"graph","created_at":"2026-05-18T03:41:22Z","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 work we show that given a nonlinear programming problem, it is possible to construct a family of dynamical systems defined on the feasible set of the given problem, so that: (a) the equilibrium points are the unknown critical points of the problem, (b) each dynamical system admits the objective function of the problem as a Lyapunov function, and (c) explicit formulae are available without involving the unknown critical points of the problem. The construction of the family of dynamical systems is based on the Control Lyapunov Function methodology, which is used in mathematical control t","authors_text":"Iasson Karafyllis","cross_cats":["cs.SY","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-06T07:02:13Z","title":"Feedback Stabilization Methods for the Solution of Nonlinear Programming Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.1123","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:c303eed8244a25dae7291953759f9b1d4a2c7517b51c20df7c6a64de896f7cfe","target":"record","created_at":"2026-05-18T03:41:22Z","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":"eac1768dbaa5fd132267f8cd8880cc6a3fe59ffe09e64015580e9cbccdadf3f5","cross_cats_sorted":["cs.SY","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-11-06T07:02:13Z","title_canon_sha256":"c85de852170828b89fd390b03e081d30a5cf8867ff741e45fa879b9aa4d9a13b"},"schema_version":"1.0","source":{"id":"1211.1123","kind":"arxiv","version":1}},"canonical_sha256":"72d2fd2a6d20f903aa0ae187c8fe27ad79cb643132925825d6bbf7c8ca572510","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72d2fd2a6d20f903aa0ae187c8fe27ad79cb643132925825d6bbf7c8ca572510","first_computed_at":"2026-05-18T03:41:22.261948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:41:22.261948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WoKgvM1xk438VdHHX/yn6WIuMLWrCcwnNcH+Xrro13IW4BcUZMRrHtV3uo30EBWSGldBiIXPVHl4vzNU2iH1Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:41:22.262451Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.1123","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c303eed8244a25dae7291953759f9b1d4a2c7517b51c20df7c6a64de896f7cfe","sha256:434b8e44845d38ed62522339e5881dc89c14fd832cc8a71056604676ea50538d"],"state_sha256":"0f110f832fec6231dc1331fa151218d0ae9f759fe6e0da3076850accdcedaf8f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Sp+TxNbBik5Lo2L8cvEYIZ9pm1S4m0aIt2x546iBqSyXkb6HZ1NfJfJwOHfqm4Nt0LXvoBXkUi4nQP5ywXDxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T05:20:28.560753Z","bundle_sha256":"fc62d5fee2bcd32e38d683256f17355bd70db4727678c308fa4802138eb8e11d"}}