{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:4FTP2PRQ5TO26EFFO4VWUCYEIS","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":"5a25f2c5021d568c60fc44dd72e40f77f09308ae5dbda1a45ba8bebb36bd6c88","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-11T18:56:22Z","title_canon_sha256":"841c22e6c2fe23e0d2459ce6c892876262e21bfe7284d3722c073414d5f681f2"},"schema_version":"1.0","source":{"id":"1503.03448","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.03448","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"arxiv_version","alias_value":"1503.03448v2","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.03448","created_at":"2026-05-18T01:12:43Z"},{"alias_kind":"pith_short_12","alias_value":"4FTP2PRQ5TO2","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4FTP2PRQ5TO26EFF","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4FTP2PRQ","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:47059af91eea41cc2b4e1691dab0c7f53380b07ad648f62331ef23bf4b24d8ae","target":"graph","created_at":"2026-05-18T01:12:43Z","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":"Let a control system and a target be given on an open subset of an Euclidean space. The existence of a Control Lyapunov Function - namely a positive definite, semiconcave, solution of the Hamilton-Jacobi inequality corresponding to the control vector field -- guarantees Global Asymptotic Controllability (GAC). In this case, however, minimization is not an issue. Instead, if a Lagrangean with non-negative values is considered as well, an optimal control problem can be defined in relation to the corresponding integral functional.\n  In the first part of the present paper we show that the existenc","authors_text":"Anna Chiara Lai, Franco Rampazzo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-11T18:56:22Z","title":"GAC, savings, and unbounded inputs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.03448","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:7bedb031c37ea26c91554344275a8760dd20899b7fc8fb1916c62705c02d8e00","target":"record","created_at":"2026-05-18T01:12:43Z","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":"5a25f2c5021d568c60fc44dd72e40f77f09308ae5dbda1a45ba8bebb36bd6c88","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2015-03-11T18:56:22Z","title_canon_sha256":"841c22e6c2fe23e0d2459ce6c892876262e21bfe7284d3722c073414d5f681f2"},"schema_version":"1.0","source":{"id":"1503.03448","kind":"arxiv","version":2}},"canonical_sha256":"e166fd3e30ecddaf10a5772b6a0b0444a211ee792e6994b0f1055cec76108a51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e166fd3e30ecddaf10a5772b6a0b0444a211ee792e6994b0f1055cec76108a51","first_computed_at":"2026-05-18T01:12:43.491281Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:43.491281Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VsAvrkBa3BYNqgv8Dd7j5HmFx9Qr0l9RLHkyXMXQk+DPZJJaYl9Vb88OXeBAlD+kF4IHfSlMBZ9mIZZRLcC8CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:43.491626Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.03448","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7bedb031c37ea26c91554344275a8760dd20899b7fc8fb1916c62705c02d8e00","sha256:47059af91eea41cc2b4e1691dab0c7f53380b07ad648f62331ef23bf4b24d8ae"],"state_sha256":"23aea5e0dcfbb0c57fdf88b6e118e4d79f7e2db89e6b81df6d0d4e8427d4fd15"}