{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:UT42BWX5IXJPPOUHLEIRFEXTSX","short_pith_number":"pith:UT42BWX5","schema_version":"1.0","canonical_sha256":"a4f9a0dafd45d2f7ba8759111292f395e1aef8f6662845dc111c31129198b272","source":{"kind":"arxiv","id":"1710.00288","version":1},"attestation_state":"computed","paper":{"title":"A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Fei Miao, George J. Pappas, Miroslav Pajic, Quanyan Zhu","submitted_at":"2017-10-01T03:55:04Z","abstract_excerpt":"In this paper, we establish a zero-sum, hybrid state stochastic game model for designing defense policies for cyber-physical systems against different types of attacks. With the increasingly integrated properties of cyber-physical systems (CPS) today, security is a challenge for critical infrastructures. Though resilient control and detecting techniques for a specific model of attack have been proposed, to analyze and design detection and defense mechanisms against multiple types of attacks for CPSs requires new system frameworks. Besides security, other requirements such as optimal control co"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1710.00288","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.GT","submitted_at":"2017-10-01T03:55:04Z","cross_cats_sorted":[],"title_canon_sha256":"fba6fb5470934ab334f22a955d152e8994ceeaff31ea7c5abcd9eaaf86ff9c6e","abstract_canon_sha256":"9b2a818730c3f7b09e68a8ba8f1f158e8089869aeac3bc280f7fcfc4cb8b94a4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:33:55.272760Z","signature_b64":"JQ8L0a8Xkxs+fh5chwYXtcIpZ11uLhejIuXYpzKrG31/mckRScYuL5mFcHMXpqmGMQuxqtBXe9Ep880pftt/BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4f9a0dafd45d2f7ba8759111292f395e1aef8f6662845dc111c31129198b272","last_reissued_at":"2026-05-18T00:33:55.272208Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:33:55.272208Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Moving-Horizon Hybrid Stochastic Game for Secure Control of Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.GT","authors_text":"Fei Miao, George J. Pappas, Miroslav Pajic, Quanyan Zhu","submitted_at":"2017-10-01T03:55:04Z","abstract_excerpt":"In this paper, we establish a zero-sum, hybrid state stochastic game model for designing defense policies for cyber-physical systems against different types of attacks. With the increasingly integrated properties of cyber-physical systems (CPS) today, security is a challenge for critical infrastructures. Though resilient control and detecting techniques for a specific model of attack have been proposed, to analyze and design detection and defense mechanisms against multiple types of attacks for CPSs requires new system frameworks. Besides security, other requirements such as optimal control co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.00288","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1710.00288","created_at":"2026-05-18T00:33:55.272293+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.00288v1","created_at":"2026-05-18T00:33:55.272293+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.00288","created_at":"2026-05-18T00:33:55.272293+00:00"},{"alias_kind":"pith_short_12","alias_value":"UT42BWX5IXJP","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_16","alias_value":"UT42BWX5IXJPPOUH","created_at":"2026-05-18T12:31:49.984773+00:00"},{"alias_kind":"pith_short_8","alias_value":"UT42BWX5","created_at":"2026-05-18T12:31:49.984773+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX","json":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX.json","graph_json":"https://pith.science/api/pith-number/UT42BWX5IXJPPOUHLEIRFEXTSX/graph.json","events_json":"https://pith.science/api/pith-number/UT42BWX5IXJPPOUHLEIRFEXTSX/events.json","paper":"https://pith.science/paper/UT42BWX5"},"agent_actions":{"view_html":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX","download_json":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX.json","view_paper":"https://pith.science/paper/UT42BWX5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.00288&json=true","fetch_graph":"https://pith.science/api/pith-number/UT42BWX5IXJPPOUHLEIRFEXTSX/graph.json","fetch_events":"https://pith.science/api/pith-number/UT42BWX5IXJPPOUHLEIRFEXTSX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX/action/storage_attestation","attest_author":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX/action/author_attestation","sign_citation":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX/action/citation_signature","submit_replication":"https://pith.science/pith/UT42BWX5IXJPPOUHLEIRFEXTSX/action/replication_record"}},"created_at":"2026-05-18T00:33:55.272293+00:00","updated_at":"2026-05-18T00:33:55.272293+00:00"}