{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:3UZHFOK2WW5IDJ2AILTHZ3H544","short_pith_number":"pith:3UZHFOK2","canonical_record":{"source":{"id":"2404.07373","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-10T22:15:28Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"c833e15d5199337cbccf32286c25914986d4172cb92c3de60528547873d0a566","abstract_canon_sha256":"5fe6c9196382e4d26203730ae03c17837acf122038f0ea70f2047d090ad68afb"},"schema_version":"1.0"},"canonical_sha256":"dd3272b95ab5ba81a74042e67cecfde711680958e1ca3a5f7285d3faa67fe46c","source":{"kind":"arxiv","id":"2404.07373","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.07373","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"arxiv_version","alias_value":"2404.07373v2","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.07373","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_12","alias_value":"3UZHFOK2WW5I","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_16","alias_value":"3UZHFOK2WW5IDJ2A","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_8","alias_value":"3UZHFOK2","created_at":"2026-06-02T01:03:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:3UZHFOK2WW5IDJ2AILTHZ3H544","target":"record","payload":{"canonical_record":{"source":{"id":"2404.07373","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-10T22:15:28Z","cross_cats_sorted":["cs.LG","cs.SY"],"title_canon_sha256":"c833e15d5199337cbccf32286c25914986d4172cb92c3de60528547873d0a566","abstract_canon_sha256":"5fe6c9196382e4d26203730ae03c17837acf122038f0ea70f2047d090ad68afb"},"schema_version":"1.0"},"canonical_sha256":"dd3272b95ab5ba81a74042e67cecfde711680958e1ca3a5f7285d3faa67fe46c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-02T01:03:28.521821Z","signature_b64":"EcHeYYi8eXatXYyvOwWS0c5rS6qUdjhGMbTZ8G/igkFoTP6riEiYRAWJ7ZwSvJrTpBS+UcJCH9Yrns5yyPMdAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dd3272b95ab5ba81a74042e67cecfde711680958e1ca3a5f7285d3faa67fe46c","last_reissued_at":"2026-06-02T01:03:28.521328Z","signature_status":"signed_v1","first_computed_at":"2026-06-02T01:03:28.521328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.07373","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-06-02T01:03:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3+AOMuzE2Xm8gKuQYvRP6RbnATrxVhN7l69dEB/ZksgCCfkF9Ab5hbkWtuz9jy3AGm31Ntwt85BQ0ZTlU2MaCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T14:32:53.507094Z"},"content_sha256":"4b1a0a6827392dcbe131c26e5bea69be53c703d2cd3c32136e33b037c104c5be","schema_version":"1.0","event_id":"sha256:4b1a0a6827392dcbe131c26e5bea69be53c703d2cd3c32136e33b037c104c5be"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:3UZHFOK2WW5IDJ2AILTHZ3H544","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.SY"],"primary_cat":"eess.SY","authors_text":"Murat Arcak, Neelay Junnarkar, Peter Seiler","submitted_at":"2024-04-10T22:15:28Z","abstract_excerpt":"This paper presents a method to synthesize neural network controllers to maximize reward subject to the hard constraint that the feedback system of plant and controller be dissipative, certifying requirements such as stability and $L_2$ gain bounds. It considers nonlinear and uncertain plants, modeled as the interconnection of a linear time-invariant (LTI) system and an uncertainty block, which incorporates nonlinearities. The uncertainty of the plant and the activation functions of the neural network are both described using integral quadratic constraints (IQCs). First, a dissipativity condit"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.07373","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/2404.07373/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-06-02T01:03:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6kuhh2PJkeTIN+hqWQ+P4H198t3tWTtZ9FHJu7rY2V+4M4awl6J6BtZb6hZvbANmqsMMfvCz6R+X8zBr6kMmDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T14:32:53.507888Z"},"content_sha256":"e6565a4e180851ad81b977a0b11aa3f1d79f4a8142dbfa3aac7888163fb0804c","schema_version":"1.0","event_id":"sha256:e6565a4e180851ad81b977a0b11aa3f1d79f4a8142dbfa3aac7888163fb0804c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/bundle.json","state_url":"https://pith.science/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/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-06T14:32:53Z","links":{"resolver":"https://pith.science/pith/3UZHFOK2WW5IDJ2AILTHZ3H544","bundle":"https://pith.science/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/bundle.json","state":"https://pith.science/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3UZHFOK2WW5IDJ2AILTHZ3H544/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:3UZHFOK2WW5IDJ2AILTHZ3H544","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":"5fe6c9196382e4d26203730ae03c17837acf122038f0ea70f2047d090ad68afb","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-10T22:15:28Z","title_canon_sha256":"c833e15d5199337cbccf32286c25914986d4172cb92c3de60528547873d0a566"},"schema_version":"1.0","source":{"id":"2404.07373","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.07373","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"arxiv_version","alias_value":"2404.07373v2","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.07373","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_12","alias_value":"3UZHFOK2WW5I","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_16","alias_value":"3UZHFOK2WW5IDJ2A","created_at":"2026-06-02T01:03:28Z"},{"alias_kind":"pith_short_8","alias_value":"3UZHFOK2","created_at":"2026-06-02T01:03:28Z"}],"graph_snapshots":[{"event_id":"sha256:e6565a4e180851ad81b977a0b11aa3f1d79f4a8142dbfa3aac7888163fb0804c","target":"graph","created_at":"2026-06-02T01:03:28Z","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/2404.07373/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a method to synthesize neural network controllers to maximize reward subject to the hard constraint that the feedback system of plant and controller be dissipative, certifying requirements such as stability and $L_2$ gain bounds. It considers nonlinear and uncertain plants, modeled as the interconnection of a linear time-invariant (LTI) system and an uncertainty block, which incorporates nonlinearities. The uncertainty of the plant and the activation functions of the neural network are both described using integral quadratic constraints (IQCs). First, a dissipativity condit","authors_text":"Murat Arcak, Neelay Junnarkar, Peter Seiler","cross_cats":["cs.LG","cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-10T22:15:28Z","title":"Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.07373","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:4b1a0a6827392dcbe131c26e5bea69be53c703d2cd3c32136e33b037c104c5be","target":"record","created_at":"2026-06-02T01:03:28Z","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":"5fe6c9196382e4d26203730ae03c17837acf122038f0ea70f2047d090ad68afb","cross_cats_sorted":["cs.LG","cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-04-10T22:15:28Z","title_canon_sha256":"c833e15d5199337cbccf32286c25914986d4172cb92c3de60528547873d0a566"},"schema_version":"1.0","source":{"id":"2404.07373","kind":"arxiv","version":2}},"canonical_sha256":"dd3272b95ab5ba81a74042e67cecfde711680958e1ca3a5f7285d3faa67fe46c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dd3272b95ab5ba81a74042e67cecfde711680958e1ca3a5f7285d3faa67fe46c","first_computed_at":"2026-06-02T01:03:28.521328Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-02T01:03:28.521328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EcHeYYi8eXatXYyvOwWS0c5rS6qUdjhGMbTZ8G/igkFoTP6riEiYRAWJ7ZwSvJrTpBS+UcJCH9Yrns5yyPMdAw==","signature_status":"signed_v1","signed_at":"2026-06-02T01:03:28.521821Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.07373","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4b1a0a6827392dcbe131c26e5bea69be53c703d2cd3c32136e33b037c104c5be","sha256:e6565a4e180851ad81b977a0b11aa3f1d79f4a8142dbfa3aac7888163fb0804c"],"state_sha256":"c2c933981c5543e6cce942257346f84aca05dcae18726ffb69dd82dbb1b00ef4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/FU7dTMlxnKIWfiYuRVW7JpNfc7544xcqjPQ+8ufPLdUi9iHx39s5N9jSpHZADGlu57yd76xEljPCmalNwg8Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T14:32:53.511548Z","bundle_sha256":"0a7bef6db1230e4e03c2a1544ddd3255f45ee26540e2ccdc97767e681ee189e7"}}