{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:MP32HVPWKO7DVBEJS3USWOUL5N","short_pith_number":"pith:MP32HVPW","schema_version":"1.0","canonical_sha256":"63f7a3d5f653be3a848996e92b3a8beb674d701925410fc4bb896d9ec8e11953","source":{"kind":"arxiv","id":"2104.04904","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2104.04904","created_at":"2026-07-05T02:31:06.152020+00:00"},{"alias_kind":"arxiv_version","alias_value":"2104.04904v1","created_at":"2026-07-05T02:31:06.152020+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2104.04904","created_at":"2026-07-05T02:31:06.152020+00:00"},{"alias_kind":"pith_short_12","alias_value":"MP32HVPWKO7D","created_at":"2026-07-05T02:31:06.152020+00:00"},{"alias_kind":"pith_short_16","alias_value":"MP32HVPWKO7DVBEJ","created_at":"2026-07-05T02:31:06.152020+00:00"},{"alias_kind":"pith_short_8","alias_value":"MP32HVPW","created_at":"2026-07-05T02:31:06.152020+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N","json":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N.json","graph_json":"https://pith.science/api/pith-number/MP32HVPWKO7DVBEJS3USWOUL5N/graph.json","events_json":"https://pith.science/api/pith-number/MP32HVPWKO7DVBEJS3USWOUL5N/events.json","paper":"https://pith.science/paper/MP32HVPW"},"agent_actions":{"view_html":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N","download_json":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N.json","view_paper":"https://pith.science/paper/MP32HVPW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2104.04904&json=true","fetch_graph":"https://pith.science/api/pith-number/MP32HVPWKO7DVBEJS3USWOUL5N/graph.json","fetch_events":"https://pith.science/api/pith-number/MP32HVPWKO7DVBEJS3USWOUL5N/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/action/storage_attestation","attest_author":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/action/author_attestation","sign_citation":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/action/citation_signature","submit_replication":"https://pith.science/pith/MP32HVPWKO7DVBEJS3USWOUL5N/action/replication_record"}},"created_at":"2026-07-05T02:31:06.152020+00:00","updated_at":"2026-07-05T02:31:06.152020+00:00"}