{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LKLKVXVUHGPG2L7YAS2K2IYGOM","short_pith_number":"pith:LKLKVXVU","canonical_record":{"source":{"id":"1410.7197","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-10-27T12:07:43Z","cross_cats_sorted":[],"title_canon_sha256":"91a546de7cb51f64207043b2d1ac95e3863a7d5a9baf15fa45b66535028f161f","abstract_canon_sha256":"187130b93a48898819fb52ee307ad0d79cf38e7548023ec326867b38a1531be1"},"schema_version":"1.0"},"canonical_sha256":"5a96aadeb4399e6d2ff804b4ad23067326f977f813ba4b6bdf4927d255461d75","source":{"kind":"arxiv","id":"1410.7197","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7197","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7197v3","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7197","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"LKLKVXVUHGPG","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LKLKVXVUHGPG2L7Y","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LKLKVXVU","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LKLKVXVUHGPG2L7YAS2K2IYGOM","target":"record","payload":{"canonical_record":{"source":{"id":"1410.7197","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-10-27T12:07:43Z","cross_cats_sorted":[],"title_canon_sha256":"91a546de7cb51f64207043b2d1ac95e3863a7d5a9baf15fa45b66535028f161f","abstract_canon_sha256":"187130b93a48898819fb52ee307ad0d79cf38e7548023ec326867b38a1531be1"},"schema_version":"1.0"},"canonical_sha256":"5a96aadeb4399e6d2ff804b4ad23067326f977f813ba4b6bdf4927d255461d75","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:37:37.977792Z","signature_b64":"CrfRjBBZBiKoypLEWA3iO6mkJJIBTTeUDFFtQRs36nN53Qvhe+EkPV6SUZnNHsknLBex8iQjMDdg9lE8dU8GBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a96aadeb4399e6d2ff804b4ad23067326f977f813ba4b6bdf4927d255461d75","last_reissued_at":"2026-05-18T02:37:37.977257Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:37:37.977257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.7197","source_version":3,"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-18T02:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V8oOzDgvYS1SvAQ99t7BaCl3cXyJj4lfI84S32QQXJiFSn5qziIAz2oTtLohlHNdiW5Cp4VKSfEDpOPbLu12Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T17:04:35.500035Z"},"content_sha256":"93871349b0e2530777f2c6a2688adc5548c646990fac204e763bc1b99370182b","schema_version":"1.0","event_id":"sha256:93871349b0e2530777f2c6a2688adc5548c646990fac204e763bc1b99370182b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LKLKVXVUHGPG2L7YAS2K2IYGOM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DS","authors_text":"Matthew Philippe, Rapha\\\"el M. Jungers","submitted_at":"2014-10-27T12:07:43Z","abstract_excerpt":"We present a stability analysis framework for the general class of discrete-time linear switching systems for which the switching sequences belong to a regular language. They admit arbitrary switching systems as special cases.\n  Using recent results of X. Dai on the asymptotic growth rate of such systems, we introduce the concept of multinorm as an algebraic tool for stability analysis.\n  We conjugate this tool with two families of multiple quadratic Lyapunov functions, parameterized by an integer T >= 1, and obtain converse Lyapunov Theorems for each.\n  Lyapunov functions of the first family "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7197","kind":"arxiv","version":3},"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-18T02:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"777G6QZZN5YrWrBudITe8LfhY5txRRGuWSoZ7PYM6V9LvsZaV5/giQ77tlxPRKFMBrMOd5whe2hBxiBd1kcfAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T17:04:35.500385Z"},"content_sha256":"2057077de3b819e26b379be51276b6edd72627c5ca5effc8b243090cb0014549","schema_version":"1.0","event_id":"sha256:2057077de3b819e26b379be51276b6edd72627c5ca5effc8b243090cb0014549"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/bundle.json","state_url":"https://pith.science/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/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-27T17:04:35Z","links":{"resolver":"https://pith.science/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM","bundle":"https://pith.science/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/bundle.json","state":"https://pith.science/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LKLKVXVUHGPG2L7YAS2K2IYGOM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LKLKVXVUHGPG2L7YAS2K2IYGOM","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":"187130b93a48898819fb52ee307ad0d79cf38e7548023ec326867b38a1531be1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-10-27T12:07:43Z","title_canon_sha256":"91a546de7cb51f64207043b2d1ac95e3863a7d5a9baf15fa45b66535028f161f"},"schema_version":"1.0","source":{"id":"1410.7197","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7197","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7197v3","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7197","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"LKLKVXVUHGPG","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LKLKVXVUHGPG2L7Y","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LKLKVXVU","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:2057077de3b819e26b379be51276b6edd72627c5ca5effc8b243090cb0014549","target":"graph","created_at":"2026-05-18T02:37:37Z","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":"We present a stability analysis framework for the general class of discrete-time linear switching systems for which the switching sequences belong to a regular language. They admit arbitrary switching systems as special cases.\n  Using recent results of X. Dai on the asymptotic growth rate of such systems, we introduce the concept of multinorm as an algebraic tool for stability analysis.\n  We conjugate this tool with two families of multiple quadratic Lyapunov functions, parameterized by an integer T >= 1, and obtain converse Lyapunov Theorems for each.\n  Lyapunov functions of the first family ","authors_text":"Matthew Philippe, Rapha\\\"el M. Jungers","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-10-27T12:07:43Z","title":"Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7197","kind":"arxiv","version":3},"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:93871349b0e2530777f2c6a2688adc5548c646990fac204e763bc1b99370182b","target":"record","created_at":"2026-05-18T02:37:37Z","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":"187130b93a48898819fb52ee307ad0d79cf38e7548023ec326867b38a1531be1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DS","submitted_at":"2014-10-27T12:07:43Z","title_canon_sha256":"91a546de7cb51f64207043b2d1ac95e3863a7d5a9baf15fa45b66535028f161f"},"schema_version":"1.0","source":{"id":"1410.7197","kind":"arxiv","version":3}},"canonical_sha256":"5a96aadeb4399e6d2ff804b4ad23067326f977f813ba4b6bdf4927d255461d75","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a96aadeb4399e6d2ff804b4ad23067326f977f813ba4b6bdf4927d255461d75","first_computed_at":"2026-05-18T02:37:37.977257Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:37:37.977257Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CrfRjBBZBiKoypLEWA3iO6mkJJIBTTeUDFFtQRs36nN53Qvhe+EkPV6SUZnNHsknLBex8iQjMDdg9lE8dU8GBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:37:37.977792Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.7197","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:93871349b0e2530777f2c6a2688adc5548c646990fac204e763bc1b99370182b","sha256:2057077de3b819e26b379be51276b6edd72627c5ca5effc8b243090cb0014549"],"state_sha256":"7599905e166abb74a4a21d4660a766351828bdca751926962514b43bb74a09bf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdrK91MkRET6NiOoatnZGLq2pde/jzcK4CwchBTX5NAXU1qkqhFyTroGrFIEsEJtoAIyIIDtMDVdmTU/t7+nCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T17:04:35.502205Z","bundle_sha256":"1da049ba04291b4c79d90269ebb760ba2e5560bc019372b9d019ba51a526425a"}}