{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:QOR6GNOPP3GH4JLOTKHKO5TX7I","short_pith_number":"pith:QOR6GNOP","canonical_record":{"source":{"id":"2404.05535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-08T14:03:33Z","cross_cats_sorted":[],"title_canon_sha256":"15de19ce0a6b3f2a8b64676fbe249bf990d23416a881d50a750b5af80e480a34","abstract_canon_sha256":"191ecc7fbdac883fff48d3d06ecf283f24728e13edf86b2e27a335490d05db74"},"schema_version":"1.0"},"canonical_sha256":"83a3e335cf7ecc7e256e9a8ea77677fa134aeefc4cc9ced8e87c0c16d81abe8e","source":{"kind":"arxiv","id":"2404.05535","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.05535","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"arxiv_version","alias_value":"2404.05535v1","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.05535","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_12","alias_value":"QOR6GNOPP3GH","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_16","alias_value":"QOR6GNOPP3GH4JLO","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_8","alias_value":"QOR6GNOP","created_at":"2026-07-05T08:05:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:QOR6GNOPP3GH4JLOTKHKO5TX7I","target":"record","payload":{"canonical_record":{"source":{"id":"2404.05535","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-08T14:03:33Z","cross_cats_sorted":[],"title_canon_sha256":"15de19ce0a6b3f2a8b64676fbe249bf990d23416a881d50a750b5af80e480a34","abstract_canon_sha256":"191ecc7fbdac883fff48d3d06ecf283f24728e13edf86b2e27a335490d05db74"},"schema_version":"1.0"},"canonical_sha256":"83a3e335cf7ecc7e256e9a8ea77677fa134aeefc4cc9ced8e87c0c16d81abe8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:05:41.966879Z","signature_b64":"tJ92k4VMPDiPnBpCEy9XkJsIVkcml9afBaaqjgxty/bowMA7hMJxpEEcHLzEb8uV+QiQZon6Kx2OFRa+tSuWDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"83a3e335cf7ecc7e256e9a8ea77677fa134aeefc4cc9ced8e87c0c16d81abe8e","last_reissued_at":"2026-07-05T08:05:41.966462Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:05:41.966462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2404.05535","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:05:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"d1OIUppuVbT+kAFjnJ0cybNiQfUoD93cv0TQjvC3TXioxP8+7csUyQpF5QOvwR+8jdaH9V8702hqiFMG5d6jCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T12:13:33.186602Z"},"content_sha256":"cb7f37bb5d1d0077ca1e7603e579f1b3f03a5f890bd55fa886ff7eafc12adcdf","schema_version":"1.0","event_id":"sha256:cb7f37bb5d1d0077ca1e7603e579f1b3f03a5f890bd55fa886ff7eafc12adcdf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:QOR6GNOPP3GH4JLOTKHKO5TX7I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust STL Control Synthesis under Maximal Disturbance Sets","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Jana Tumova, Joris Verhagen, Lars Lindemann","submitted_at":"2024-04-08T14:03:33Z","abstract_excerpt":"This work addresses maximally robust control synthesis under unknown disturbances. We consider a general nonlinear system, subject to a Signal Temporal Logic (STL) specification, and wish to jointly synthesize the maximal possible disturbance bounds and the corresponding controllers that ensure the STL specification is satisfied under these bounds. Many works have considered STL satisfaction under given bounded disturbances. Yet, to the authors' best knowledge, this is the first work that aims to maximize the permissible disturbance set and find the corresponding controllers that ensure satisf"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.05535","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.05535/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:05:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mwlSySQJEixf/v4YAMVV1U1EzJUOV6TYKtlfi4/6DPyl8dnpTwZEV0cw9hyZwBoOPxj98jwE7H1J3edxhysrDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T12:13:33.187136Z"},"content_sha256":"3a7c077a7b5e68e4adc5fe3488a4a1c8a6e93928831641539786b873dfc61e7f","schema_version":"1.0","event_id":"sha256:3a7c077a7b5e68e4adc5fe3488a4a1c8a6e93928831641539786b873dfc61e7f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/bundle.json","state_url":"https://pith.science/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/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-16T12:13:33Z","links":{"resolver":"https://pith.science/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I","bundle":"https://pith.science/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/bundle.json","state":"https://pith.science/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QOR6GNOPP3GH4JLOTKHKO5TX7I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:QOR6GNOPP3GH4JLOTKHKO5TX7I","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":"191ecc7fbdac883fff48d3d06ecf283f24728e13edf86b2e27a335490d05db74","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-08T14:03:33Z","title_canon_sha256":"15de19ce0a6b3f2a8b64676fbe249bf990d23416a881d50a750b5af80e480a34"},"schema_version":"1.0","source":{"id":"2404.05535","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.05535","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"arxiv_version","alias_value":"2404.05535v1","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.05535","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_12","alias_value":"QOR6GNOPP3GH","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_16","alias_value":"QOR6GNOPP3GH4JLO","created_at":"2026-07-05T08:05:41Z"},{"alias_kind":"pith_short_8","alias_value":"QOR6GNOP","created_at":"2026-07-05T08:05:41Z"}],"graph_snapshots":[{"event_id":"sha256:3a7c077a7b5e68e4adc5fe3488a4a1c8a6e93928831641539786b873dfc61e7f","target":"graph","created_at":"2026-07-05T08:05:41Z","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.05535/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This work addresses maximally robust control synthesis under unknown disturbances. We consider a general nonlinear system, subject to a Signal Temporal Logic (STL) specification, and wish to jointly synthesize the maximal possible disturbance bounds and the corresponding controllers that ensure the STL specification is satisfied under these bounds. Many works have considered STL satisfaction under given bounded disturbances. Yet, to the authors' best knowledge, this is the first work that aims to maximize the permissible disturbance set and find the corresponding controllers that ensure satisf","authors_text":"Jana Tumova, Joris Verhagen, Lars Lindemann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-08T14:03:33Z","title":"Robust STL Control Synthesis under Maximal Disturbance Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.05535","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:cb7f37bb5d1d0077ca1e7603e579f1b3f03a5f890bd55fa886ff7eafc12adcdf","target":"record","created_at":"2026-07-05T08:05:41Z","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":"191ecc7fbdac883fff48d3d06ecf283f24728e13edf86b2e27a335490d05db74","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2024-04-08T14:03:33Z","title_canon_sha256":"15de19ce0a6b3f2a8b64676fbe249bf990d23416a881d50a750b5af80e480a34"},"schema_version":"1.0","source":{"id":"2404.05535","kind":"arxiv","version":1}},"canonical_sha256":"83a3e335cf7ecc7e256e9a8ea77677fa134aeefc4cc9ced8e87c0c16d81abe8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"83a3e335cf7ecc7e256e9a8ea77677fa134aeefc4cc9ced8e87c0c16d81abe8e","first_computed_at":"2026-07-05T08:05:41.966462Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:05:41.966462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tJ92k4VMPDiPnBpCEy9XkJsIVkcml9afBaaqjgxty/bowMA7hMJxpEEcHLzEb8uV+QiQZon6Kx2OFRa+tSuWDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:05:41.966879Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.05535","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cb7f37bb5d1d0077ca1e7603e579f1b3f03a5f890bd55fa886ff7eafc12adcdf","sha256:3a7c077a7b5e68e4adc5fe3488a4a1c8a6e93928831641539786b873dfc61e7f"],"state_sha256":"29ac371fa8207aa649e2719acd702d01cfa93987ef079645593d386150878aa9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kP6sXkjyGzfpBXjME5Zx6ujza5J4gpcjuyglI1mXW/Ra0qB8Z7W6otabkc3hc7rGnJkpcBztdl2ekxq/FfngCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T12:13:33.192242Z","bundle_sha256":"5b1b9997d59ee337ba164caf23b4613612d9bdae4a761cf057002a7e289b44aa"}}