{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:TBRKVW2WMKQHF7AFUJS3JUABGZ","short_pith_number":"pith:TBRKVW2W","canonical_record":{"source":{"id":"1704.04218","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-13T17:32:57Z","cross_cats_sorted":[],"title_canon_sha256":"961cbfcf27c5d9ac7096ad6dda57b9e6ce866a0dc62a3a6518e03e99081b21dc","abstract_canon_sha256":"9245403cb05d692b13345fa1c2e641911501375fa09c6ed30a35d883afe59c4e"},"schema_version":"1.0"},"canonical_sha256":"9862aadb5662a072fc05a265b4d001366e110fba3fc9436af513b53747c8c3f3","source":{"kind":"arxiv","id":"1704.04218","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04218","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04218v2","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04218","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"TBRKVW2WMKQH","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"TBRKVW2WMKQHF7AF","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"TBRKVW2W","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:TBRKVW2WMKQHF7AFUJS3JUABGZ","target":"record","payload":{"canonical_record":{"source":{"id":"1704.04218","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-13T17:32:57Z","cross_cats_sorted":[],"title_canon_sha256":"961cbfcf27c5d9ac7096ad6dda57b9e6ce866a0dc62a3a6518e03e99081b21dc","abstract_canon_sha256":"9245403cb05d692b13345fa1c2e641911501375fa09c6ed30a35d883afe59c4e"},"schema_version":"1.0"},"canonical_sha256":"9862aadb5662a072fc05a265b4d001366e110fba3fc9436af513b53747c8c3f3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:01.144724Z","signature_b64":"pnuOVUJMucL4yfaQOkEzYQfAcULnT8KRY2lv5mnycQFnvDZzASRFPzOZzHRu7NfZX3xprynLJFU4l9umsM2iDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9862aadb5662a072fc05a265b4d001366e110fba3fc9436af513b53747c8c3f3","last_reissued_at":"2026-05-18T00:32:01.144364Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:01.144364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.04218","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-05-18T00:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VABjal+aXcgj1car/Yq+EXwzb3XMz74lb+MVMjFSkcnuBZfg0t9hToKODbdh2SrA+GWCnVqA9lJlrQpfkeMPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:11:55.781353Z"},"content_sha256":"70cc979efa14458e91d5d7c19d2faae5834575577fc79be2fd51b9b1578c3392","schema_version":"1.0","event_id":"sha256:70cc979efa14458e91d5d7c19d2faae5834575577fc79be2fd51b9b1578c3392"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:TBRKVW2WMKQHF7AFUJS3JUABGZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Contractive Approach to Separable Lyapunov Functions for Monotone Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Samuel Coogan","submitted_at":"2017-04-13T17:32:57Z","abstract_excerpt":"Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper, we consider constructing separable Lyapunov functions for monotone systems that are also contractive, that is, the distance between any pair of trajectories exponentially decreases. The distance is defined in terms of a possibly state-dependent norm. When this norm is a weighted one-norm, we obtain conditions which lead to sum-separable Lyapunov functions, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04218","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":""},"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-05-18T00:32:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bj8xaUidoN5affctKtoirtx9MdI0bjI0x91Zu9gGJFMP9f9HvsFRCawgu7lreVpwtY/0C92n8gyzhZm2Tg3tAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T18:11:55.781704Z"},"content_sha256":"f4130ef41e28bf26bf2cb9c95e6bfcd9209b934b1a8ee3ec6d81b699c797ff2e","schema_version":"1.0","event_id":"sha256:f4130ef41e28bf26bf2cb9c95e6bfcd9209b934b1a8ee3ec6d81b699c797ff2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/bundle.json","state_url":"https://pith.science/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/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-05-31T18:11:55Z","links":{"resolver":"https://pith.science/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ","bundle":"https://pith.science/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/bundle.json","state":"https://pith.science/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TBRKVW2WMKQHF7AFUJS3JUABGZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:TBRKVW2WMKQHF7AFUJS3JUABGZ","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":"9245403cb05d692b13345fa1c2e641911501375fa09c6ed30a35d883afe59c4e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-13T17:32:57Z","title_canon_sha256":"961cbfcf27c5d9ac7096ad6dda57b9e6ce866a0dc62a3a6518e03e99081b21dc"},"schema_version":"1.0","source":{"id":"1704.04218","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04218","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04218v2","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04218","created_at":"2026-05-18T00:32:01Z"},{"alias_kind":"pith_short_12","alias_value":"TBRKVW2WMKQH","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"TBRKVW2WMKQHF7AF","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"TBRKVW2W","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:f4130ef41e28bf26bf2cb9c95e6bfcd9209b934b1a8ee3ec6d81b699c797ff2e","target":"graph","created_at":"2026-05-18T00:32:01Z","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":"Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper, we consider constructing separable Lyapunov functions for monotone systems that are also contractive, that is, the distance between any pair of trajectories exponentially decreases. The distance is defined in terms of a possibly state-dependent norm. When this norm is a weighted one-norm, we obtain conditions which lead to sum-separable Lyapunov functions, ","authors_text":"Samuel Coogan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-13T17:32:57Z","title":"A Contractive Approach to Separable Lyapunov Functions for Monotone Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04218","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:70cc979efa14458e91d5d7c19d2faae5834575577fc79be2fd51b9b1578c3392","target":"record","created_at":"2026-05-18T00:32:01Z","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":"9245403cb05d692b13345fa1c2e641911501375fa09c6ed30a35d883afe59c4e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-04-13T17:32:57Z","title_canon_sha256":"961cbfcf27c5d9ac7096ad6dda57b9e6ce866a0dc62a3a6518e03e99081b21dc"},"schema_version":"1.0","source":{"id":"1704.04218","kind":"arxiv","version":2}},"canonical_sha256":"9862aadb5662a072fc05a265b4d001366e110fba3fc9436af513b53747c8c3f3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9862aadb5662a072fc05a265b4d001366e110fba3fc9436af513b53747c8c3f3","first_computed_at":"2026-05-18T00:32:01.144364Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:01.144364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pnuOVUJMucL4yfaQOkEzYQfAcULnT8KRY2lv5mnycQFnvDZzASRFPzOZzHRu7NfZX3xprynLJFU4l9umsM2iDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:01.144724Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.04218","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:70cc979efa14458e91d5d7c19d2faae5834575577fc79be2fd51b9b1578c3392","sha256:f4130ef41e28bf26bf2cb9c95e6bfcd9209b934b1a8ee3ec6d81b699c797ff2e"],"state_sha256":"64773ae3fd3ffb9cc0f81bed2cb7360b7f60e19cb429e3574bc85aad2f3e2884"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HP6qzGRkdNMpRvSCQtNvFQwshE1txNHXpI3ztFqP77rD4QNyeICe5a5uBV03fKMWtbLRH6zwUGBHDshE8y4NAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T18:11:55.783877Z","bundle_sha256":"6e228706d9894a4773edd22ef81500f4eb47b5dbc961fd893f01eae4ef71b093"}}