{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:XVRNIN6JNTB2IGUYGQE3BLQG7T","short_pith_number":"pith:XVRNIN6J","canonical_record":{"source":{"id":"2303.15535","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-03-27T18:20:25Z","cross_cats_sorted":["cs.RO","math.DS"],"title_canon_sha256":"821572f3d555e93af4b7ecba2a72d923df60dfe73853e5f96f5a261a2fef6f45","abstract_canon_sha256":"cb08ff7985441f401f01a123ba4decdeb93ba9453d568986438c610a9ac0f47c"},"schema_version":"1.0"},"canonical_sha256":"bd62d437c96cc3a41a983409b0ae06fccc6f0192e4102c365e3fa5a23424cf55","source":{"kind":"arxiv","id":"2303.15535","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.15535","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.15535v4","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.15535","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_12","alias_value":"XVRNIN6JNTB2","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_16","alias_value":"XVRNIN6JNTB2IGUY","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_8","alias_value":"XVRNIN6J","created_at":"2026-07-05T06:10:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:XVRNIN6JNTB2IGUYGQE3BLQG7T","target":"record","payload":{"canonical_record":{"source":{"id":"2303.15535","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-03-27T18:20:25Z","cross_cats_sorted":["cs.RO","math.DS"],"title_canon_sha256":"821572f3d555e93af4b7ecba2a72d923df60dfe73853e5f96f5a261a2fef6f45","abstract_canon_sha256":"cb08ff7985441f401f01a123ba4decdeb93ba9453d568986438c610a9ac0f47c"},"schema_version":"1.0"},"canonical_sha256":"bd62d437c96cc3a41a983409b0ae06fccc6f0192e4102c365e3fa5a23424cf55","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:10:36.683952Z","signature_b64":"lgx0T92cEu9Pztb7uh4/QcR5bE/1Aqiwemnh/XDAoxNt5R1zeTlnicCmqaEvJpBJAxpLblj3Bmi0lbmrtcYVCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd62d437c96cc3a41a983409b0ae06fccc6f0192e4102c365e3fa5a23424cf55","last_reissued_at":"2026-07-05T06:10:36.683521Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:10:36.683521Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.15535","source_version":4,"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:10:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jsU5x1/0I0rv+8kCjYspcV+pHwgy2c3P8BrL4bPfRZqQg7SyvHHL9QItDnUHVCCS/GGKgn/0IYlDDKI3oK8dBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:22:01.601989Z"},"content_sha256":"28419feea8ad418f5b4cc21d446bc2211a412047314965576a0bea07c623c701","schema_version":"1.0","event_id":"sha256:28419feea8ad418f5b4cc21d446bc2211a412047314965576a0bea07c623c701"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:XVRNIN6JNTB2IGUYGQE3BLQG7T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Compositional Approach to Certifying the Almost Global Asymptotic Stability of Cascade Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO","math.DS"],"primary_cat":"math.OC","authors_text":"Jake Welde, Matthew D. Kvalheim, Vijay Kumar","submitted_at":"2023-03-27T18:20:25Z","abstract_excerpt":"In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary size. In particular, if the unforced subsystems are almost globally asymptotically stable and their only chain recurrent points are hyperbolic equilibria, then the boundedness of forward trajectories is sufficient for the almost global asymptotic stability of the full upper triangular system. We show that unboundedness of such cascades is prohibited by growth ra"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.15535","kind":"arxiv","version":4},"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/2303.15535/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:10:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bx0rUQdTs5obofHE8LcyGxuI5ue5CoyahSmnH4ZpfMtbQFQFsxBY1zGsu35HD7hhuKKXD8ZHUYW7QOj9dgWbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T09:22:01.602942Z"},"content_sha256":"6401d891d668699e6752560c3215438ecfc742566f9ad6abbe7a6715e72aabc9","schema_version":"1.0","event_id":"sha256:6401d891d668699e6752560c3215438ecfc742566f9ad6abbe7a6715e72aabc9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/bundle.json","state_url":"https://pith.science/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/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-06T09:22:01Z","links":{"resolver":"https://pith.science/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T","bundle":"https://pith.science/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/bundle.json","state":"https://pith.science/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XVRNIN6JNTB2IGUYGQE3BLQG7T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:XVRNIN6JNTB2IGUYGQE3BLQG7T","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":"cb08ff7985441f401f01a123ba4decdeb93ba9453d568986438c610a9ac0f47c","cross_cats_sorted":["cs.RO","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-03-27T18:20:25Z","title_canon_sha256":"821572f3d555e93af4b7ecba2a72d923df60dfe73853e5f96f5a261a2fef6f45"},"schema_version":"1.0","source":{"id":"2303.15535","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.15535","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"arxiv_version","alias_value":"2303.15535v4","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.15535","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_12","alias_value":"XVRNIN6JNTB2","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_16","alias_value":"XVRNIN6JNTB2IGUY","created_at":"2026-07-05T06:10:36Z"},{"alias_kind":"pith_short_8","alias_value":"XVRNIN6J","created_at":"2026-07-05T06:10:36Z"}],"graph_snapshots":[{"event_id":"sha256:6401d891d668699e6752560c3215438ecfc742566f9ad6abbe7a6715e72aabc9","target":"graph","created_at":"2026-07-05T06:10: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/2303.15535/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this work, we give sufficient conditions for the almost global asymptotic stability of a cascade in which the subsystems are only almost globally asymptotically stable. The result is extended to upper triangular systems of arbitrary size. In particular, if the unforced subsystems are almost globally asymptotically stable and their only chain recurrent points are hyperbolic equilibria, then the boundedness of forward trajectories is sufficient for the almost global asymptotic stability of the full upper triangular system. We show that unboundedness of such cascades is prohibited by growth ra","authors_text":"Jake Welde, Matthew D. Kvalheim, Vijay Kumar","cross_cats":["cs.RO","math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-03-27T18:20:25Z","title":"A Compositional Approach to Certifying the Almost Global Asymptotic Stability of Cascade Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.15535","kind":"arxiv","version":4},"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:28419feea8ad418f5b4cc21d446bc2211a412047314965576a0bea07c623c701","target":"record","created_at":"2026-07-05T06:10: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":"cb08ff7985441f401f01a123ba4decdeb93ba9453d568986438c610a9ac0f47c","cross_cats_sorted":["cs.RO","math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2023-03-27T18:20:25Z","title_canon_sha256":"821572f3d555e93af4b7ecba2a72d923df60dfe73853e5f96f5a261a2fef6f45"},"schema_version":"1.0","source":{"id":"2303.15535","kind":"arxiv","version":4}},"canonical_sha256":"bd62d437c96cc3a41a983409b0ae06fccc6f0192e4102c365e3fa5a23424cf55","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd62d437c96cc3a41a983409b0ae06fccc6f0192e4102c365e3fa5a23424cf55","first_computed_at":"2026-07-05T06:10:36.683521Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:10:36.683521Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lgx0T92cEu9Pztb7uh4/QcR5bE/1Aqiwemnh/XDAoxNt5R1zeTlnicCmqaEvJpBJAxpLblj3Bmi0lbmrtcYVCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:10:36.683952Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.15535","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:28419feea8ad418f5b4cc21d446bc2211a412047314965576a0bea07c623c701","sha256:6401d891d668699e6752560c3215438ecfc742566f9ad6abbe7a6715e72aabc9"],"state_sha256":"a26fe75054f922e6fd57054c30e259b0f89aca5aa41bec191c80124f7f6ac6b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JvzOYJXisrgX1hFLVDXf2JGAPnQmFoVa3sAn1ZyG9x8ziH4ZR4fmP9p7r5QkthwCpKRSnyXH3TzXIUwYuMwFAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T09:22:01.612453Z","bundle_sha256":"64739bdcbeac10d30b6da85d13ade840b23b963d4709119267c696760b071bb2"}}