{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:RTQC6EA3Y75SI65MTMHW5SVR3C","short_pith_number":"pith:RTQC6EA3","canonical_record":{"source":{"id":"2406.09704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-14T04:14:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"855f429040cc91e7a8ae144f078eea528f22bbaefefb5ef05119503ea066befe","abstract_canon_sha256":"5a91b51867f8b70d76d623232ea871cee63e53f0de1ee0f686ec659a52ac4283"},"schema_version":"1.0"},"canonical_sha256":"8ce02f101bc7fb247bac9b0f6ecab1d8874a32a0be793edc248e7f88ff15c636","source":{"kind":"arxiv","id":"2406.09704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.09704","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"arxiv_version","alias_value":"2406.09704v1","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.09704","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_12","alias_value":"RTQC6EA3Y75S","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_16","alias_value":"RTQC6EA3Y75SI65M","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_8","alias_value":"RTQC6EA3","created_at":"2026-07-05T08:31:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:RTQC6EA3Y75SI65MTMHW5SVR3C","target":"record","payload":{"canonical_record":{"source":{"id":"2406.09704","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-14T04:14:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"855f429040cc91e7a8ae144f078eea528f22bbaefefb5ef05119503ea066befe","abstract_canon_sha256":"5a91b51867f8b70d76d623232ea871cee63e53f0de1ee0f686ec659a52ac4283"},"schema_version":"1.0"},"canonical_sha256":"8ce02f101bc7fb247bac9b0f6ecab1d8874a32a0be793edc248e7f88ff15c636","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:31:58.407218Z","signature_b64":"UMZb0OAHVc6Bfk21fv7TokjTLAz3JS6Bxk+SDzhYGfPUIo9CXI+En2xQFWxFDhYgdvUvyaL9VHkdF0slmWsBCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ce02f101bc7fb247bac9b0f6ecab1d8874a32a0be793edc248e7f88ff15c636","last_reissued_at":"2026-07-05T08:31:58.406711Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:31:58.406711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2406.09704","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:31:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RY9fiTSZEA2MZuN/qx6omWtjf6OWiNRZ1D7KFBswiF+7VLMRr6UyO+q6/QMOa08C9eg9CzpoY2nhvi9ton2WDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:11:02.760165Z"},"content_sha256":"812faae8ce022cb2e82591bf854761bbf4fbed8b839f2dccfea5022eb812a62b","schema_version":"1.0","event_id":"sha256:812faae8ce022cb2e82591bf854761bbf4fbed8b839f2dccfea5022eb812a62b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:RTQC6EA3Y75SI65MTMHW5SVR3C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Dimitris Boskos, Ibon Gracia, Luca Laurenti, Morteza Lahijanian","submitted_at":"2024-06-14T04:14:30Z","abstract_excerpt":"In this paper, we introduce a data-driven framework for synthesis of provably-correct controllers for general nonlinear switched systems under complex specifications. The focus is on systems with unknown disturbances whose effects on the dynamics of the system is nonlinear. The specifications are assumed to be given as linear temporal logic over finite traces (LTLf) formulas. Starting from observations of either the disturbance or the state of the system, we first learn an ambiguity set that contains the unknown distribution of the disturbances with a user-defined confidence. Next, we construc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.09704","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/2406.09704/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:31:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kc6VSIvdgdDPqxAZL4qo35s+Wma9mXM7OQodU1ApaByagGYtZQQG3mDaXuUx+itRKJaeFpjgy7xWcAhYPQryDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T22:11:02.760880Z"},"content_sha256":"57d8a398e76d6e4ab1d6e8af64b241b6d77060697ad68fd03749e64fc384ef5c","schema_version":"1.0","event_id":"sha256:57d8a398e76d6e4ab1d6e8af64b241b6d77060697ad68fd03749e64fc384ef5c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/bundle.json","state_url":"https://pith.science/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/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-04T22:11:02Z","links":{"resolver":"https://pith.science/pith/RTQC6EA3Y75SI65MTMHW5SVR3C","bundle":"https://pith.science/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/bundle.json","state":"https://pith.science/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RTQC6EA3Y75SI65MTMHW5SVR3C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:RTQC6EA3Y75SI65MTMHW5SVR3C","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":"5a91b51867f8b70d76d623232ea871cee63e53f0de1ee0f686ec659a52ac4283","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-14T04:14:30Z","title_canon_sha256":"855f429040cc91e7a8ae144f078eea528f22bbaefefb5ef05119503ea066befe"},"schema_version":"1.0","source":{"id":"2406.09704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2406.09704","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"arxiv_version","alias_value":"2406.09704v1","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2406.09704","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_12","alias_value":"RTQC6EA3Y75S","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_16","alias_value":"RTQC6EA3Y75SI65M","created_at":"2026-07-05T08:31:58Z"},{"alias_kind":"pith_short_8","alias_value":"RTQC6EA3","created_at":"2026-07-05T08:31:58Z"}],"graph_snapshots":[{"event_id":"sha256:57d8a398e76d6e4ab1d6e8af64b241b6d77060697ad68fd03749e64fc384ef5c","target":"graph","created_at":"2026-07-05T08:31:58Z","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/2406.09704/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper, we introduce a data-driven framework for synthesis of provably-correct controllers for general nonlinear switched systems under complex specifications. The focus is on systems with unknown disturbances whose effects on the dynamics of the system is nonlinear. The specifications are assumed to be given as linear temporal logic over finite traces (LTLf) formulas. Starting from observations of either the disturbance or the state of the system, we first learn an ambiguity set that contains the unknown distribution of the disturbances with a user-defined confidence. Next, we construc","authors_text":"Dimitris Boskos, Ibon Gracia, Luca Laurenti, Morteza Lahijanian","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-14T04:14:30Z","title":"Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2406.09704","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:812faae8ce022cb2e82591bf854761bbf4fbed8b839f2dccfea5022eb812a62b","target":"record","created_at":"2026-07-05T08:31:58Z","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":"5a91b51867f8b70d76d623232ea871cee63e53f0de1ee0f686ec659a52ac4283","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2024-06-14T04:14:30Z","title_canon_sha256":"855f429040cc91e7a8ae144f078eea528f22bbaefefb5ef05119503ea066befe"},"schema_version":"1.0","source":{"id":"2406.09704","kind":"arxiv","version":1}},"canonical_sha256":"8ce02f101bc7fb247bac9b0f6ecab1d8874a32a0be793edc248e7f88ff15c636","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8ce02f101bc7fb247bac9b0f6ecab1d8874a32a0be793edc248e7f88ff15c636","first_computed_at":"2026-07-05T08:31:58.406711Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:31:58.406711Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UMZb0OAHVc6Bfk21fv7TokjTLAz3JS6Bxk+SDzhYGfPUIo9CXI+En2xQFWxFDhYgdvUvyaL9VHkdF0slmWsBCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:31:58.407218Z","signed_message":"canonical_sha256_bytes"},"source_id":"2406.09704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:812faae8ce022cb2e82591bf854761bbf4fbed8b839f2dccfea5022eb812a62b","sha256:57d8a398e76d6e4ab1d6e8af64b241b6d77060697ad68fd03749e64fc384ef5c"],"state_sha256":"820535ddff0c00b99eec36986ee634dd444739a6958032562e46de2a28b7948b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GiqL26qfNS6LrMsGFT+A20ONteIzG3v32JX+gYF2yWRzH9WHD9eDochNaAXVqCVmWd7ZBnyHr9qy0Mn1i76nBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T22:11:02.767131Z","bundle_sha256":"8d29c0256c455a11704138b7ce511a6454ad231020fb589f5fdca0edc44eb567"}}