{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:KTAHPQMA23ATZ7Y5NN3YPPCCU2","short_pith_number":"pith:KTAHPQMA","canonical_record":{"source":{"id":"1904.11456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-25T16:54:51Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"5f7c9fc7362ed635f92678f3c8f93b43a6dfd660117b96100c4653b82d78b255","abstract_canon_sha256":"4cc04eff73abb0d8a36d552611ea299679662b956ff2d64c0a9d6900b0547bfd"},"schema_version":"1.0"},"canonical_sha256":"54c077c180d6c13cff1d6b7787bc42a6bc9df9bae086bd496fc211bc4d62b883","source":{"kind":"arxiv","id":"1904.11456","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11456","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11456v1","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11456","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"pith_short_12","alias_value":"KTAHPQMA23AT","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KTAHPQMA23ATZ7Y5","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KTAHPQMA","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:KTAHPQMA23ATZ7Y5NN3YPPCCU2","target":"record","payload":{"canonical_record":{"source":{"id":"1904.11456","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-25T16:54:51Z","cross_cats_sorted":["math.DS"],"title_canon_sha256":"5f7c9fc7362ed635f92678f3c8f93b43a6dfd660117b96100c4653b82d78b255","abstract_canon_sha256":"4cc04eff73abb0d8a36d552611ea299679662b956ff2d64c0a9d6900b0547bfd"},"schema_version":"1.0"},"canonical_sha256":"54c077c180d6c13cff1d6b7787bc42a6bc9df9bae086bd496fc211bc4d62b883","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:44.811742Z","signature_b64":"eQcQbosypJPfxoTnxZcVfh7BB8ItquT7AXoVodv4jTvlJUBOpsNDzrQ3IB1Ptn+9/JWlJ4rizPv9CJlC91otAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"54c077c180d6c13cff1d6b7787bc42a6bc9df9bae086bd496fc211bc4d62b883","last_reissued_at":"2026-05-17T23:47:44.811213Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:44.811213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.11456","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-17T23:47:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6DjH2M8rNkfkwv0nvZVzbf9gjZewkTlYlJIkSc/5q7uQ2eV9+ah7rL4T4GrqVjQHutOZDI1Zx5RLnU48hL83Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:22:26.146735Z"},"content_sha256":"ff63a42356fcb1ac389fe300f1e729581510abe5d51683ba550fc2610f54c8f8","schema_version":"1.0","event_id":"sha256:ff63a42356fcb1ac389fe300f1e729581510abe5d51683ba550fc2610f54c8f8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:KTAHPQMA23ATZ7Y5NN3YPPCCU2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DS"],"primary_cat":"math.OC","authors_text":"Bo Wu, Murat Cubuktepe, Ufuk Topcu","submitted_at":"2019-04-25T16:54:51Z","abstract_excerpt":"Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise naturally to model unexpected failures, environment uncertainties or system noises during system operation. In this paper, we consider a special class of switched linear systems where the mode switches are governed by Markov decision processes (MDPs). We study the problem of synthesizing a policy in an MDP that stabilizes the switched system. Given a policy, the switched linear system becomes a Markov jump linear system w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11456","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-17T23:47:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6mog9jibm/uHJ5lDrRTf7/k2+3cZA9lRS5sWZ4ZJX22ZPiIFB3Fcpj55M6mtBz5t3feQAK30OMvTE3Uv92zjAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T21:22:26.147408Z"},"content_sha256":"317a1aaf97155e664b8fdc78f507998c24f0cffbda331b4e40c28a13b4405ed8","schema_version":"1.0","event_id":"sha256:317a1aaf97155e664b8fdc78f507998c24f0cffbda331b4e40c28a13b4405ed8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/bundle.json","state_url":"https://pith.science/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/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-29T21:22:26Z","links":{"resolver":"https://pith.science/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2","bundle":"https://pith.science/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/bundle.json","state":"https://pith.science/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KTAHPQMA23ATZ7Y5NN3YPPCCU2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:KTAHPQMA23ATZ7Y5NN3YPPCCU2","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":"4cc04eff73abb0d8a36d552611ea299679662b956ff2d64c0a9d6900b0547bfd","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-25T16:54:51Z","title_canon_sha256":"5f7c9fc7362ed635f92678f3c8f93b43a6dfd660117b96100c4653b82d78b255"},"schema_version":"1.0","source":{"id":"1904.11456","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.11456","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"arxiv_version","alias_value":"1904.11456v1","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.11456","created_at":"2026-05-17T23:47:44Z"},{"alias_kind":"pith_short_12","alias_value":"KTAHPQMA23AT","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"KTAHPQMA23ATZ7Y5","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"KTAHPQMA","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:317a1aaf97155e664b8fdc78f507998c24f0cffbda331b4e40c28a13b4405ed8","target":"graph","created_at":"2026-05-17T23:47:44Z","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":"Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise naturally to model unexpected failures, environment uncertainties or system noises during system operation. In this paper, we consider a special class of switched linear systems where the mode switches are governed by Markov decision processes (MDPs). We study the problem of synthesizing a policy in an MDP that stabilizes the switched system. Given a policy, the switched linear system becomes a Markov jump linear system w","authors_text":"Bo Wu, Murat Cubuktepe, Ufuk Topcu","cross_cats":["math.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-25T16:54:51Z","title":"Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.11456","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:ff63a42356fcb1ac389fe300f1e729581510abe5d51683ba550fc2610f54c8f8","target":"record","created_at":"2026-05-17T23:47:44Z","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":"4cc04eff73abb0d8a36d552611ea299679662b956ff2d64c0a9d6900b0547bfd","cross_cats_sorted":["math.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-25T16:54:51Z","title_canon_sha256":"5f7c9fc7362ed635f92678f3c8f93b43a6dfd660117b96100c4653b82d78b255"},"schema_version":"1.0","source":{"id":"1904.11456","kind":"arxiv","version":1}},"canonical_sha256":"54c077c180d6c13cff1d6b7787bc42a6bc9df9bae086bd496fc211bc4d62b883","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"54c077c180d6c13cff1d6b7787bc42a6bc9df9bae086bd496fc211bc4d62b883","first_computed_at":"2026-05-17T23:47:44.811213Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:44.811213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eQcQbosypJPfxoTnxZcVfh7BB8ItquT7AXoVodv4jTvlJUBOpsNDzrQ3IB1Ptn+9/JWlJ4rizPv9CJlC91otAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:44.811742Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.11456","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff63a42356fcb1ac389fe300f1e729581510abe5d51683ba550fc2610f54c8f8","sha256:317a1aaf97155e664b8fdc78f507998c24f0cffbda331b4e40c28a13b4405ed8"],"state_sha256":"4f9a036fd1dabe989d9b99a9f6f46a219a3963ad2367bb8c083a182f5e1ab379"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zwl1f25f53i3vYiUZTIwDMBjwhbEWypcF+d8+8Jj+EvQ/Y0NGIGkdyOJkUIf7Y2fTTiQPj5mv5Vq9CT0w91eCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T21:22:26.151341Z","bundle_sha256":"2b78fbc5cd6394b5dcd9bcf32bfaa160dd2ef5f7e2b4a1d73ad45e7ecb852428"}}