{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:IXOCYFCDNXDU5TT5VUW7QWRT7G","short_pith_number":"pith:IXOCYFCD","schema_version":"1.0","canonical_sha256":"45dc2c14436dc74ece7dad2df85a33f98ccf21d38bfe11aaf98532d763b6262e","source":{"kind":"arxiv","id":"1707.03223","version":1},"attestation_state":"computed","paper":{"title":"Synthesis of Optimal Resilient Control Strategies","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO","cs.PF"],"primary_cat":"cs.SY","authors_text":"Anton\\'in Ku\\v{c}era Vojt\\v{e}ch \\v{R}eh\\'ak, Christel Baier, Clemens Dubslaff, \\v{L}ubo\\v{s} Koren\\v{c}iak","submitted_at":"2017-07-11T11:34:18Z","abstract_excerpt":"Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are imposed, e.g., concerning the time or resources required (such as energy consumption or other kinds of costs). For systems modeled by Markov decision processes (MDPs), we introduce the concept of resilient schedulers, which represent control strategies guaranteeing that these constraints are always met within some given probability. Assigning rewards to the operational states of the system, we then aim towards resilie"},"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":"1707.03223","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.SY","submitted_at":"2017-07-11T11:34:18Z","cross_cats_sorted":["cs.LO","cs.PF"],"title_canon_sha256":"b276b72a9671ce63df2bbcb480eefe674e62c9b1cfad29b27556b5f75fe6fc78","abstract_canon_sha256":"69ef20a931e9c0bbb7de9dc980de4b1e02c156949dd061961f9e94b4efeaf46c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:29.548305Z","signature_b64":"dvH9bZHB6dipNvAV4agiiDqtNOjUTR0Sx73tNNXOVnhqmjEbuK3EldFFLs029ZI+XWXbpth4+5om73Wdkj0PAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45dc2c14436dc74ece7dad2df85a33f98ccf21d38bfe11aaf98532d763b6262e","last_reissued_at":"2026-05-18T00:40:29.547860Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:29.547860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesis of Optimal Resilient Control Strategies","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO","cs.PF"],"primary_cat":"cs.SY","authors_text":"Anton\\'in Ku\\v{c}era Vojt\\v{e}ch \\v{R}eh\\'ak, Christel Baier, Clemens Dubslaff, \\v{L}ubo\\v{s} Koren\\v{c}iak","submitted_at":"2017-07-11T11:34:18Z","abstract_excerpt":"Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are imposed, e.g., concerning the time or resources required (such as energy consumption or other kinds of costs). For systems modeled by Markov decision processes (MDPs), we introduce the concept of resilient schedulers, which represent control strategies guaranteeing that these constraints are always met within some given probability. Assigning rewards to the operational states of the system, we then aim towards resilie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.03223","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":"1707.03223","created_at":"2026-05-18T00:40:29.547924+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.03223v1","created_at":"2026-05-18T00:40:29.547924+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.03223","created_at":"2026-05-18T00:40:29.547924+00:00"},{"alias_kind":"pith_short_12","alias_value":"IXOCYFCDNXDU","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_16","alias_value":"IXOCYFCDNXDU5TT5","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_8","alias_value":"IXOCYFCD","created_at":"2026-05-18T12:31:21.493067+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/IXOCYFCDNXDU5TT5VUW7QWRT7G","json":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G.json","graph_json":"https://pith.science/api/pith-number/IXOCYFCDNXDU5TT5VUW7QWRT7G/graph.json","events_json":"https://pith.science/api/pith-number/IXOCYFCDNXDU5TT5VUW7QWRT7G/events.json","paper":"https://pith.science/paper/IXOCYFCD"},"agent_actions":{"view_html":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G","download_json":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G.json","view_paper":"https://pith.science/paper/IXOCYFCD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.03223&json=true","fetch_graph":"https://pith.science/api/pith-number/IXOCYFCDNXDU5TT5VUW7QWRT7G/graph.json","fetch_events":"https://pith.science/api/pith-number/IXOCYFCDNXDU5TT5VUW7QWRT7G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G/action/storage_attestation","attest_author":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G/action/author_attestation","sign_citation":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G/action/citation_signature","submit_replication":"https://pith.science/pith/IXOCYFCDNXDU5TT5VUW7QWRT7G/action/replication_record"}},"created_at":"2026-05-18T00:40:29.547924+00:00","updated_at":"2026-05-18T00:40:29.547924+00:00"}