{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:5SS2URMVGXJTKXNEYQL2C64OPM","short_pith_number":"pith:5SS2URMV","canonical_record":{"source":{"id":"2305.09116","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-05-16T02:48:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"56aed94e3b891e65948518e237e8454fb5c53a2a66359d0c4f3c3733cbe82272","abstract_canon_sha256":"f9026f3b51f1fbd030cc96aaf4762e1bd8b8072604db1ff36f391f5c164b11a0"},"schema_version":"1.0"},"canonical_sha256":"eca5aa459535d3355da4c417a17b8e7b3e8dd0899dd07dba156ac5b664fc7ce7","source":{"kind":"arxiv","id":"2305.09116","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.09116","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"arxiv_version","alias_value":"2305.09116v1","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.09116","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_12","alias_value":"5SS2URMVGXJT","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_16","alias_value":"5SS2URMVGXJTKXNE","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_8","alias_value":"5SS2URMV","created_at":"2026-07-05T06:10:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:5SS2URMVGXJTKXNEYQL2C64OPM","target":"record","payload":{"canonical_record":{"source":{"id":"2305.09116","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-05-16T02:48:30Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"56aed94e3b891e65948518e237e8454fb5c53a2a66359d0c4f3c3733cbe82272","abstract_canon_sha256":"f9026f3b51f1fbd030cc96aaf4762e1bd8b8072604db1ff36f391f5c164b11a0"},"schema_version":"1.0"},"canonical_sha256":"eca5aa459535d3355da4c417a17b8e7b3e8dd0899dd07dba156ac5b664fc7ce7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:10:43.935413Z","signature_b64":"/jB9GsVK7cDZhJBCqMsS19AJ6aRvVSZiQNMxt+R/+ICi3hw8a/iSPFWob0PFor5QnL3qZ4e2UWyKJjuyRub+Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eca5aa459535d3355da4c417a17b8e7b3e8dd0899dd07dba156ac5b664fc7ce7","last_reissued_at":"2026-07-05T06:10:43.934903Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:10:43.934903Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2305.09116","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-05T06:10:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5cgF04WLY77zdmOWSTFGeEOwl3pXITzEn2wJ+EEeoSvpKlflWRqkhHZMUMVfokcxdyg0L+aNm0Ht5fTOvPENDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:52:58.430206Z"},"content_sha256":"198c3ae4bcb817b7602c01bbf27a7c31be9e8856f5c1019a90f7ae1f59c15dff","schema_version":"1.0","event_id":"sha256:198c3ae4bcb817b7602c01bbf27a7c31be9e8856f5c1019a90f7ae1f59c15dff"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:5SS2URMVGXJTKXNEYQL2C64OPM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Hai Lin, Panos J. Antsaklis, Shirantha Welikala","submitted_at":"2023-05-16T02:48:30Z","abstract_excerpt":"Symbolic control problems aim to synthesize control policies for dynamical systems under complex temporal specifications. For such problems, Signal Temporal Logic (STL) is increasingly used as the formal specification language due to its rich expressiveness. Moreover, the degree of satisfaction of STL specifications can be evaluated using ``STL robust semantics'' as a scalar robustness measure. This capability of STL enables transforming a symbolic control problem into an optimization problem that optimizes the corresponding robustness measure. However, since these robustness measures are non-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.09116","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/2305.09116/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-05T06:10:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jvGY1dk9+t90esylguVpINLtH/ppMr7MQKY1ADcjSW6j+77sfxFcIDxNhSgGaHmtSsd7MfPWaghI1mpOnZI9DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:52:58.430594Z"},"content_sha256":"9ae862e7d58c9ecb0863ba93bb7839e1f8aaad3bcd54488448c043176686ab3b","schema_version":"1.0","event_id":"sha256:9ae862e7d58c9ecb0863ba93bb7839e1f8aaad3bcd54488448c043176686ab3b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5SS2URMVGXJTKXNEYQL2C64OPM/bundle.json","state_url":"https://pith.science/pith/5SS2URMVGXJTKXNEYQL2C64OPM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5SS2URMVGXJTKXNEYQL2C64OPM/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-07-08T22:52:58Z","links":{"resolver":"https://pith.science/pith/5SS2URMVGXJTKXNEYQL2C64OPM","bundle":"https://pith.science/pith/5SS2URMVGXJTKXNEYQL2C64OPM/bundle.json","state":"https://pith.science/pith/5SS2URMVGXJTKXNEYQL2C64OPM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5SS2URMVGXJTKXNEYQL2C64OPM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5SS2URMVGXJTKXNEYQL2C64OPM","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":"f9026f3b51f1fbd030cc96aaf4762e1bd8b8072604db1ff36f391f5c164b11a0","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-05-16T02:48:30Z","title_canon_sha256":"56aed94e3b891e65948518e237e8454fb5c53a2a66359d0c4f3c3733cbe82272"},"schema_version":"1.0","source":{"id":"2305.09116","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2305.09116","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"arxiv_version","alias_value":"2305.09116v1","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.09116","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_12","alias_value":"5SS2URMVGXJT","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_16","alias_value":"5SS2URMVGXJTKXNE","created_at":"2026-07-05T06:10:43Z"},{"alias_kind":"pith_short_8","alias_value":"5SS2URMV","created_at":"2026-07-05T06:10:43Z"}],"graph_snapshots":[{"event_id":"sha256:9ae862e7d58c9ecb0863ba93bb7839e1f8aaad3bcd54488448c043176686ab3b","target":"graph","created_at":"2026-07-05T06:10:43Z","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/2305.09116/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Symbolic control problems aim to synthesize control policies for dynamical systems under complex temporal specifications. For such problems, Signal Temporal Logic (STL) is increasingly used as the formal specification language due to its rich expressiveness. Moreover, the degree of satisfaction of STL specifications can be evaluated using ``STL robust semantics'' as a scalar robustness measure. This capability of STL enables transforming a symbolic control problem into an optimization problem that optimizes the corresponding robustness measure. However, since these robustness measures are non-","authors_text":"Hai Lin, Panos J. Antsaklis, Shirantha Welikala","cross_cats":["cs.SY"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-05-16T02:48:30Z","title":"Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.09116","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:198c3ae4bcb817b7602c01bbf27a7c31be9e8856f5c1019a90f7ae1f59c15dff","target":"record","created_at":"2026-07-05T06:10:43Z","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":"f9026f3b51f1fbd030cc96aaf4762e1bd8b8072604db1ff36f391f5c164b11a0","cross_cats_sorted":["cs.SY"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"eess.SY","submitted_at":"2023-05-16T02:48:30Z","title_canon_sha256":"56aed94e3b891e65948518e237e8454fb5c53a2a66359d0c4f3c3733cbe82272"},"schema_version":"1.0","source":{"id":"2305.09116","kind":"arxiv","version":1}},"canonical_sha256":"eca5aa459535d3355da4c417a17b8e7b3e8dd0899dd07dba156ac5b664fc7ce7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eca5aa459535d3355da4c417a17b8e7b3e8dd0899dd07dba156ac5b664fc7ce7","first_computed_at":"2026-07-05T06:10:43.934903Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:10:43.934903Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/jB9GsVK7cDZhJBCqMsS19AJ6aRvVSZiQNMxt+R/+ICi3hw8a/iSPFWob0PFor5QnL3qZ4e2UWyKJjuyRub+Bw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:10:43.935413Z","signed_message":"canonical_sha256_bytes"},"source_id":"2305.09116","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:198c3ae4bcb817b7602c01bbf27a7c31be9e8856f5c1019a90f7ae1f59c15dff","sha256:9ae862e7d58c9ecb0863ba93bb7839e1f8aaad3bcd54488448c043176686ab3b"],"state_sha256":"d814916104945d0a0c5cec301b6454128d481395b4c3d544dc6d14bbcd2c8eda"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UIqG7N39cejkKCAGULig3Y4qTdbexahQx8Z7CSAKsxLjsZ8TZB+8eTgBOEEB4ENt1RTrSd11Z1RaC2fAb34DCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T22:52:58.432565Z","bundle_sha256":"2b244f5063d2109306e3ecd3f900e38202dc724c2dac37a84c4ffda4e1f06c8d"}}