{"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"}