{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:ALDQAQRC2BTZVST67ATPPQHETA","short_pith_number":"pith:ALDQAQRC","canonical_record":{"source":{"id":"2212.03923","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-12-07T19:38:34Z","cross_cats_sorted":[],"title_canon_sha256":"20ca177003f8811ff970cca0efdf67c7582944922a8a936ada062ed38fcf0c6a","abstract_canon_sha256":"16cf75886f24124a743c99b83462ab606d2dfb3e79a7db2ab3691ff6ef16a067"},"schema_version":"1.0"},"canonical_sha256":"02c7004222d0679aca7ef826f7c0e4981c0bacf7ac2a8923be66aef47c6a8100","source":{"kind":"arxiv","id":"2212.03923","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.03923","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"2212.03923v2","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.03923","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"ALDQAQRC2BTZ","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_16","alias_value":"ALDQAQRC2BTZVST6","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_8","alias_value":"ALDQAQRC","created_at":"2026-07-05T06:18:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:ALDQAQRC2BTZVST67ATPPQHETA","target":"record","payload":{"canonical_record":{"source":{"id":"2212.03923","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-12-07T19:38:34Z","cross_cats_sorted":[],"title_canon_sha256":"20ca177003f8811ff970cca0efdf67c7582944922a8a936ada062ed38fcf0c6a","abstract_canon_sha256":"16cf75886f24124a743c99b83462ab606d2dfb3e79a7db2ab3691ff6ef16a067"},"schema_version":"1.0"},"canonical_sha256":"02c7004222d0679aca7ef826f7c0e4981c0bacf7ac2a8923be66aef47c6a8100","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:18:37.144986Z","signature_b64":"5m8wgUXJNPR2carCw24BA3BE77MBCVzn5zzYPm6vRQWh4u82Y689dbEFAir+Lw+6sDDNfZR7R4AWL3zEGrdYCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"02c7004222d0679aca7ef826f7c0e4981c0bacf7ac2a8923be66aef47c6a8100","last_reissued_at":"2026-07-05T06:18:37.144544Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:18:37.144544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2212.03923","source_version":2,"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-07-05T06:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RM68v9TYrsnwfAwxeR1KpBlYF2/0pa5P8/G5uAJMh+TVwTbhJNBe8m+fRLbjK7ed6JDFkP94CmAIPM3a3+4gCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T19:40:10.099529Z"},"content_sha256":"af15867f2d7e26aa8e33a70165738e5aa54b86f8e525d9872e35ac9573a02132","schema_version":"1.0","event_id":"sha256:af15867f2d7e26aa8e33a70165738e5aa54b86f8e525d9872e35ac9573a02132"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:ALDQAQRC2BTZVST67ATPPQHETA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Eric Mazumdar, Lauren Conger, Syndey Vernon","submitted_at":"2022-12-07T19:38:34Z","abstract_excerpt":"We introduce a method for controlling systems with nonlinear dynamics and full actuation by approximating the dynamics with polynomials and applying a system level synthesis controller. We show how to optimize over this class of controllers using a neural network while maintaining stability guarantees, without requiring a Lyapunov function. We give bounds for the domain over which the use of the class of controllers preserves stability and gives bounds on the control costs incurred by optimized controllers. We then numerically validate our approach and show improved performance compared with f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.03923","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2212.03923/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T06:18:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oTv8rYdqqEePanmv+uiZx/DTIVbIuflWZf6ipI3vPeVSI0zxOnmgr9P3ABw/dHTsSIABoIJTvy3ncj8YlrISDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T19:40:10.099892Z"},"content_sha256":"f55739066879225e24b5799c1ef68a9fd520004530c2e1c08061503e53e011d6","schema_version":"1.0","event_id":"sha256:f55739066879225e24b5799c1ef68a9fd520004530c2e1c08061503e53e011d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ALDQAQRC2BTZVST67ATPPQHETA/bundle.json","state_url":"https://pith.science/pith/ALDQAQRC2BTZVST67ATPPQHETA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ALDQAQRC2BTZVST67ATPPQHETA/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-10T19:40:10Z","links":{"resolver":"https://pith.science/pith/ALDQAQRC2BTZVST67ATPPQHETA","bundle":"https://pith.science/pith/ALDQAQRC2BTZVST67ATPPQHETA/bundle.json","state":"https://pith.science/pith/ALDQAQRC2BTZVST67ATPPQHETA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ALDQAQRC2BTZVST67ATPPQHETA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:ALDQAQRC2BTZVST67ATPPQHETA","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":"16cf75886f24124a743c99b83462ab606d2dfb3e79a7db2ab3691ff6ef16a067","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-12-07T19:38:34Z","title_canon_sha256":"20ca177003f8811ff970cca0efdf67c7582944922a8a936ada062ed38fcf0c6a"},"schema_version":"1.0","source":{"id":"2212.03923","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2212.03923","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"arxiv_version","alias_value":"2212.03923v2","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2212.03923","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_12","alias_value":"ALDQAQRC2BTZ","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_16","alias_value":"ALDQAQRC2BTZVST6","created_at":"2026-07-05T06:18:37Z"},{"alias_kind":"pith_short_8","alias_value":"ALDQAQRC","created_at":"2026-07-05T06:18:37Z"}],"graph_snapshots":[{"event_id":"sha256:f55739066879225e24b5799c1ef68a9fd520004530c2e1c08061503e53e011d6","target":"graph","created_at":"2026-07-05T06:18:37Z","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/2212.03923/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce a method for controlling systems with nonlinear dynamics and full actuation by approximating the dynamics with polynomials and applying a system level synthesis controller. We show how to optimize over this class of controllers using a neural network while maintaining stability guarantees, without requiring a Lyapunov function. We give bounds for the domain over which the use of the class of controllers preserves stability and gives bounds on the control costs incurred by optimized controllers. We then numerically validate our approach and show improved performance compared with f","authors_text":"Eric Mazumdar, Lauren Conger, Syndey Vernon","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-12-07T19:38:34Z","title":"Designing System Level Synthesis Controllers for Nonlinear Systems with Stability Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2212.03923","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:af15867f2d7e26aa8e33a70165738e5aa54b86f8e525d9872e35ac9573a02132","target":"record","created_at":"2026-07-05T06:18:37Z","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":"16cf75886f24124a743c99b83462ab606d2dfb3e79a7db2ab3691ff6ef16a067","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.OC","submitted_at":"2022-12-07T19:38:34Z","title_canon_sha256":"20ca177003f8811ff970cca0efdf67c7582944922a8a936ada062ed38fcf0c6a"},"schema_version":"1.0","source":{"id":"2212.03923","kind":"arxiv","version":2}},"canonical_sha256":"02c7004222d0679aca7ef826f7c0e4981c0bacf7ac2a8923be66aef47c6a8100","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02c7004222d0679aca7ef826f7c0e4981c0bacf7ac2a8923be66aef47c6a8100","first_computed_at":"2026-07-05T06:18:37.144544Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:18:37.144544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5m8wgUXJNPR2carCw24BA3BE77MBCVzn5zzYPm6vRQWh4u82Y689dbEFAir+Lw+6sDDNfZR7R4AWL3zEGrdYCg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:18:37.144986Z","signed_message":"canonical_sha256_bytes"},"source_id":"2212.03923","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:af15867f2d7e26aa8e33a70165738e5aa54b86f8e525d9872e35ac9573a02132","sha256:f55739066879225e24b5799c1ef68a9fd520004530c2e1c08061503e53e011d6"],"state_sha256":"b47f9b17da82bee87113e00f4d1f8002085f5c372c5fecb7992dd852bc404a0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OzGt8Pvg+9vQCf/yarYSngimXKrYrgRUjl2Ua8j3nzU/u6ZARQl3/cixuMkH1+QpV/v9xxcVKmUtKCVI0vZCAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T19:40:10.102670Z","bundle_sha256":"8362fe34663e5a3ab6db1f081be42c8dd968ffd5835af6c9dd9be2ca29add826"}}