{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:3KT5Z2XVB5BPIO4Z6BVXGO27MZ","short_pith_number":"pith:3KT5Z2XV","schema_version":"1.0","canonical_sha256":"daa7dceaf50f42f43b99f06b733b5f66476012396c886a71a8ca9a0275e9bc47","source":{"kind":"arxiv","id":"1902.04064","version":1},"attestation_state":"computed","paper":{"title":"REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Gautam Mohan, Insup Lee, James Weimer, Luan Viet Nguyen, Oleg Sokolsky, Rajeev Alur","submitted_at":"2019-02-09T20:38:54Z","abstract_excerpt":"Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a designer first constructs a model, with mathematically precise semantics, of the system under design, and performs extensive analysis with respect to correctness requirements before generating the implementation from the model. However, as new vulnerabilities are discovered, requirements evolve aimed at ensuring resiliency. There is currently a shortage of an inexpensive, automated mechanism that can effectively repair"},"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":"1902.04064","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2019-02-09T20:38:54Z","cross_cats_sorted":[],"title_canon_sha256":"1fd84e434c8e02783016e0be29eb5c51e77b95d494d475d05ea349f56f044153","abstract_canon_sha256":"d494eb7cefe1c32c828a9a8c8393c08fb64166a575fd36045c33c1a13e6e1022"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:13.126856Z","signature_b64":"Ibe8mrX2KdNa1eejrDdZgCEK07gsnLXE6QWXh/lAxFsrKM0uPJtbMIFjodlKI8H/y7Tdby1wtYuDLY7N+ywqDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daa7dceaf50f42f43b99f06b733b5f66476012396c886a71a8ca9a0275e9bc47","last_reissued_at":"2026-05-17T23:54:13.126355Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:13.126355Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Gautam Mohan, Insup Lee, James Weimer, Luan Viet Nguyen, Oleg Sokolsky, Rajeev Alur","submitted_at":"2019-02-09T20:38:54Z","abstract_excerpt":"Model-based design offers a promising approach for assisting developers to build reliable and secure cyber-physical systems (CPSs) in a systematic manner. In this methodology, a designer first constructs a model, with mathematically precise semantics, of the system under design, and performs extensive analysis with respect to correctness requirements before generating the implementation from the model. However, as new vulnerabilities are discovered, requirements evolve aimed at ensuring resiliency. There is currently a shortage of an inexpensive, automated mechanism that can effectively repair"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04064","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":"1902.04064","created_at":"2026-05-17T23:54:13.126432+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.04064v1","created_at":"2026-05-17T23:54:13.126432+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04064","created_at":"2026-05-17T23:54:13.126432+00:00"},{"alias_kind":"pith_short_12","alias_value":"3KT5Z2XVB5BP","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_16","alias_value":"3KT5Z2XVB5BPIO4Z","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_8","alias_value":"3KT5Z2XV","created_at":"2026-05-18T12:33:07.085635+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/3KT5Z2XVB5BPIO4Z6BVXGO27MZ","json":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ.json","graph_json":"https://pith.science/api/pith-number/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/graph.json","events_json":"https://pith.science/api/pith-number/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/events.json","paper":"https://pith.science/paper/3KT5Z2XV"},"agent_actions":{"view_html":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ","download_json":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ.json","view_paper":"https://pith.science/paper/3KT5Z2XV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.04064&json=true","fetch_graph":"https://pith.science/api/pith-number/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/graph.json","fetch_events":"https://pith.science/api/pith-number/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/action/storage_attestation","attest_author":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/action/author_attestation","sign_citation":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/action/citation_signature","submit_replication":"https://pith.science/pith/3KT5Z2XVB5BPIO4Z6BVXGO27MZ/action/replication_record"}},"created_at":"2026-05-17T23:54:13.126432+00:00","updated_at":"2026-05-17T23:54:13.126432+00:00"}