{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:53IFHVD6C7LWCNQLLF2XQ4SKKD","short_pith_number":"pith:53IFHVD6","canonical_record":{"source":{"id":"1903.05186","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-12T20:14:16Z","cross_cats_sorted":[],"title_canon_sha256":"47ffbe294b96501142ac7ae53b3461b09f2e035dcecc69f8f74f7e16c91acb7a","abstract_canon_sha256":"c25bcb9f0facfdc7a5f21c4ff9ac032ddc009e555eb56fc81eb18cf5c11fed3a"},"schema_version":"1.0"},"canonical_sha256":"eed053d47e17d761360b597578724a50dbfa97728b38e6f2121285750a790622","source":{"kind":"arxiv","id":"1903.05186","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05186","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05186v1","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05186","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"pith_short_12","alias_value":"53IFHVD6C7LW","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"53IFHVD6C7LWCNQL","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"53IFHVD6","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:53IFHVD6C7LWCNQLLF2XQ4SKKD","target":"record","payload":{"canonical_record":{"source":{"id":"1903.05186","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-12T20:14:16Z","cross_cats_sorted":[],"title_canon_sha256":"47ffbe294b96501142ac7ae53b3461b09f2e035dcecc69f8f74f7e16c91acb7a","abstract_canon_sha256":"c25bcb9f0facfdc7a5f21c4ff9ac032ddc009e555eb56fc81eb18cf5c11fed3a"},"schema_version":"1.0"},"canonical_sha256":"eed053d47e17d761360b597578724a50dbfa97728b38e6f2121285750a790622","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:25.201502Z","signature_b64":"WReMsHCwWfmwy6Wkk8K0YoUZBn+zzElCUSefriOUT+XxYGBHN3ssS7oLEEID0o1RooQYyDgL6+gRyWOS1DiPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eed053d47e17d761360b597578724a50dbfa97728b38e6f2121285750a790622","last_reissued_at":"2026-05-17T23:51:25.200832Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:25.200832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.05186","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-05-17T23:51:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nbZZYyFMEx/2XcCeBdT7wy7mbEHKIzGoL6PlhMsq9oaBbkO2Y1ugmc5+HcZIbZi+ImQ//QdVPF/OYW3N/Q6aAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:24:29.354454Z"},"content_sha256":"27e7de6d61378e3dce1dff718518a365c09bd570fa8b9f46e3077fe74292ac7b","schema_version":"1.0","event_id":"sha256:27e7de6d61378e3dce1dff718518a365c09bd570fa8b9f46e3077fe74292ac7b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:53IFHVD6C7LWCNQLLF2XQ4SKKD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Calin Belta, Cristian-Ioan Vasile, Noushin Mehdipour","submitted_at":"2019-03-12T20:14:16Z","abstract_excerpt":"We present a new average-based robustness score for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging the scores of different specifications or subformulae at different time points, our new definition highlights the frequency of satisfaction, as well as how robustly each specification is satisfied at each time point. We show that this definition provides a better score for how well a specification is satisfied. Its usefulness in monitoring and control synthesis problems is illustrated through case studies."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05186","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":""},"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-17T23:51:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"s40YnY837Op5yXXTwCFDKE04+9fnGwi2eWHmiGtzIBQ//GQ6nZSNMc8dgTK/EzGLqKOPYntWssagBruVITJmCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:24:29.354808Z"},"content_sha256":"29f0cf632fcdfe3fef0c48b1874f22f881ccd564f0baeca3f98f06e15c14a4c7","schema_version":"1.0","event_id":"sha256:29f0cf632fcdfe3fef0c48b1874f22f881ccd564f0baeca3f98f06e15c14a4c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/bundle.json","state_url":"https://pith.science/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/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-07T10:24:29Z","links":{"resolver":"https://pith.science/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD","bundle":"https://pith.science/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/bundle.json","state":"https://pith.science/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/53IFHVD6C7LWCNQLLF2XQ4SKKD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:53IFHVD6C7LWCNQLLF2XQ4SKKD","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":"c25bcb9f0facfdc7a5f21c4ff9ac032ddc009e555eb56fc81eb18cf5c11fed3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-12T20:14:16Z","title_canon_sha256":"47ffbe294b96501142ac7ae53b3461b09f2e035dcecc69f8f74f7e16c91acb7a"},"schema_version":"1.0","source":{"id":"1903.05186","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.05186","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"arxiv_version","alias_value":"1903.05186v1","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.05186","created_at":"2026-05-17T23:51:25Z"},{"alias_kind":"pith_short_12","alias_value":"53IFHVD6C7LW","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"53IFHVD6C7LWCNQL","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"53IFHVD6","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:29f0cf632fcdfe3fef0c48b1874f22f881ccd564f0baeca3f98f06e15c14a4c7","target":"graph","created_at":"2026-05-17T23:51:25Z","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 present a new average-based robustness score for Signal Temporal Logic (STL) and a framework for optimal control of a dynamical system under STL constraints. By averaging the scores of different specifications or subformulae at different time points, our new definition highlights the frequency of satisfaction, as well as how robustly each specification is satisfied at each time point. We show that this definition provides a better score for how well a specification is satisfied. Its usefulness in monitoring and control synthesis problems is illustrated through case studies.","authors_text":"Calin Belta, Cristian-Ioan Vasile, Noushin Mehdipour","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-12T20:14:16Z","title":"Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.05186","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:27e7de6d61378e3dce1dff718518a365c09bd570fa8b9f46e3077fe74292ac7b","target":"record","created_at":"2026-05-17T23:51:25Z","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":"c25bcb9f0facfdc7a5f21c4ff9ac032ddc009e555eb56fc81eb18cf5c11fed3a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-03-12T20:14:16Z","title_canon_sha256":"47ffbe294b96501142ac7ae53b3461b09f2e035dcecc69f8f74f7e16c91acb7a"},"schema_version":"1.0","source":{"id":"1903.05186","kind":"arxiv","version":1}},"canonical_sha256":"eed053d47e17d761360b597578724a50dbfa97728b38e6f2121285750a790622","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eed053d47e17d761360b597578724a50dbfa97728b38e6f2121285750a790622","first_computed_at":"2026-05-17T23:51:25.200832Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:25.200832Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WReMsHCwWfmwy6Wkk8K0YoUZBn+zzElCUSefriOUT+XxYGBHN3ssS7oLEEID0o1RooQYyDgL6+gRyWOS1DiPBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:25.201502Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.05186","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27e7de6d61378e3dce1dff718518a365c09bd570fa8b9f46e3077fe74292ac7b","sha256:29f0cf632fcdfe3fef0c48b1874f22f881ccd564f0baeca3f98f06e15c14a4c7"],"state_sha256":"a7b6b2fa17f9d89867d18a296f1ba988af4bef654e1618ed2217412ba9b7f201"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nufHEn89gzjP3T27QwU/US6M/Yk7leTGzuVlC76yIyMmsMjxnv34SmxivoyyuJyfVQW+hjoLwG27A0rJT5Y9Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:24:29.356651Z","bundle_sha256":"95b40c2607a26bc87ae43fcd683ed1549108604b6be7e57f5e165c13cc22be4a"}}