{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:M2Y4L5KHGZJ2SUMTUJ5JTSMOT3","short_pith_number":"pith:M2Y4L5KH","canonical_record":{"source":{"id":"1207.0030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-06-29T22:57:56Z","cross_cats_sorted":[],"title_canon_sha256":"a8185bf70daffe9753122c6487afa0a8cae827923299d7d09582c65fcfdc076b","abstract_canon_sha256":"54f938fe28ee6bf51f559d865418638c054c740353142386e677fd16a2e4d681"},"schema_version":"1.0"},"canonical_sha256":"66b1c5f5473653a95193a27a99c98e9ef0c877953bd09686c528104190611d1b","source":{"kind":"arxiv","id":"1207.0030","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.0030","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"arxiv_version","alias_value":"1207.0030v1","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0030","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"pith_short_12","alias_value":"M2Y4L5KHGZJ2","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"M2Y4L5KHGZJ2SUMT","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"M2Y4L5KH","created_at":"2026-05-18T12:27:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:M2Y4L5KHGZJ2SUMTUJ5JTSMOT3","target":"record","payload":{"canonical_record":{"source":{"id":"1207.0030","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-06-29T22:57:56Z","cross_cats_sorted":[],"title_canon_sha256":"a8185bf70daffe9753122c6487afa0a8cae827923299d7d09582c65fcfdc076b","abstract_canon_sha256":"54f938fe28ee6bf51f559d865418638c054c740353142386e677fd16a2e4d681"},"schema_version":"1.0"},"canonical_sha256":"66b1c5f5473653a95193a27a99c98e9ef0c877953bd09686c528104190611d1b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:52:00.512751Z","signature_b64":"1hUqfu3fGcHnMiEHMWhBTwIM9elrkjLnn1xEbJh83XuTeLc/LrjazY6Rfxd6u/0DDrzMBQAMaJGZtRvna4W+AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"66b1c5f5473653a95193a27a99c98e9ef0c877953bd09686c528104190611d1b","last_reissued_at":"2026-05-18T03:52:00.512128Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:52:00.512128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.0030","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-05-18T03:52:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AXSzZYXHvYGVFw1MWqttdRyM8x/TIPmHkhWcyMWBKk3PUoNgl2hMcmLKYOlVNC8iniVWpN+OCPD/qOGC0/7LCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:13:43.919242Z"},"content_sha256":"adc9e628f7684424c5c632b662c849a7b10fabebe6353babf029870ff061cbe1","schema_version":"1.0","event_id":"sha256:adc9e628f7684424c5c632b662c849a7b10fabebe6353babf029870ff061cbe1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:M2Y4L5KHGZJ2SUMTUJ5JTSMOT3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Backstepping controller synthesis and characterizations of incremental stability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Majid Zamani, Nathan van de Wouw, Rupak Majumdar","submitted_at":"2012-06-29T22:57:56Z","abstract_excerpt":"Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability, Lyapunov functions and contraction metrics play important roles in the study of incremental stability. In this paper, we provide characterizations and descriptions of incremental stability in terms of existence of coordinate-invariant notions of incremental Lyapunov functions and contraction metrics, respectively. Most design techniques providing controllers"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0030","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":""},"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-18T03:52:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4jgmB/ygf47IRoQsLOF/W+KHFt5azhCOHn+0VoKvGFei53uahHX7eJp06Dv6gQsodRrR5GSJwpwoGV5x3HFBAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:13:43.919852Z"},"content_sha256":"dc382485afc980a3dab30651604e2c59a31ac14196481bde118aa44617fdb7a4","schema_version":"1.0","event_id":"sha256:dc382485afc980a3dab30651604e2c59a31ac14196481bde118aa44617fdb7a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/bundle.json","state_url":"https://pith.science/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/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-07T22:13:43Z","links":{"resolver":"https://pith.science/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3","bundle":"https://pith.science/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/bundle.json","state":"https://pith.science/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M2Y4L5KHGZJ2SUMTUJ5JTSMOT3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:M2Y4L5KHGZJ2SUMTUJ5JTSMOT3","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":"54f938fe28ee6bf51f559d865418638c054c740353142386e677fd16a2e4d681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-06-29T22:57:56Z","title_canon_sha256":"a8185bf70daffe9753122c6487afa0a8cae827923299d7d09582c65fcfdc076b"},"schema_version":"1.0","source":{"id":"1207.0030","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.0030","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"arxiv_version","alias_value":"1207.0030v1","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.0030","created_at":"2026-05-18T03:52:00Z"},{"alias_kind":"pith_short_12","alias_value":"M2Y4L5KHGZJ2","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"M2Y4L5KHGZJ2SUMT","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"M2Y4L5KH","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:dc382485afc980a3dab30651604e2c59a31ac14196481bde118aa44617fdb7a4","target":"graph","created_at":"2026-05-18T03:52:00Z","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":"Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability, Lyapunov functions and contraction metrics play important roles in the study of incremental stability. In this paper, we provide characterizations and descriptions of incremental stability in terms of existence of coordinate-invariant notions of incremental Lyapunov functions and contraction metrics, respectively. Most design techniques providing controllers","authors_text":"Majid Zamani, Nathan van de Wouw, Rupak Majumdar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-06-29T22:57:56Z","title":"Backstepping controller synthesis and characterizations of incremental stability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.0030","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:adc9e628f7684424c5c632b662c849a7b10fabebe6353babf029870ff061cbe1","target":"record","created_at":"2026-05-18T03:52:00Z","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":"54f938fe28ee6bf51f559d865418638c054c740353142386e677fd16a2e4d681","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2012-06-29T22:57:56Z","title_canon_sha256":"a8185bf70daffe9753122c6487afa0a8cae827923299d7d09582c65fcfdc076b"},"schema_version":"1.0","source":{"id":"1207.0030","kind":"arxiv","version":1}},"canonical_sha256":"66b1c5f5473653a95193a27a99c98e9ef0c877953bd09686c528104190611d1b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"66b1c5f5473653a95193a27a99c98e9ef0c877953bd09686c528104190611d1b","first_computed_at":"2026-05-18T03:52:00.512128Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:52:00.512128Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1hUqfu3fGcHnMiEHMWhBTwIM9elrkjLnn1xEbJh83XuTeLc/LrjazY6Rfxd6u/0DDrzMBQAMaJGZtRvna4W+AA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:52:00.512751Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.0030","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:adc9e628f7684424c5c632b662c849a7b10fabebe6353babf029870ff061cbe1","sha256:dc382485afc980a3dab30651604e2c59a31ac14196481bde118aa44617fdb7a4"],"state_sha256":"bcbfa09b7440cf48fda1780707e8028a64c8747ef99539e22b4d7f3b0350f036"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CvgOsWfG4OGDzPwl2JZQoC9PC/VbsagYNqOi0VQBjkGppFwqALJ2VmiIA4KN2CT2ULzpwV2nkufwRRoy88Y9Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T22:13:43.923161Z","bundle_sha256":"cf013d08ad50725e9f51bae7f9164db61b417176790a2397a060c875f64f9182"}}