{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QJ7QAB4ZRKGITDNJD6MB7TS2HW","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":"c2cbb0724ca6a9f8826376e806b519c07fb02b57ef02f8bdbf9da252b0d71c64","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-03T10:23:02Z","title_canon_sha256":"b9c4b4e6c206129af20f5530eac341caecfa1f7209bbcf4e8f95bbba0f86de06"},"schema_version":"1.0","source":{"id":"2306.02072","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2306.02072","created_at":"2026-07-05T06:54:17Z"},{"alias_kind":"arxiv_version","alias_value":"2306.02072v3","created_at":"2026-07-05T06:54:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.02072","created_at":"2026-07-05T06:54:17Z"},{"alias_kind":"pith_short_12","alias_value":"QJ7QAB4ZRKGI","created_at":"2026-07-05T06:54:17Z"},{"alias_kind":"pith_short_16","alias_value":"QJ7QAB4ZRKGITDNJ","created_at":"2026-07-05T06:54:17Z"},{"alias_kind":"pith_short_8","alias_value":"QJ7QAB4Z","created_at":"2026-07-05T06:54:17Z"}],"graph_snapshots":[{"event_id":"sha256:4e28618e14465125cb015160fcab7731cf8cd25558f16ee150c7ff2418335f79","target":"graph","created_at":"2026-07-05T06:54:17Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2306.02072/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent work [Ran22] formulated a class of optimal control problems involving positive linear systems, linear stage costs, and elementwise constraints on control. It was shown that the problem admits linear optimal cost and the associated Bellman's equation can be characterized by a finite-dimensional nonlinear equation, which is solved by linear programming. In this work, we report exact dynamic programming (DP) theories for the same class of problems. Moreover, we extend the results to a related class of problems where the norms of control are bounded while the optimal costs remain linear. In","authors_text":"Anders Rantzer, Yuchao Li","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-03T10:23:02Z","title":"Exact Dynamic Programming for Positive Systems with Linear Optimal Cost"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.02072","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:eee0cc3922504ca7ed8e438b84af2ad74f395d689c506c2d160b21ad5303c2a1","target":"record","created_at":"2026-07-05T06:54:17Z","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":"c2cbb0724ca6a9f8826376e806b519c07fb02b57ef02f8bdbf9da252b0d71c64","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-06-03T10:23:02Z","title_canon_sha256":"b9c4b4e6c206129af20f5530eac341caecfa1f7209bbcf4e8f95bbba0f86de06"},"schema_version":"1.0","source":{"id":"2306.02072","kind":"arxiv","version":3}},"canonical_sha256":"827f0007998a8c898da91f981fce5a3d98fa6bbc4bb687e085c57f3bf22d3197","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"827f0007998a8c898da91f981fce5a3d98fa6bbc4bb687e085c57f3bf22d3197","first_computed_at":"2026-07-05T06:54:17.080925Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:54:17.080925Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oU/c1FL8VbEdvx2Zd96bc5iZQ8fAHRA7zUj0waNYFtWFVxrSv2oB6jTiN9AG6Z8/02IbKtD7eGYgY1JQ0NdjAg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:54:17.081435Z","signed_message":"canonical_sha256_bytes"},"source_id":"2306.02072","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eee0cc3922504ca7ed8e438b84af2ad74f395d689c506c2d160b21ad5303c2a1","sha256:4e28618e14465125cb015160fcab7731cf8cd25558f16ee150c7ff2418335f79"],"state_sha256":"89434a9861f3ba1a15624b1fe646644c0c882ed38e4011edd255bba39ea8e795"}