{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:MP32HVPWKO7DVBEJS3USWOUL5N","short_pith_number":"pith:MP32HVPW","canonical_record":{"source":{"id":"2104.04904","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-04-11T03:12:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"44594b1da8752d84847cba2983d2b2999f478f5dfb6ebad7abd68e4404a5defb","abstract_canon_sha256":"ed4e2eb6c5b9d7f6648488e6da70f78261bf70b4ca7f2e90b00edf2aaf79015a"},"schema_version":"1.0"},"canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","source":{"kind":"arxiv","id":"2104.04904","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.04904","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"arxiv_version","alias_value":"2104.04904v1","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.04904","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_12","alias_value":"MP32HVPWKO7D","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_16","alias_value":"MP32HVPWKO7DVBEJ","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_8","alias_value":"MP32HVPW","created_at":"2026-07-05T02:31:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:MP32HVPWKO7DVBEJS3USWOUL5N","target":"record","payload":{"canonical_record":{"source":{"id":"2104.04904","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-04-11T03:12:40Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"44594b1da8752d84847cba2983d2b2999f478f5dfb6ebad7abd68e4404a5defb","abstract_canon_sha256":"ed4e2eb6c5b9d7f6648488e6da70f78261bf70b4ca7f2e90b00edf2aaf79015a"},"schema_version":"1.0"},"canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:31:06.152381Z","signature_b64":"rZOIxqZE9A5EYg3DvM353GCZvmpBNX5HvcEBTAKi3kxxkt6dPclFmDDjOiRZ/ymrHX8BeDKOMJ65M8MwzgT9DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","last_reissued_at":"2026-07-05T02:31:06.151953Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:31:06.151953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2104.04904","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-05T02:31:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PlG+OqQ6sxocBpsy4u3SR8fR0TOLpE2nG5klSF09yYfxe5gdLqA7Op9LsD1O4DJIBl5uaJXgMW7aTmjduQ3YDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:11:18.635379Z"},"content_sha256":"a63ee71ec78ab4f302382e73688050f89af59cc49abc78846edf581abf87f4c9","schema_version":"1.0","event_id":"sha256:a63ee71ec78ab4f302382e73688050f89af59cc49abc78846edf581abf87f4c9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:MP32HVPWKO7DVBEJS3USWOUL5N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.SE","authors_text":"Eli Lifland, Ezio Bartocci, John Stankovic, Lu Feng, Meiyi Ma","submitted_at":"2021-04-11T03:12:40Z","abstract_excerpt":"With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against city requirements at runtime. In this paper, we develop a novel spatial-temporal specification-based monitoring system for smart cities. We first describe a study of over 1,000 smart city requirements, some of which cannot be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the eff"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.04904","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/2104.04904/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-05T02:31:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uO00m1glqXFLYSaaeknNR0MFiEPT1MH54KuT9PATwxq+S6Xi2E78/l3e57OwidLBi8BK6nhehS8AjyKgsxeYCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T03:11:18.635752Z"},"content_sha256":"cad206c32c2ead0417318a4d520ee9ef7192859a7f3624bedf30824cf955ab8c","schema_version":"1.0","event_id":"sha256:cad206c32c2ead0417318a4d520ee9ef7192859a7f3624bedf30824cf955ab8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/bundle.json","state_url":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MP32HVPWKO7DVBEJS3USWOUL5N/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-09T03:11:18Z","links":{"resolver":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N","bundle":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/bundle.json","state":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MP32HVPWKO7DVBEJS3USWOUL5N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:MP32HVPWKO7DVBEJS3USWOUL5N","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":"ed4e2eb6c5b9d7f6648488e6da70f78261bf70b4ca7f2e90b00edf2aaf79015a","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-04-11T03:12:40Z","title_canon_sha256":"44594b1da8752d84847cba2983d2b2999f478f5dfb6ebad7abd68e4404a5defb"},"schema_version":"1.0","source":{"id":"2104.04904","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2104.04904","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"arxiv_version","alias_value":"2104.04904v1","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.04904","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_12","alias_value":"MP32HVPWKO7D","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_16","alias_value":"MP32HVPWKO7DVBEJ","created_at":"2026-07-05T02:31:06Z"},{"alias_kind":"pith_short_8","alias_value":"MP32HVPW","created_at":"2026-07-05T02:31:06Z"}],"graph_snapshots":[{"event_id":"sha256:cad206c32c2ead0417318a4d520ee9ef7192859a7f3624bedf30824cf955ab8c","target":"graph","created_at":"2026-07-05T02:31:06Z","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/2104.04904/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the development of the Internet of Things, millions of sensors are being deployed in cities to collect real-time data. This leads to a need for checking city states against city requirements at runtime. In this paper, we develop a novel spatial-temporal specification-based monitoring system for smart cities. We first describe a study of over 1,000 smart city requirements, some of which cannot be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the eff","authors_text":"Eli Lifland, Ezio Bartocci, John Stankovic, Lu Feng, Meiyi Ma","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-04-11T03:12:40Z","title":"A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2104.04904","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:a63ee71ec78ab4f302382e73688050f89af59cc49abc78846edf581abf87f4c9","target":"record","created_at":"2026-07-05T02:31:06Z","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":"ed4e2eb6c5b9d7f6648488e6da70f78261bf70b4ca7f2e90b00edf2aaf79015a","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2021-04-11T03:12:40Z","title_canon_sha256":"44594b1da8752d84847cba2983d2b2999f478f5dfb6ebad7abd68e4404a5defb"},"schema_version":"1.0","source":{"id":"2104.04904","kind":"arxiv","version":1}},"canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","first_computed_at":"2026-07-05T02:31:06.151953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:31:06.151953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rZOIxqZE9A5EYg3DvM353GCZvmpBNX5HvcEBTAKi3kxxkt6dPclFmDDjOiRZ/ymrHX8BeDKOMJ65M8MwzgT9DA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:31:06.152381Z","signed_message":"canonical_sha256_bytes"},"source_id":"2104.04904","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a63ee71ec78ab4f302382e73688050f89af59cc49abc78846edf581abf87f4c9","sha256:cad206c32c2ead0417318a4d520ee9ef7192859a7f3624bedf30824cf955ab8c"],"state_sha256":"a9b4c6aa4d29f0db0bc1c08e448d45e77ed279b34bf6c8dc008f08e6874f8c4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"shHemUbLsM6l3cnlqpmZa1x6I8geijdITGxr+bf0ZSiDZE/yK3sVAz1jZMn+3xarbWF3d9fxlfKqbYn3GQ2xDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T03:11:18.641437Z","bundle_sha256":"7825bf9d68cd51bdff028eb6edfe55223e8bfc3a597b2ca4ae76fea69dc98776"}}