{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5QULETAKEHN2WB4UUHJDTYYTXW","short_pith_number":"pith:5QULETAK","canonical_record":{"source":{"id":"1908.02366","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-08-06T21:03:28Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"225b71f9585a426d479391244724dc1dc50d09ea76a1a70ea728728b07036721","abstract_canon_sha256":"3d574f02af0c8eb92d1bd50c178ea0577af7c469cab49a0ff29b34c94f10e9c4"},"schema_version":"1.0"},"canonical_sha256":"ec28b24c0a21dbab0794a1d239e313bdaa952d44fb509e09cad7d73afbf37f56","source":{"kind":"arxiv","id":"1908.02366","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02366","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02366v5","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02366","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_12","alias_value":"5QULETAKEHN2","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_16","alias_value":"5QULETAKEHN2WB4U","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_8","alias_value":"5QULETAK","created_at":"2026-07-05T03:41:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5QULETAKEHN2WB4UUHJDTYYTXW","target":"record","payload":{"canonical_record":{"source":{"id":"1908.02366","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-08-06T21:03:28Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"225b71f9585a426d479391244724dc1dc50d09ea76a1a70ea728728b07036721","abstract_canon_sha256":"3d574f02af0c8eb92d1bd50c178ea0577af7c469cab49a0ff29b34c94f10e9c4"},"schema_version":"1.0"},"canonical_sha256":"ec28b24c0a21dbab0794a1d239e313bdaa952d44fb509e09cad7d73afbf37f56","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:41:01.063782Z","signature_b64":"64D3XDQRlvOBnB5vu0Ow6lDZ7xaoxDvDiYMjufP2GH13iyz7MN0mU0WCyTRcKKOY0fXQyr0Fp4ziQtUIekYXAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec28b24c0a21dbab0794a1d239e313bdaa952d44fb509e09cad7d73afbf37f56","last_reissued_at":"2026-07-05T03:41:01.063358Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:41:01.063358Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.02366","source_version":5,"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-05T03:41:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OTPbVUPbPzun4EPbsGZU7pqd1m/DurlPbZ4QBZXxgwUsbKed4fdopQiZ6bgJHlQef93DBVcOGDbuv/HagzCdCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:02:16.292042Z"},"content_sha256":"92b8b50eabcf2137d405a8f562a5b1abb8a5d2ba560965b6ee1560c3c93a6a8e","schema_version":"1.0","event_id":"sha256:92b8b50eabcf2137d405a8f562a5b1abb8a5d2ba560965b6ee1560c3c93a6a8e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5QULETAKEHN2WB4UUHJDTYYTXW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.CY","authors_text":"Eli Lifland, Ezio Bartocci, John Stankovic, Lu Feng, Meiyi Ma","submitted_at":"2019-08-06T21:03:28Z","abstract_excerpt":"We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first describe a study of over 1,000 smart city requirements, some of which can not be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We also develop efficient monitoring algorithms "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02366","kind":"arxiv","version":5},"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/1908.02366/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-05T03:41:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LO060+TiesF612o9aOo8oE6Fy5WT/n07944xSJt0Feb2+Y6tWBELCvb+tNtLFD3WuUQVUqzghf188AGSahhsBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T05:02:16.292592Z"},"content_sha256":"4ee1deef1f1d4b1570e73460a9584bc7114b8b14d8c0bdb4af253147062ea970","schema_version":"1.0","event_id":"sha256:4ee1deef1f1d4b1570e73460a9584bc7114b8b14d8c0bdb4af253147062ea970"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QULETAKEHN2WB4UUHJDTYYTXW/bundle.json","state_url":"https://pith.science/pith/5QULETAKEHN2WB4UUHJDTYYTXW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QULETAKEHN2WB4UUHJDTYYTXW/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-08-16T05:02:16Z","links":{"resolver":"https://pith.science/pith/5QULETAKEHN2WB4UUHJDTYYTXW","bundle":"https://pith.science/pith/5QULETAKEHN2WB4UUHJDTYYTXW/bundle.json","state":"https://pith.science/pith/5QULETAKEHN2WB4UUHJDTYYTXW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QULETAKEHN2WB4UUHJDTYYTXW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5QULETAKEHN2WB4UUHJDTYYTXW","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":"3d574f02af0c8eb92d1bd50c178ea0577af7c469cab49a0ff29b34c94f10e9c4","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-08-06T21:03:28Z","title_canon_sha256":"225b71f9585a426d479391244724dc1dc50d09ea76a1a70ea728728b07036721"},"schema_version":"1.0","source":{"id":"1908.02366","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.02366","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"arxiv_version","alias_value":"1908.02366v5","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.02366","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_12","alias_value":"5QULETAKEHN2","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_16","alias_value":"5QULETAKEHN2WB4U","created_at":"2026-07-05T03:41:01Z"},{"alias_kind":"pith_short_8","alias_value":"5QULETAK","created_at":"2026-07-05T03:41:01Z"}],"graph_snapshots":[{"event_id":"sha256:4ee1deef1f1d4b1570e73460a9584bc7114b8b14d8c0bdb4af253147062ea970","target":"graph","created_at":"2026-07-05T03:41: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/1908.02366/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first describe a study of over 1,000 smart city requirements, some of which can not be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We also develop efficient monitoring algorithms ","authors_text":"Eli Lifland, Ezio Bartocci, John Stankovic, Lu Feng, Meiyi Ma","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-08-06T21:03:28Z","title":"SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.02366","kind":"arxiv","version":5},"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:92b8b50eabcf2137d405a8f562a5b1abb8a5d2ba560965b6ee1560c3c93a6a8e","target":"record","created_at":"2026-07-05T03:41: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":"3d574f02af0c8eb92d1bd50c178ea0577af7c469cab49a0ff29b34c94f10e9c4","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CY","submitted_at":"2019-08-06T21:03:28Z","title_canon_sha256":"225b71f9585a426d479391244724dc1dc50d09ea76a1a70ea728728b07036721"},"schema_version":"1.0","source":{"id":"1908.02366","kind":"arxiv","version":5}},"canonical_sha256":"ec28b24c0a21dbab0794a1d239e313bdaa952d44fb509e09cad7d73afbf37f56","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec28b24c0a21dbab0794a1d239e313bdaa952d44fb509e09cad7d73afbf37f56","first_computed_at":"2026-07-05T03:41:01.063358Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:41:01.063358Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"64D3XDQRlvOBnB5vu0Ow6lDZ7xaoxDvDiYMjufP2GH13iyz7MN0mU0WCyTRcKKOY0fXQyr0Fp4ziQtUIekYXAg==","signature_status":"signed_v1","signed_at":"2026-07-05T03:41:01.063782Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.02366","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:92b8b50eabcf2137d405a8f562a5b1abb8a5d2ba560965b6ee1560c3c93a6a8e","sha256:4ee1deef1f1d4b1570e73460a9584bc7114b8b14d8c0bdb4af253147062ea970"],"state_sha256":"8d468ce0458cda9a43d0ece54db6118509a01085a4d711ac6cbb4aa8e21e4d41"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ma5dp7dCZMm8IpWcdhMDuN8G76Wxfi3YOBlci2JS24+PHtyY0rtKqRhRffZv2e+0DIX66ZT4PnVRYP4uQcYPBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T05:02:16.298586Z","bundle_sha256":"a02295197709d1340eb052f10d7783871bd2998088461c94481c2f224a6827b9"}}