{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:BILPM5OY6476A2TQOCY4AOFHO3","short_pith_number":"pith:BILPM5OY","schema_version":"1.0","canonical_sha256":"0a16f675d8f73fe06a7070b1c038a776e77ca68eb223d97bd29ecb8e020ba79b","source":{"kind":"arxiv","id":"2004.12473","version":3},"attestation_state":"computed","paper":{"title":"Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Agung Julius, Ruixuan Yan","submitted_at":"2020-04-26T20:32:43Z","abstract_excerpt":"In this paper, we develop a distributed monitoring framework for robot swarms so that the agents can monitor whether the executions of robot swarms satisfy Swarm Signal Temporal Logic (SwarmSTL) formulas. We define generalized moments (GMs) to represent swarm features. A dynamic generalized moments consensus algorithm (GMCA) with Kalman filter (KF) is proposed so that each agent can estimate the GMs. Also, we obtain an upper bound for the error between an agent's estimate and the actual GMs. This bound is independent of the motion of the agents. We also propose rules for monitoring SwarmSTL te"},"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":"2004.12473","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SY","submitted_at":"2020-04-26T20:32:43Z","cross_cats_sorted":["cs.SY"],"title_canon_sha256":"c82e91ed04100ab01c43ef31bc2a129ccb94f8d105e058817db7329c50370747","abstract_canon_sha256":"e9b98167640c3993d17a9f140d09e0e5f4bb978a74e962931ec226dbda2ec2a5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:34:40.309209Z","signature_b64":"dr+VgWbNYZbiHEzTNf257j/3EyS2qCx8rCew7qVs2f0XGKcI408P12+i7VHGGzZOZ83uouYQ/dzdMuXu3LiHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0a16f675d8f73fe06a7070b1c038a776e77ca68eb223d97bd29ecb8e020ba79b","last_reissued_at":"2026-07-05T05:34:40.308775Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:34:40.308775Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY"],"primary_cat":"eess.SY","authors_text":"Agung Julius, Ruixuan Yan","submitted_at":"2020-04-26T20:32:43Z","abstract_excerpt":"In this paper, we develop a distributed monitoring framework for robot swarms so that the agents can monitor whether the executions of robot swarms satisfy Swarm Signal Temporal Logic (SwarmSTL) formulas. We define generalized moments (GMs) to represent swarm features. A dynamic generalized moments consensus algorithm (GMCA) with Kalman filter (KF) is proposed so that each agent can estimate the GMs. Also, we obtain an upper bound for the error between an agent's estimate and the actual GMs. This bound is independent of the motion of the agents. We also propose rules for monitoring SwarmSTL te"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.12473","kind":"arxiv","version":3},"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/2004.12473/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":"2004.12473","created_at":"2026-07-05T05:34:40.308834+00:00"},{"alias_kind":"arxiv_version","alias_value":"2004.12473v3","created_at":"2026-07-05T05:34:40.308834+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.12473","created_at":"2026-07-05T05:34:40.308834+00:00"},{"alias_kind":"pith_short_12","alias_value":"BILPM5OY6476","created_at":"2026-07-05T05:34:40.308834+00:00"},{"alias_kind":"pith_short_16","alias_value":"BILPM5OY6476A2TQ","created_at":"2026-07-05T05:34:40.308834+00:00"},{"alias_kind":"pith_short_8","alias_value":"BILPM5OY","created_at":"2026-07-05T05:34:40.308834+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/BILPM5OY6476A2TQOCY4AOFHO3","json":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3.json","graph_json":"https://pith.science/api/pith-number/BILPM5OY6476A2TQOCY4AOFHO3/graph.json","events_json":"https://pith.science/api/pith-number/BILPM5OY6476A2TQOCY4AOFHO3/events.json","paper":"https://pith.science/paper/BILPM5OY"},"agent_actions":{"view_html":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3","download_json":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3.json","view_paper":"https://pith.science/paper/BILPM5OY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2004.12473&json=true","fetch_graph":"https://pith.science/api/pith-number/BILPM5OY6476A2TQOCY4AOFHO3/graph.json","fetch_events":"https://pith.science/api/pith-number/BILPM5OY6476A2TQOCY4AOFHO3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3/action/storage_attestation","attest_author":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3/action/author_attestation","sign_citation":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3/action/citation_signature","submit_replication":"https://pith.science/pith/BILPM5OY6476A2TQOCY4AOFHO3/action/replication_record"}},"created_at":"2026-07-05T05:34:40.308834+00:00","updated_at":"2026-07-05T05:34:40.308834+00:00"}