{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:E4DLKRJSTT7MYA6D6KIOQ3W55V","short_pith_number":"pith:E4DLKRJS","schema_version":"1.0","canonical_sha256":"2706b545329cfecc03c3f290e86edded4666525f66e6ffb649ca1b2b079b51e5","source":{"kind":"arxiv","id":"1808.04276","version":1},"attestation_state":"computed","paper":{"title":"Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.OC","authors_text":"Matija Bucic, Melkior Ornik, Ufuk Topcu","submitted_at":"2018-08-13T14:47:56Z","abstract_excerpt":"Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to prevent such negative events, it is vital that an autonomous system remains able to achieve its control objective even if the system partially loses control authority. While loss of authority limits the system's control capabilities, it may be possible to use the remaining authority in such a way that the system's control objectives remain achievable. In this paper, we consider the problem of optimal design for an auto"},"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":"1808.04276","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-08-13T14:47:56Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"10e549e9193486216db0e7c3559fd1928132dddd514dda4aaff8dcfb0f449d34","abstract_canon_sha256":"895738956da55ff79f7b2db637572538ca184818f0491825e20e756992517aec"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:18.428632Z","signature_b64":"tyXKxflCcTlHM20t/d1ObEfhys0O8B+Iwr/G5B6fDQyfYrqQhtagHqFnUZJ7almAAN+OgVeWF6CA3FIy3rasAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2706b545329cfecc03c3f290e86edded4666525f66e6ffb649ca1b2b079b51e5","last_reissued_at":"2026-05-18T00:08:18.428234Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:18.428234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CO"],"primary_cat":"math.OC","authors_text":"Matija Bucic, Melkior Ornik, Ufuk Topcu","submitted_at":"2018-08-13T14:47:56Z","abstract_excerpt":"Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to prevent such negative events, it is vital that an autonomous system remains able to achieve its control objective even if the system partially loses control authority. While loss of authority limits the system's control capabilities, it may be possible to use the remaining authority in such a way that the system's control objectives remain achievable. In this paper, we consider the problem of optimal design for an auto"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.04276","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":"1808.04276","created_at":"2026-05-18T00:08:18.428292+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.04276v1","created_at":"2026-05-18T00:08:18.428292+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.04276","created_at":"2026-05-18T00:08:18.428292+00:00"},{"alias_kind":"pith_short_12","alias_value":"E4DLKRJSTT7M","created_at":"2026-05-18T12:32:19.392346+00:00"},{"alias_kind":"pith_short_16","alias_value":"E4DLKRJSTT7MYA6D","created_at":"2026-05-18T12:32:19.392346+00:00"},{"alias_kind":"pith_short_8","alias_value":"E4DLKRJS","created_at":"2026-05-18T12:32:19.392346+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/E4DLKRJSTT7MYA6D6KIOQ3W55V","json":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V.json","graph_json":"https://pith.science/api/pith-number/E4DLKRJSTT7MYA6D6KIOQ3W55V/graph.json","events_json":"https://pith.science/api/pith-number/E4DLKRJSTT7MYA6D6KIOQ3W55V/events.json","paper":"https://pith.science/paper/E4DLKRJS"},"agent_actions":{"view_html":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V","download_json":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V.json","view_paper":"https://pith.science/paper/E4DLKRJS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.04276&json=true","fetch_graph":"https://pith.science/api/pith-number/E4DLKRJSTT7MYA6D6KIOQ3W55V/graph.json","fetch_events":"https://pith.science/api/pith-number/E4DLKRJSTT7MYA6D6KIOQ3W55V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V/action/storage_attestation","attest_author":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V/action/author_attestation","sign_citation":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V/action/citation_signature","submit_replication":"https://pith.science/pith/E4DLKRJSTT7MYA6D6KIOQ3W55V/action/replication_record"}},"created_at":"2026-05-18T00:08:18.428292+00:00","updated_at":"2026-05-18T00:08:18.428292+00:00"}