{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:ECMSOOQOF76VRU3VVPH2Z253BM","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":"ab2595bf300f03ae0ab3e1ae0be4ba33fa6f48d3e2c29fdac8bcce24677ee6ce","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-10T23:17:35Z","title_canon_sha256":"e598e3b21f2276e328f85d58d46cb70b255c27c8ea84b2c6a614ed15856a9d6f"},"schema_version":"1.0","source":{"id":"1510.02990","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.02990","created_at":"2026-05-18T01:30:33Z"},{"alias_kind":"arxiv_version","alias_value":"1510.02990v1","created_at":"2026-05-18T01:30:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.02990","created_at":"2026-05-18T01:30:33Z"},{"alias_kind":"pith_short_12","alias_value":"ECMSOOQOF76V","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"ECMSOOQOF76VRU3V","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"ECMSOOQO","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:52d335975aa0957acefee77ec5c43f150b72119506c221961e1cddec2c2087c1","target":"graph","created_at":"2026-05-18T01:30:33Z","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":"Many correct-by-construction control synthesis methods suffer from the curse of dimensionality. Motivated by this challenge, we seek to reduce a correct-by-construction control synthesis problem to subproblems of more modest dimension. As a step towards this goal, in this paper we consider the problem of synthesizing decoupled robustly controlled invariant sets for dynamically coupled linear subsystems with state and input constraints. Our approach, which gives sufficient conditions for decoupled invariance, is based on optimization over linear matrix inequalities which are obtained using slac","authors_text":"Necmiye Ozay, Petter Nilsson","cross_cats":["math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-10T23:17:35Z","title":"Synthesis of separable controlled invariant sets for modular local control design"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.02990","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:df6e1a4b7f375c3dab0de4dc040a8799065d7669d7a63808834f9b5d89700bdf","target":"record","created_at":"2026-05-18T01:30:33Z","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":"ab2595bf300f03ae0ab3e1ae0be4ba33fa6f48d3e2c29fdac8bcce24677ee6ce","cross_cats_sorted":["math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2015-10-10T23:17:35Z","title_canon_sha256":"e598e3b21f2276e328f85d58d46cb70b255c27c8ea84b2c6a614ed15856a9d6f"},"schema_version":"1.0","source":{"id":"1510.02990","kind":"arxiv","version":1}},"canonical_sha256":"2099273a0e2ffd58d375abcfacebbb0b378da338f4dfffef160eddbf6a56e060","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2099273a0e2ffd58d375abcfacebbb0b378da338f4dfffef160eddbf6a56e060","first_computed_at":"2026-05-18T01:30:33.052813Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:33.052813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E8Rr6CE2wU4lA/nukU5cHiybcBfQb0Q2AjCS6yo8qpREugmWqUIDJxQThvMyxF5BwzDM04OcspyLBm4eEYSvAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:33.053464Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.02990","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:df6e1a4b7f375c3dab0de4dc040a8799065d7669d7a63808834f9b5d89700bdf","sha256:52d335975aa0957acefee77ec5c43f150b72119506c221961e1cddec2c2087c1"],"state_sha256":"e22dbfebc8cc6ad51c51e6f3f2276a9d7c7428c37069819e97a60b5242fc0711"}