{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:BMJ3B6H2QCPK7NGFGB2CJVNG5C","short_pith_number":"pith:BMJ3B6H2","canonical_record":{"source":{"id":"2404.08344","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-04-12T09:20:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cd371ecee277809c9e528e6eff2244a3d2e5c681516864b6849810cfc77d22c4","abstract_canon_sha256":"e6713488a3bfc60223724b31a015633ebd04a2f573f5c587a0c0ab495bcb5cc9"},"schema_version":"1.0"},"canonical_sha256":"0b13b0f8fa809eafb4c5307424d5a6e8974c4e7bec07d3ff25bf2e3701671a63","source":{"kind":"arxiv","id":"2404.08344","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.08344","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"arxiv_version","alias_value":"2404.08344v1","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.08344","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_12","alias_value":"BMJ3B6H2QCPK","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_16","alias_value":"BMJ3B6H2QCPK7NGF","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_8","alias_value":"BMJ3B6H2","created_at":"2026-07-05T08:07:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:BMJ3B6H2QCPK7NGFGB2CJVNG5C","target":"record","payload":{"canonical_record":{"source":{"id":"2404.08344","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-04-12T09:20:23Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"cd371ecee277809c9e528e6eff2244a3d2e5c681516864b6849810cfc77d22c4","abstract_canon_sha256":"e6713488a3bfc60223724b31a015633ebd04a2f573f5c587a0c0ab495bcb5cc9"},"schema_version":"1.0"},"canonical_sha256":"0b13b0f8fa809eafb4c5307424d5a6e8974c4e7bec07d3ff25bf2e3701671a63","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:07:20.870683Z","signature_b64":"9ql4lv7PT6DU/olH0T7AYdqmsH8rtwVMK+MmsepsMxYhR6e11yN+Pt7UnbJ4UDCJXL9m/DTU/yG5OfIx8/ZdAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b13b0f8fa809eafb4c5307424d5a6e8974c4e7bec07d3ff25bf2e3701671a63","last_reissued_at":"2026-07-05T08:07:20.870287Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:07:20.870287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.08344","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-05T08:07:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rEIiiq7M9ns6jQPLDn1aHxhM1tDuX7pShVETlFMY+v8eYyDTla6ndcMfS9qR+hHuCTJjl50wqlKKHCq4HEzjBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T12:02:33.030492Z"},"content_sha256":"b1a5b844d046e46b046c79d5272a3747d2789a3bfcc7ad7d609b4822b08e64bd","schema_version":"1.0","event_id":"sha256:b1a5b844d046e46b046c79d5272a3747d2789a3bfcc7ad7d609b4822b08e64bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:BMJ3B6H2QCPK7NGFGB2CJVNG5C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-driven Interval MDP for Robust Control Synthesis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Alessandro Abate, Andrea Peruffo, Licio Romao, Manuel Mazo Jr, Rudi Coppola","submitted_at":"2024-04-12T09:20:23Z","abstract_excerpt":"The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain data-driven abstractions of discrete-time stochastic processes in terms of richer discrete stochastic models, whose actions lead to nondeterministic transitions over the space of probability measures. The data-driven component of the proposed methodology lies in the fact that we only assume samples from an unknown probability distribution. We also rely on the model of the underlying dynamics to build our abstraction"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.08344","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/2404.08344/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-05T08:07:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4xkeaW5MDqXhoAxzzfHqA5OfQXmZ+xCdUpE9Pc3Dp8I4gHIuClZ/cBu3Km2RjyqjZce6ofrLwHcwUQvSZpdaDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T12:02:33.031094Z"},"content_sha256":"ccaebb83029a4047d1cef84fe472ccc6a197ec59e3387e37ddf23a03b8029233","schema_version":"1.0","event_id":"sha256:ccaebb83029a4047d1cef84fe472ccc6a197ec59e3387e37ddf23a03b8029233"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/bundle.json","state_url":"https://pith.science/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/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-23T12:02:33Z","links":{"resolver":"https://pith.science/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C","bundle":"https://pith.science/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/bundle.json","state":"https://pith.science/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BMJ3B6H2QCPK7NGFGB2CJVNG5C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:BMJ3B6H2QCPK7NGFGB2CJVNG5C","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":"e6713488a3bfc60223724b31a015633ebd04a2f573f5c587a0c0ab495bcb5cc9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-04-12T09:20:23Z","title_canon_sha256":"cd371ecee277809c9e528e6eff2244a3d2e5c681516864b6849810cfc77d22c4"},"schema_version":"1.0","source":{"id":"2404.08344","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.08344","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"arxiv_version","alias_value":"2404.08344v1","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.08344","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_12","alias_value":"BMJ3B6H2QCPK","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_16","alias_value":"BMJ3B6H2QCPK7NGF","created_at":"2026-07-05T08:07:20Z"},{"alias_kind":"pith_short_8","alias_value":"BMJ3B6H2","created_at":"2026-07-05T08:07:20Z"}],"graph_snapshots":[{"event_id":"sha256:ccaebb83029a4047d1cef84fe472ccc6a197ec59e3387e37ddf23a03b8029233","target":"graph","created_at":"2026-07-05T08:07:20Z","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/2404.08344/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The abstraction of dynamical systems is a powerful tool that enables the design of feedback controllers using a correct-by-design framework. We investigate a novel scheme to obtain data-driven abstractions of discrete-time stochastic processes in terms of richer discrete stochastic models, whose actions lead to nondeterministic transitions over the space of probability measures. The data-driven component of the proposed methodology lies in the fact that we only assume samples from an unknown probability distribution. We also rely on the model of the underlying dynamics to build our abstraction","authors_text":"Alessandro Abate, Andrea Peruffo, Licio Romao, Manuel Mazo Jr, Rudi Coppola","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-04-12T09:20:23Z","title":"Data-driven Interval MDP for Robust Control Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.08344","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:b1a5b844d046e46b046c79d5272a3747d2789a3bfcc7ad7d609b4822b08e64bd","target":"record","created_at":"2026-07-05T08:07:20Z","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":"e6713488a3bfc60223724b31a015633ebd04a2f573f5c587a0c0ab495bcb5cc9","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2024-04-12T09:20:23Z","title_canon_sha256":"cd371ecee277809c9e528e6eff2244a3d2e5c681516864b6849810cfc77d22c4"},"schema_version":"1.0","source":{"id":"2404.08344","kind":"arxiv","version":1}},"canonical_sha256":"0b13b0f8fa809eafb4c5307424d5a6e8974c4e7bec07d3ff25bf2e3701671a63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b13b0f8fa809eafb4c5307424d5a6e8974c4e7bec07d3ff25bf2e3701671a63","first_computed_at":"2026-07-05T08:07:20.870287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:07:20.870287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9ql4lv7PT6DU/olH0T7AYdqmsH8rtwVMK+MmsepsMxYhR6e11yN+Pt7UnbJ4UDCJXL9m/DTU/yG5OfIx8/ZdAA==","signature_status":"signed_v1","signed_at":"2026-07-05T08:07:20.870683Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.08344","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b1a5b844d046e46b046c79d5272a3747d2789a3bfcc7ad7d609b4822b08e64bd","sha256:ccaebb83029a4047d1cef84fe472ccc6a197ec59e3387e37ddf23a03b8029233"],"state_sha256":"17bc474d892c2cad217eb11a8883321ba498413062b015817de4489e24bab726"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8IrZYNEJOLHr0AG8MIJc684CPHp8KaqN8Lqm+B0qApmzTD3uQJPoSYuJe0Ng4Dop2kXTSC/ntN/FttRBzBwLBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T12:02:33.035098Z","bundle_sha256":"dcc7deaba73471766e2d4e319142adcd2282ac1bd613235913b34da914e3d685"}}