{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:XRPDG66CJHMVMEYMS46ZAJOK2F","short_pith_number":"pith:XRPDG66C","canonical_record":{"source":{"id":"1801.04072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-12T06:55:06Z","cross_cats_sorted":[],"title_canon_sha256":"c2f0b2c7ecb0f8004e148aa1c37e63ade9a692a076db3f5ab9a6716d4827666a","abstract_canon_sha256":"ebff088614fed1b303d75f55acd6c3b83d590c759f5b5f5311543e9902d20366"},"schema_version":"1.0"},"canonical_sha256":"bc5e337bc249d956130c973d9025cad14bea033147684301d80b8e80c5d991f1","source":{"kind":"arxiv","id":"1801.04072","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04072","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04072v1","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04072","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"pith_short_12","alias_value":"XRPDG66CJHMV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XRPDG66CJHMVMEYM","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XRPDG66C","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:XRPDG66CJHMVMEYMS46ZAJOK2F","target":"record","payload":{"canonical_record":{"source":{"id":"1801.04072","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-12T06:55:06Z","cross_cats_sorted":[],"title_canon_sha256":"c2f0b2c7ecb0f8004e148aa1c37e63ade9a692a076db3f5ab9a6716d4827666a","abstract_canon_sha256":"ebff088614fed1b303d75f55acd6c3b83d590c759f5b5f5311543e9902d20366"},"schema_version":"1.0"},"canonical_sha256":"bc5e337bc249d956130c973d9025cad14bea033147684301d80b8e80c5d991f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:11.972556Z","signature_b64":"IFwQuo+Hz4MRSO16IsXZ4+G0d/n9qame3lAOdbYjgL58NFCjn9WYew9feGofR1wEwEztXI+JUxoe0Fipf6qgBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bc5e337bc249d956130c973d9025cad14bea033147684301d80b8e80c5d991f1","last_reissued_at":"2026-05-18T00:26:11.971840Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:11.971840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.04072","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:26:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tDcoXhcBjjIba8rYL+jQlGO19KXZRFRkRS2QCDZNuO44F5jsIlLZbEo8wsImfjGKjKnS53N5Lf8J7H7PcUf5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:03:17.797353Z"},"content_sha256":"a48af602a3266fa595d1439d3013a093f2a3ce312014166aa7c5b36654600d2b","schema_version":"1.0","event_id":"sha256:a48af602a3266fa595d1439d3013a093f2a3ce312014166aa7c5b36654600d2b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:XRPDG66CJHMVMEYMS46ZAJOK2F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Controller Synthesis for Safety of Physically-Viable Data-Driven Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Arie Israel, Mohamadreza Ahmadi, Ufuk Topcu","submitted_at":"2018-01-12T06:55:06Z","abstract_excerpt":"We consider the problem of designing finite-horizon safe controllers for a dynamical system for which no explicit analytical model exists and limited data only along a single trajectory of the system are available. Given samples of the states and inputs of the system, and additional side information in terms of regularity of the evolution of the states and conservation laws, we synthesize a controller such that the evolution of the states avoid some pre-specified unsafe set over a given finite horizon. Motivated by recent results on Whitney's extension theorem, we use piecewise-polynomial appr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04072","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:26:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7jtmir0HJsCMZzoBEIE2mNmOByPoOoDMgRVaOL7pMjgoeYycev7k+G26viJ7floY761n4oo+t+oWGKLAQoKSDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T00:03:17.798015Z"},"content_sha256":"8caea883a2d7db05c91a73072414e994ade5cee7db9bb2c9b0ec2ae94c5a1877","schema_version":"1.0","event_id":"sha256:8caea883a2d7db05c91a73072414e994ade5cee7db9bb2c9b0ec2ae94c5a1877"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/bundle.json","state_url":"https://pith.science/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T00:03:17Z","links":{"resolver":"https://pith.science/pith/XRPDG66CJHMVMEYMS46ZAJOK2F","bundle":"https://pith.science/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/bundle.json","state":"https://pith.science/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XRPDG66CJHMVMEYMS46ZAJOK2F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XRPDG66CJHMVMEYMS46ZAJOK2F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ebff088614fed1b303d75f55acd6c3b83d590c759f5b5f5311543e9902d20366","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-12T06:55:06Z","title_canon_sha256":"c2f0b2c7ecb0f8004e148aa1c37e63ade9a692a076db3f5ab9a6716d4827666a"},"schema_version":"1.0","source":{"id":"1801.04072","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04072","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04072v1","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04072","created_at":"2026-05-18T00:26:11Z"},{"alias_kind":"pith_short_12","alias_value":"XRPDG66CJHMV","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XRPDG66CJHMVMEYM","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XRPDG66C","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:8caea883a2d7db05c91a73072414e994ade5cee7db9bb2c9b0ec2ae94c5a1877","target":"graph","created_at":"2026-05-18T00:26:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We consider the problem of designing finite-horizon safe controllers for a dynamical system for which no explicit analytical model exists and limited data only along a single trajectory of the system are available. Given samples of the states and inputs of the system, and additional side information in terms of regularity of the evolution of the states and conservation laws, we synthesize a controller such that the evolution of the states avoid some pre-specified unsafe set over a given finite horizon. Motivated by recent results on Whitney's extension theorem, we use piecewise-polynomial appr","authors_text":"Arie Israel, Mohamadreza Ahmadi, Ufuk Topcu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-12T06:55:06Z","title":"Controller Synthesis for Safety of Physically-Viable Data-Driven Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04072","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a48af602a3266fa595d1439d3013a093f2a3ce312014166aa7c5b36654600d2b","target":"record","created_at":"2026-05-18T00:26:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ebff088614fed1b303d75f55acd6c3b83d590c759f5b5f5311543e9902d20366","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-12T06:55:06Z","title_canon_sha256":"c2f0b2c7ecb0f8004e148aa1c37e63ade9a692a076db3f5ab9a6716d4827666a"},"schema_version":"1.0","source":{"id":"1801.04072","kind":"arxiv","version":1}},"canonical_sha256":"bc5e337bc249d956130c973d9025cad14bea033147684301d80b8e80c5d991f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc5e337bc249d956130c973d9025cad14bea033147684301d80b8e80c5d991f1","first_computed_at":"2026-05-18T00:26:11.971840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:11.971840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IFwQuo+Hz4MRSO16IsXZ4+G0d/n9qame3lAOdbYjgL58NFCjn9WYew9feGofR1wEwEztXI+JUxoe0Fipf6qgBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:11.972556Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.04072","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a48af602a3266fa595d1439d3013a093f2a3ce312014166aa7c5b36654600d2b","sha256:8caea883a2d7db05c91a73072414e994ade5cee7db9bb2c9b0ec2ae94c5a1877"],"state_sha256":"6ba42227b44115cd8d43c26389c0de083175111d37634ba1795d951fb20f0bb4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JhZw4ntgg+YblUOdbnzkVDIyT5jEEIEFkCu78wygy5rpvrmDTKNUNsoarXh/Y8D7YGGazUWmKNuLKlX94nUtDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T00:03:17.800976Z","bundle_sha256":"6e7d0f30b4e01281813ab3a6b8c1925a386e8ac4cbae7cad40553fe4e8d628cf"}}