{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AW4TVKRSAJI72DJ3SU73UT62YI","short_pith_number":"pith:AW4TVKRS","canonical_record":{"source":{"id":"2505.16511","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-05-22T10:46:00Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"1c168a12ee3e449aa87babb1502bffab11b9b45f5887918795da3fb2570fea5f","abstract_canon_sha256":"ab2b63e566eb78af95ab881f0449f3687dc2280d857a73df4a04f7d188b67e5e"},"schema_version":"1.0"},"canonical_sha256":"05b93aaa320251fd0d3b953fba4fdac21fe181002d57f0b689136b4e271ab9c3","source":{"kind":"arxiv","id":"2505.16511","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16511","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16511v1","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16511","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_12","alias_value":"AW4TVKRSAJI7","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_16","alias_value":"AW4TVKRSAJI72DJ3","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_8","alias_value":"AW4TVKRS","created_at":"2026-07-05T11:07:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AW4TVKRSAJI72DJ3SU73UT62YI","target":"record","payload":{"canonical_record":{"source":{"id":"2505.16511","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-05-22T10:46:00Z","cross_cats_sorted":["cs.SY","math.OC"],"title_canon_sha256":"1c168a12ee3e449aa87babb1502bffab11b9b45f5887918795da3fb2570fea5f","abstract_canon_sha256":"ab2b63e566eb78af95ab881f0449f3687dc2280d857a73df4a04f7d188b67e5e"},"schema_version":"1.0"},"canonical_sha256":"05b93aaa320251fd0d3b953fba4fdac21fe181002d57f0b689136b4e271ab9c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:07:36.716838Z","signature_b64":"iOlq+lW4yULpcAac9joF7wawndlWk9EhyaBqkYFMykX1bFRSlNDMYaq4JTdhyHm/gX73/PXWkijU5brQfyYvDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05b93aaa320251fd0d3b953fba4fdac21fe181002d57f0b689136b4e271ab9c3","last_reissued_at":"2026-07-05T11:07:36.716282Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:07:36.716282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.16511","source_version":1,"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-05T11:07:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HgkKPapdqNNZ4LVXWRXIGtt2Pwuf90EOf+QO1cHDrDvIwC4MNK+JFEfYDBFLlExNasE3slKK1ahTeoj2dnhjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:14:39.087593Z"},"content_sha256":"adfebb3b20e3c002bb6d1eaff042f85ac0fe1f3ca4ad77bc741bee124c58e43b","schema_version":"1.0","event_id":"sha256:adfebb3b20e3c002bb6d1eaff042f85ac0fe1f3ca4ad77bc741bee124c58e43b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AW4TVKRSAJI72DJ3SU73UT62YI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural network based control of unknown nonlinear systems via contraction analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY","math.OC"],"primary_cat":"eess.SY","authors_text":"Bayu Jayawardhana, Claudio De Persis, Hao Yin, Santiago Sanchez Escalonilla Plaza","submitted_at":"2025-05-22T10:46:00Z","abstract_excerpt":"This paper studies the design of neural network (NN)-based controllers for unknown nonlinear systems, using contraction analysis. A Neural Ordinary Differential Equation (NODE) system is constructed by approximating the unknown draft dynamics with a feedforward NN. Incremental sector bounds and contraction theory are applied to the activation functions and the weights of the NN, respectively. It is demonstrated that if the incremental sector bounds and the weights satisfy some non-convex conditions, the NODE system is contractive. To improve computational efficiency, these non-convex condition"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16511","kind":"arxiv","version":1},"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/2505.16511/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-05T11:07:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pjlz2C5FQ9vncyMAOl1HitHRLEotm/xbg7owsVHLYo8b83w0RdVsypUa9veIEED5HuzqSFsVJdXDpkJcq2+oCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T04:14:39.088717Z"},"content_sha256":"83f8033907891831a0b51d957262ed53d752f4efecf0c4e362b824a07bfdef5c","schema_version":"1.0","event_id":"sha256:83f8033907891831a0b51d957262ed53d752f4efecf0c4e362b824a07bfdef5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AW4TVKRSAJI72DJ3SU73UT62YI/bundle.json","state_url":"https://pith.science/pith/AW4TVKRSAJI72DJ3SU73UT62YI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AW4TVKRSAJI72DJ3SU73UT62YI/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-08-18T04:14:39Z","links":{"resolver":"https://pith.science/pith/AW4TVKRSAJI72DJ3SU73UT62YI","bundle":"https://pith.science/pith/AW4TVKRSAJI72DJ3SU73UT62YI/bundle.json","state":"https://pith.science/pith/AW4TVKRSAJI72DJ3SU73UT62YI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AW4TVKRSAJI72DJ3SU73UT62YI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AW4TVKRSAJI72DJ3SU73UT62YI","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":"ab2b63e566eb78af95ab881f0449f3687dc2280d857a73df4a04f7d188b67e5e","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-05-22T10:46:00Z","title_canon_sha256":"1c168a12ee3e449aa87babb1502bffab11b9b45f5887918795da3fb2570fea5f"},"schema_version":"1.0","source":{"id":"2505.16511","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.16511","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"arxiv_version","alias_value":"2505.16511v1","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.16511","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_12","alias_value":"AW4TVKRSAJI7","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_16","alias_value":"AW4TVKRSAJI72DJ3","created_at":"2026-07-05T11:07:36Z"},{"alias_kind":"pith_short_8","alias_value":"AW4TVKRS","created_at":"2026-07-05T11:07:36Z"}],"graph_snapshots":[{"event_id":"sha256:83f8033907891831a0b51d957262ed53d752f4efecf0c4e362b824a07bfdef5c","target":"graph","created_at":"2026-07-05T11:07:36Z","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/2505.16511/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper studies the design of neural network (NN)-based controllers for unknown nonlinear systems, using contraction analysis. A Neural Ordinary Differential Equation (NODE) system is constructed by approximating the unknown draft dynamics with a feedforward NN. Incremental sector bounds and contraction theory are applied to the activation functions and the weights of the NN, respectively. It is demonstrated that if the incremental sector bounds and the weights satisfy some non-convex conditions, the NODE system is contractive. To improve computational efficiency, these non-convex condition","authors_text":"Bayu Jayawardhana, Claudio De Persis, Hao Yin, Santiago Sanchez Escalonilla Plaza","cross_cats":["cs.SY","math.OC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-05-22T10:46:00Z","title":"Neural network based control of unknown nonlinear systems via contraction analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.16511","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:adfebb3b20e3c002bb6d1eaff042f85ac0fe1f3ca4ad77bc741bee124c58e43b","target":"record","created_at":"2026-07-05T11:07:36Z","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":"ab2b63e566eb78af95ab881f0449f3687dc2280d857a73df4a04f7d188b67e5e","cross_cats_sorted":["cs.SY","math.OC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2025-05-22T10:46:00Z","title_canon_sha256":"1c168a12ee3e449aa87babb1502bffab11b9b45f5887918795da3fb2570fea5f"},"schema_version":"1.0","source":{"id":"2505.16511","kind":"arxiv","version":1}},"canonical_sha256":"05b93aaa320251fd0d3b953fba4fdac21fe181002d57f0b689136b4e271ab9c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05b93aaa320251fd0d3b953fba4fdac21fe181002d57f0b689136b4e271ab9c3","first_computed_at":"2026-07-05T11:07:36.716282Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:07:36.716282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iOlq+lW4yULpcAac9joF7wawndlWk9EhyaBqkYFMykX1bFRSlNDMYaq4JTdhyHm/gX73/PXWkijU5brQfyYvDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:07:36.716838Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.16511","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adfebb3b20e3c002bb6d1eaff042f85ac0fe1f3ca4ad77bc741bee124c58e43b","sha256:83f8033907891831a0b51d957262ed53d752f4efecf0c4e362b824a07bfdef5c"],"state_sha256":"50be1d214ec54b2ce382bf38bbfeeef8d7bed3e2389944113b44a091c204bdd5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jqOhZgewS+yHHoqtUlClWedV5t5VDYexg5dXIMzrlUt/rdcM4LVlYLpVAGwGdpvKpI2EGEpyh4ezbSUXm0TaBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T04:14:39.097753Z","bundle_sha256":"0076449a7767f3293f6f5febea23f20a295bb647bef059daf26bad10b51e3f55"}}