{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3SHVOFFUURBE5TVU3LVOHEWCFM","short_pith_number":"pith:3SHVOFFU","canonical_record":{"source":{"id":"1901.03315","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-01-10T18:37:13Z","cross_cats_sorted":["cs.SC","cs.SY","math.DS","math.OC"],"title_canon_sha256":"dd70656050dbc49ecab260d4defd37b562d631e5b16adeff3a52b312abeea0f8","abstract_canon_sha256":"acd423ab4bf15147991b219d429c6337e68d1b4b7d32e9cfb32a430961831ae4"},"schema_version":"1.0"},"canonical_sha256":"dc8f5714b4a4424eceb4daeae392c22b272b575e63a9494a9fda83bec8ce0b34","source":{"kind":"arxiv","id":"1901.03315","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03315","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03315v1","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03315","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_12","alias_value":"3SHVOFFUURBE","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_16","alias_value":"3SHVOFFUURBE5TVU","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_8","alias_value":"3SHVOFFU","created_at":"2026-07-04T23:58:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3SHVOFFUURBE5TVU3LVOHEWCFM","target":"record","payload":{"canonical_record":{"source":{"id":"1901.03315","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-01-10T18:37:13Z","cross_cats_sorted":["cs.SC","cs.SY","math.DS","math.OC"],"title_canon_sha256":"dd70656050dbc49ecab260d4defd37b562d631e5b16adeff3a52b312abeea0f8","abstract_canon_sha256":"acd423ab4bf15147991b219d429c6337e68d1b4b7d32e9cfb32a430961831ae4"},"schema_version":"1.0"},"canonical_sha256":"dc8f5714b4a4424eceb4daeae392c22b272b575e63a9494a9fda83bec8ce0b34","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:58:24.966301Z","signature_b64":"jEj+Yd8PTOIstWHGRDxELluylwLDK5wM1mZX5rgUGv88HCF2Ub/12p6Xo5dsOJ665fDnYhXDTcPe846qbgUpBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc8f5714b4a4424eceb4daeae392c22b272b575e63a9494a9fda83bec8ce0b34","last_reissued_at":"2026-07-04T23:58:24.965800Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:58:24.965800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.03315","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-07-04T23:58:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aCwtBe1DRYVYGxZSmbDpiYNlk+35sPAV+1HUVAsIZrX1eC0eCMN8AnGtKHMdEW0ctoJvTj/7HXOAu/EC1uhGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:57:58.919835Z"},"content_sha256":"dab0bce0487d03154d07e8de8ffc9f8897eb5409943a7f489a03ae1953e1de18","schema_version":"1.0","event_id":"sha256:dab0bce0487d03154d07e8de8ffc9f8897eb5409943a7f489a03ae1953e1de18"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3SHVOFFUURBE5TVU3LVOHEWCFM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","cs.SY","math.DS","math.OC"],"primary_cat":"eess.SY","authors_text":"Ezio Bartocci, Fedor Shmarov, Nicola Paoletti, Paolo Zuliani, Sadegh Soudjani, Scott A. Smolka, Shan Lin","submitted_at":"2019-01-10T18:37:13Z","abstract_excerpt":"We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sampled-data stochastic control system, satisfies a safety specification with probability above a given threshold. The proposed synthesis method alternates between two steps: generation of a candidate controller pc, and verification of the candidate. pc is found by maximizing a Monte Carlo estimate of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03315","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1901.03315/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T23:58:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+MNBoT9rimHXLE98PqmXpsBFwcTe0hpdB1LRlKbt+K/01TVwfNiyBSN7zLn7r6zIS6J+Sh5WM5ztqnBSgjcsCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:57:58.920243Z"},"content_sha256":"17e11c47f2b820212bfa2b5a708948abf43d7971ac96451f47a539a2173a8400","schema_version":"1.0","event_id":"sha256:17e11c47f2b820212bfa2b5a708948abf43d7971ac96451f47a539a2173a8400"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/bundle.json","state_url":"https://pith.science/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/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-08-03T17:57:58Z","links":{"resolver":"https://pith.science/pith/3SHVOFFUURBE5TVU3LVOHEWCFM","bundle":"https://pith.science/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/bundle.json","state":"https://pith.science/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3SHVOFFUURBE5TVU3LVOHEWCFM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3SHVOFFUURBE5TVU3LVOHEWCFM","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":"acd423ab4bf15147991b219d429c6337e68d1b4b7d32e9cfb32a430961831ae4","cross_cats_sorted":["cs.SC","cs.SY","math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-01-10T18:37:13Z","title_canon_sha256":"dd70656050dbc49ecab260d4defd37b562d631e5b16adeff3a52b312abeea0f8"},"schema_version":"1.0","source":{"id":"1901.03315","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03315","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03315v1","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03315","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_12","alias_value":"3SHVOFFUURBE","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_16","alias_value":"3SHVOFFUURBE5TVU","created_at":"2026-07-04T23:58:24Z"},{"alias_kind":"pith_short_8","alias_value":"3SHVOFFU","created_at":"2026-07-04T23:58:24Z"}],"graph_snapshots":[{"event_id":"sha256:17e11c47f2b820212bfa2b5a708948abf43d7971ac96451f47a539a2173a8400","target":"graph","created_at":"2026-07-04T23:58:24Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1901.03315/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers such that the corresponding closed-loop system, modeled as a sampled-data stochastic control system, satisfies a safety specification with probability above a given threshold. The proposed synthesis method alternates between two steps: generation of a candidate controller pc, and verification of the candidate. pc is found by maximizing a Monte Carlo estimate of","authors_text":"Ezio Bartocci, Fedor Shmarov, Nicola Paoletti, Paolo Zuliani, Sadegh Soudjani, Scott A. Smolka, Shan Lin","cross_cats":["cs.SC","cs.SY","math.DS","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-01-10T18:37:13Z","title":"Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03315","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:dab0bce0487d03154d07e8de8ffc9f8897eb5409943a7f489a03ae1953e1de18","target":"record","created_at":"2026-07-04T23:58:24Z","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":"acd423ab4bf15147991b219d429c6337e68d1b4b7d32e9cfb32a430961831ae4","cross_cats_sorted":["cs.SC","cs.SY","math.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2019-01-10T18:37:13Z","title_canon_sha256":"dd70656050dbc49ecab260d4defd37b562d631e5b16adeff3a52b312abeea0f8"},"schema_version":"1.0","source":{"id":"1901.03315","kind":"arxiv","version":1}},"canonical_sha256":"dc8f5714b4a4424eceb4daeae392c22b272b575e63a9494a9fda83bec8ce0b34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc8f5714b4a4424eceb4daeae392c22b272b575e63a9494a9fda83bec8ce0b34","first_computed_at":"2026-07-04T23:58:24.965800Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:58:24.965800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jEj+Yd8PTOIstWHGRDxELluylwLDK5wM1mZX5rgUGv88HCF2Ub/12p6Xo5dsOJ665fDnYhXDTcPe846qbgUpBA==","signature_status":"signed_v1","signed_at":"2026-07-04T23:58:24.966301Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.03315","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dab0bce0487d03154d07e8de8ffc9f8897eb5409943a7f489a03ae1953e1de18","sha256:17e11c47f2b820212bfa2b5a708948abf43d7971ac96451f47a539a2173a8400"],"state_sha256":"069f11bc2855017ece13877c38ffc80137c774619c21cd89ec73fbf49254ac4d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"b3nMW/V52QZ+JLOaCxf3UBXEFJBmJulxsQkduxyQLs/1xqVGi3NTAgNU9Dpt+544x7LyNAVxHhfKmhKqY31IDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:57:58.923076Z","bundle_sha256":"d5e7fecb271d81143699b57b655a83970e1c467ce144d5fdea168cb8943fd52d"}}