{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:ZL2OPVNCNPSHYNW2EQ2C7ZILM5","short_pith_number":"pith:ZL2OPVNC","schema_version":"1.0","canonical_sha256":"caf4e7d5a26be47c36da24342fe50b676f3dc8f5baab5454637f0be0307cdc04","source":{"kind":"arxiv","id":"1712.05278","version":1},"attestation_state":"computed","paper":{"title":"Quantitative Implementation Strategies for Safety Controllers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Javier Esparza, Majid Zamani, Matthias Rungger, Michael Luttenberger, Philipp J. Meyer","submitted_at":"2017-12-14T15:17:48Z","abstract_excerpt":"We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies to obtain a controller with certain performance guarantees. This class includes two existing implementation strategies from the literature, based on discounted payoff and mean-payoff games. We unify bo"},"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":"1712.05278","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-12-14T15:17:48Z","cross_cats_sorted":[],"title_canon_sha256":"41f9f32dbbb926910b90d92f1bac7f22ecdc96f715db020cb98988375acec3dd","abstract_canon_sha256":"b4b3c67666d2642858e33a37063e143f8bb4b865d179301d1a1bd6fb7b8788e7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:27:58.402982Z","signature_b64":"VFFzLaUkHF0HLxifF5fXS0YFD/UWCGDdcEMHwUu2QFXnoJlg0tdL6nrX7kVeaCexyvbC937n+OQj2DZEMkgxBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"caf4e7d5a26be47c36da24342fe50b676f3dc8f5baab5454637f0be0307cdc04","last_reissued_at":"2026-05-18T00:27:58.402383Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:27:58.402383Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantitative Implementation Strategies for Safety Controllers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Javier Esparza, Majid Zamani, Matthias Rungger, Michael Luttenberger, Philipp J. Meyer","submitted_at":"2017-12-14T15:17:48Z","abstract_excerpt":"We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies to obtain a controller with certain performance guarantees. This class includes two existing implementation strategies from the literature, based on discounted payoff and mean-payoff games. We unify bo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.05278","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":"1712.05278","created_at":"2026-05-18T00:27:58.402482+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.05278v1","created_at":"2026-05-18T00:27:58.402482+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.05278","created_at":"2026-05-18T00:27:58.402482+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZL2OPVNCNPSH","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZL2OPVNCNPSHYNW2","created_at":"2026-05-18T12:31:59.375834+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZL2OPVNC","created_at":"2026-05-18T12:31:59.375834+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/ZL2OPVNCNPSHYNW2EQ2C7ZILM5","json":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5.json","graph_json":"https://pith.science/api/pith-number/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/graph.json","events_json":"https://pith.science/api/pith-number/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/events.json","paper":"https://pith.science/paper/ZL2OPVNC"},"agent_actions":{"view_html":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5","download_json":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5.json","view_paper":"https://pith.science/paper/ZL2OPVNC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.05278&json=true","fetch_graph":"https://pith.science/api/pith-number/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/graph.json","fetch_events":"https://pith.science/api/pith-number/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/action/storage_attestation","attest_author":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/action/author_attestation","sign_citation":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/action/citation_signature","submit_replication":"https://pith.science/pith/ZL2OPVNCNPSHYNW2EQ2C7ZILM5/action/replication_record"}},"created_at":"2026-05-18T00:27:58.402482+00:00","updated_at":"2026-05-18T00:27:58.402482+00:00"}