{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:OJJY7Q2KCG3RKZA3E44PL7H2LV","short_pith_number":"pith:OJJY7Q2K","canonical_record":{"source":{"id":"1703.03319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-09T16:10:34Z","cross_cats_sorted":[],"title_canon_sha256":"26a9752daecafdedddf59bfcd045b2289017483dece40511d788e86bd1e4ca74","abstract_canon_sha256":"474328fb3c6df2e64cf461cb0fcf750e6d91b513146e1056535c9eac72b416bf"},"schema_version":"1.0"},"canonical_sha256":"72538fc34a11b715641b2738f5fcfa5d75ca90db176a9a0a68c2d90ad5235afb","source":{"kind":"arxiv","id":"1703.03319","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.03319","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"arxiv_version","alias_value":"1703.03319v2","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.03319","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"pith_short_12","alias_value":"OJJY7Q2KCG3R","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OJJY7Q2KCG3RKZA3","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OJJY7Q2K","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:OJJY7Q2KCG3RKZA3E44PL7H2LV","target":"record","payload":{"canonical_record":{"source":{"id":"1703.03319","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-09T16:10:34Z","cross_cats_sorted":[],"title_canon_sha256":"26a9752daecafdedddf59bfcd045b2289017483dece40511d788e86bd1e4ca74","abstract_canon_sha256":"474328fb3c6df2e64cf461cb0fcf750e6d91b513146e1056535c9eac72b416bf"},"schema_version":"1.0"},"canonical_sha256":"72538fc34a11b715641b2738f5fcfa5d75ca90db176a9a0a68c2d90ad5235afb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:23.868959Z","signature_b64":"hUK3FDtDeDHEsFteGWzQi8zD2L9Rzp4Go44eTS6r4sVJW2qYMiT+eM89IBKzHgOba0hJqHeO7f0yIYhdbjmoDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72538fc34a11b715641b2738f5fcfa5d75ca90db176a9a0a68c2d90ad5235afb","last_reissued_at":"2026-05-18T00:07:23.868430Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:23.868430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.03319","source_version":2,"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:07:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OuGhKNLciUDgVp1UNAXMUux7m6mUd9xHng5elhCAZ3g+ObIboeBqYGgYM+VQDMIRbyOlFKnvnSelL0du0cfTAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:34:44.750249Z"},"content_sha256":"dbafad029024a0f49020b8880c3e3a583218319fad9b9e346a94fc9e1217fc57","schema_version":"1.0","event_id":"sha256:dbafad029024a0f49020b8880c3e3a583218319fad9b9e346a94fc9e1217fc57"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:OJJY7Q2KCG3RKZA3E44PL7H2LV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Robust Control Policies given Formal Specifications in Uncertain Environments","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Damian Frick, Gian Ulli, Maryam Kamgarpour, Tony A. Wood","submitted_at":"2017-03-09T16:10:34Z","abstract_excerpt":"We consider robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This work is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered disturbances, where the disturbances affect the atomic propositions of the specification. Our approach relies on introducing affine disturbance feedback policies and casting the problem as a bilinear optimiza"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.03319","kind":"arxiv","version":2},"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:07:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UZxcWziQwOkZXkAU58/sz/oe4/oIntJ2DA+uok7nHMfjeDwp+q/c4jrWMEhTj5yFghI//RpAH8HXtZyzjeZrAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T15:34:44.750937Z"},"content_sha256":"430735e938e5386e1176d9a4f4fe89193163448bf27d6e19fa96bd46fe03a88c","schema_version":"1.0","event_id":"sha256:430735e938e5386e1176d9a4f4fe89193163448bf27d6e19fa96bd46fe03a88c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/bundle.json","state_url":"https://pith.science/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/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-05-29T15:34:44Z","links":{"resolver":"https://pith.science/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV","bundle":"https://pith.science/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/bundle.json","state":"https://pith.science/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OJJY7Q2KCG3RKZA3E44PL7H2LV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OJJY7Q2KCG3RKZA3E44PL7H2LV","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":"474328fb3c6df2e64cf461cb0fcf750e6d91b513146e1056535c9eac72b416bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-09T16:10:34Z","title_canon_sha256":"26a9752daecafdedddf59bfcd045b2289017483dece40511d788e86bd1e4ca74"},"schema_version":"1.0","source":{"id":"1703.03319","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.03319","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"arxiv_version","alias_value":"1703.03319v2","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.03319","created_at":"2026-05-18T00:07:23Z"},{"alias_kind":"pith_short_12","alias_value":"OJJY7Q2KCG3R","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OJJY7Q2KCG3RKZA3","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OJJY7Q2K","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:430735e938e5386e1176d9a4f4fe89193163448bf27d6e19fa96bd46fe03a88c","target":"graph","created_at":"2026-05-18T00:07:23Z","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 robust control synthesis for linear systems with complex specifications that are affected by uncertain disturbances. This work is motivated by autonomous systems interacting with partially known, time-varying environments. Given a specification in bounded linear temporal logic, we propose a method to synthesize control policies that fulfill the specification for all considered disturbances, where the disturbances affect the atomic propositions of the specification. Our approach relies on introducing affine disturbance feedback policies and casting the problem as a bilinear optimiza","authors_text":"Damian Frick, Gian Ulli, Maryam Kamgarpour, Tony A. Wood","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-09T16:10:34Z","title":"Robust Control Policies given Formal Specifications in Uncertain Environments"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.03319","kind":"arxiv","version":2},"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:dbafad029024a0f49020b8880c3e3a583218319fad9b9e346a94fc9e1217fc57","target":"record","created_at":"2026-05-18T00:07:23Z","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":"474328fb3c6df2e64cf461cb0fcf750e6d91b513146e1056535c9eac72b416bf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2017-03-09T16:10:34Z","title_canon_sha256":"26a9752daecafdedddf59bfcd045b2289017483dece40511d788e86bd1e4ca74"},"schema_version":"1.0","source":{"id":"1703.03319","kind":"arxiv","version":2}},"canonical_sha256":"72538fc34a11b715641b2738f5fcfa5d75ca90db176a9a0a68c2d90ad5235afb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72538fc34a11b715641b2738f5fcfa5d75ca90db176a9a0a68c2d90ad5235afb","first_computed_at":"2026-05-18T00:07:23.868430Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:23.868430Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hUK3FDtDeDHEsFteGWzQi8zD2L9Rzp4Go44eTS6r4sVJW2qYMiT+eM89IBKzHgOba0hJqHeO7f0yIYhdbjmoDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:23.868959Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.03319","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dbafad029024a0f49020b8880c3e3a583218319fad9b9e346a94fc9e1217fc57","sha256:430735e938e5386e1176d9a4f4fe89193163448bf27d6e19fa96bd46fe03a88c"],"state_sha256":"e9ee64cb85140b4dd46b64f2dcdd7b195b41d0e9c93809893814b3659f9e180b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"75AXvvvziNPUk9C0jFlsxQIhVQNIqWZRmSNGF0QaXTUt5Gl/qo2wS/UxB8RyVPQ+7556XXhYOClGd28q1n8PDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T15:34:44.755251Z","bundle_sha256":"b3b9d3b8f006132cf94341bfbe34e6a96de09eba49bfd8b94170d96e01d0aa30"}}