{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:YFUR6NONOD2KFZIFVKLS26V5G7","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":"cae11768d588c6d2561d1839dc9ad025eec80a5f2303a5f0bed7ddc91eaed8d2","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-17T06:21:55Z","title_canon_sha256":"a66cdde298da030a3f4d16e164a9e8a129167ab169a9a1f4da8e84e84db1060a"},"schema_version":"1.0","source":{"id":"2009.08090","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.08090","created_at":"2026-07-05T01:36:01Z"},{"alias_kind":"arxiv_version","alias_value":"2009.08090v1","created_at":"2026-07-05T01:36:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.08090","created_at":"2026-07-05T01:36:01Z"},{"alias_kind":"pith_short_12","alias_value":"YFUR6NONOD2K","created_at":"2026-07-05T01:36:01Z"},{"alias_kind":"pith_short_16","alias_value":"YFUR6NONOD2KFZIF","created_at":"2026-07-05T01:36:01Z"},{"alias_kind":"pith_short_8","alias_value":"YFUR6NON","created_at":"2026-07-05T01:36:01Z"}],"graph_snapshots":[{"event_id":"sha256:67b5e05150a273ae0da848894a617aaeb91d06b2eeeb2995f5f1df9f5747c422","target":"graph","created_at":"2026-07-05T01:36:01Z","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/2009.08090/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"What is the frequency content of temporal logic formulas? That is, when we monitor a signal against a formula, which frequency bands of the signal are relevant to the logic and should be preserved, and which can be safely discarded? This question is relevant whenever signals are filtered or compressed before being monitored, which is almost always the case for analog signals. To answer this question, we focus on monitors that measure the robustness of a signal relative to a specification in Signal Temporal Logic. We prove that robustness monitors can be modeled using Volterra series. We then s","authors_text":"Houssam Abbas, Niraj Basnet","cross_cats":["cs.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-17T06:21:55Z","title":"Logical Signal Processing: a Fourier Analysis of Temporal Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.08090","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:50d4b5405c3526d328fb9e6c99641918663ba1bb43d62a56709b8c8b079cbd6e","target":"record","created_at":"2026-07-05T01:36:01Z","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":"cae11768d588c6d2561d1839dc9ad025eec80a5f2303a5f0bed7ddc91eaed8d2","cross_cats_sorted":["cs.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-09-17T06:21:55Z","title_canon_sha256":"a66cdde298da030a3f4d16e164a9e8a129167ab169a9a1f4da8e84e84db1060a"},"schema_version":"1.0","source":{"id":"2009.08090","kind":"arxiv","version":1}},"canonical_sha256":"c1691f35cd70f4a2e505aa972d7abd37cef7978e01ae2a7237293d4ad1f4ab53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1691f35cd70f4a2e505aa972d7abd37cef7978e01ae2a7237293d4ad1f4ab53","first_computed_at":"2026-07-05T01:36:01.297295Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:36:01.297295Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2WfOHnCVuQprRZQ38hGQTqHX6XtbXtWbNQSCc0R3y4HA5XcvdC63XNe2a3Sv65/plmABJCk4QpTZJuvnR+QbDg==","signature_status":"signed_v1","signed_at":"2026-07-05T01:36:01.297649Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.08090","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:50d4b5405c3526d328fb9e6c99641918663ba1bb43d62a56709b8c8b079cbd6e","sha256:67b5e05150a273ae0da848894a617aaeb91d06b2eeeb2995f5f1df9f5747c422"],"state_sha256":"fd6771b7ac9ec37ff05bce692e99b4b93b0b27d3652542c072f06279a7989cd5"}