{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ROBL6QT324MS7N7U3OKYOXFFII","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":"0ee8f7099797827690e0a7c01039c59e869e93252347b8e369e9a3fb2dbd51eb","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SP","submitted_at":"2018-07-24T21:14:04Z","title_canon_sha256":"ec07cdb0287a0aee90741c2a96d3f9adccba4e9ebf528268f10d6070ad108b9a"},"schema_version":"1.0","source":{"id":"1807.09359","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.09359","created_at":"2026-06-04T19:12:09Z"},{"alias_kind":"arxiv_version","alias_value":"1807.09359v1","created_at":"2026-06-04T19:12:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.09359","created_at":"2026-06-04T19:12:09Z"},{"alias_kind":"pith_short_12","alias_value":"ROBL6QT324MS","created_at":"2026-06-04T19:12:09Z"},{"alias_kind":"pith_short_16","alias_value":"ROBL6QT324MS7N7U","created_at":"2026-06-04T19:12:09Z"},{"alias_kind":"pith_short_8","alias_value":"ROBL6QT3","created_at":"2026-06-04T19:12:09Z"}],"graph_snapshots":[{"event_id":"sha256:95ff7b77fad2a3baa9e0a467c78ca27bf05c0a2d5474c4a9cef79d3d06e0686f","target":"graph","created_at":"2026-06-04T19:12:09Z","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/1807.09359/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop a hybrid system model to describe the behavior of multiple agents cooperatively solving an optimal coverage problem under energy depletion and repletion constraints. The model captures the controlled switching of agents between coverage (when energy is depleted) and battery charging (when energy is replenished) modes. It guarantees the feasibility of the coverage problem by defining a guard function on each agent's battery level to prevent it from dying on its way to a charging station. The charging station plays the role of a centralized scheduler to solve the contention problem of","authors_text":"Arian Houshmand, Christos G. Cassandras, Xiangyu Meng","cross_cats":["cs.SY","eess.SY"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SP","submitted_at":"2018-07-24T21:14:04Z","title":"Multi-Agent Coverage Control with Energy Depletion and Repletion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.09359","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:9ec1bef0e6b6819e3ce24ae55e73edf8ef6cccb4c77462ad62a79fe950ca29b1","target":"record","created_at":"2026-06-04T19:12:09Z","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":"0ee8f7099797827690e0a7c01039c59e869e93252347b8e369e9a3fb2dbd51eb","cross_cats_sorted":["cs.SY","eess.SY"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"eess.SP","submitted_at":"2018-07-24T21:14:04Z","title_canon_sha256":"ec07cdb0287a0aee90741c2a96d3f9adccba4e9ebf528268f10d6070ad108b9a"},"schema_version":"1.0","source":{"id":"1807.09359","kind":"arxiv","version":1}},"canonical_sha256":"8b82bf427bd7192fb7f4db95875ca54225daa79bc6e014a579cf9eeca43ee57b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b82bf427bd7192fb7f4db95875ca54225daa79bc6e014a579cf9eeca43ee57b","first_computed_at":"2026-06-04T19:12:09.122638Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-04T19:12:09.122638Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+n5uGhLbmpvsQ6/If0YyuKkUZBdrLoj3e25n7qrFAnenmtOqg2vgQovzzeZrYRIAALr2+GW6BZULeRA1gANeDQ==","signature_status":"signed_v1","signed_at":"2026-06-04T19:12:09.123135Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.09359","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ec1bef0e6b6819e3ce24ae55e73edf8ef6cccb4c77462ad62a79fe950ca29b1","sha256:95ff7b77fad2a3baa9e0a467c78ca27bf05c0a2d5474c4a9cef79d3d06e0686f"],"state_sha256":"5262d211b6d741971124e268be8db4348b222d91bab8b0c0fcc896af5a01052c"}