{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:RGGUFGZCZR3V5Q2V3PK6IFULIF","short_pith_number":"pith:RGGUFGZC","schema_version":"1.0","canonical_sha256":"898d429b22cc775ec355dbd5e4168b41567a84569c33101751c823ea48d78d8d","source":{"kind":"arxiv","id":"1902.03320","version":1},"attestation_state":"computed","paper":{"title":"Active Area Coverage from Equilibrium","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ahalya Prabhakar, Ian Abraham, Todd D. Murphey","submitted_at":"2019-02-08T22:57:32Z","abstract_excerpt":"This paper develops a method for robots to integrate stability into actively seeking out informative measurements through coverage. We derive a controller using hybrid systems theory that allows us to consider safe equilibrium policies during active data collection. We show that our method is able to maintain Lyapunov attractiveness while still actively seeking out data. Using incremental sparse Gaussian processes, we define distributions which allow a robot to actively seek out informative measurements. We illustrate our methods for shape estimation using a cart double pendulum, dynamic model"},"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":"1902.03320","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2019-02-08T22:57:32Z","cross_cats_sorted":[],"title_canon_sha256":"e1b9cbbd01dfdd4895dfacb967ce8468df98719f933907622d3b6e49db4b4507","abstract_canon_sha256":"2faba7686600e6d6fc7db43e9675153432dd985f9268811eb33b8655839d4ecf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:21.245881Z","signature_b64":"l1cqizDR/wEWsU740olui2gO9Q+xYq57t1AmA0KSA+qLtUxkRaJ0gaK04EKGe57tCFnh39+btRsVAph4w8+jAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"898d429b22cc775ec355dbd5e4168b41567a84569c33101751c823ea48d78d8d","last_reissued_at":"2026-05-17T23:54:21.245206Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:21.245206Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Active Area Coverage from Equilibrium","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Ahalya Prabhakar, Ian Abraham, Todd D. Murphey","submitted_at":"2019-02-08T22:57:32Z","abstract_excerpt":"This paper develops a method for robots to integrate stability into actively seeking out informative measurements through coverage. We derive a controller using hybrid systems theory that allows us to consider safe equilibrium policies during active data collection. We show that our method is able to maintain Lyapunov attractiveness while still actively seeking out data. Using incremental sparse Gaussian processes, we define distributions which allow a robot to actively seek out informative measurements. We illustrate our methods for shape estimation using a cart double pendulum, dynamic model"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.03320","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":""},"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":"1902.03320","created_at":"2026-05-17T23:54:21.245299+00:00"},{"alias_kind":"arxiv_version","alias_value":"1902.03320v1","created_at":"2026-05-17T23:54:21.245299+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.03320","created_at":"2026-05-17T23:54:21.245299+00:00"},{"alias_kind":"pith_short_12","alias_value":"RGGUFGZCZR3V","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_16","alias_value":"RGGUFGZCZR3V5Q2V","created_at":"2026-05-18T12:33:27.125529+00:00"},{"alias_kind":"pith_short_8","alias_value":"RGGUFGZC","created_at":"2026-05-18T12:33:27.125529+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/RGGUFGZCZR3V5Q2V3PK6IFULIF","json":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF.json","graph_json":"https://pith.science/api/pith-number/RGGUFGZCZR3V5Q2V3PK6IFULIF/graph.json","events_json":"https://pith.science/api/pith-number/RGGUFGZCZR3V5Q2V3PK6IFULIF/events.json","paper":"https://pith.science/paper/RGGUFGZC"},"agent_actions":{"view_html":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF","download_json":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF.json","view_paper":"https://pith.science/paper/RGGUFGZC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1902.03320&json=true","fetch_graph":"https://pith.science/api/pith-number/RGGUFGZCZR3V5Q2V3PK6IFULIF/graph.json","fetch_events":"https://pith.science/api/pith-number/RGGUFGZCZR3V5Q2V3PK6IFULIF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF/action/storage_attestation","attest_author":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF/action/author_attestation","sign_citation":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF/action/citation_signature","submit_replication":"https://pith.science/pith/RGGUFGZCZR3V5Q2V3PK6IFULIF/action/replication_record"}},"created_at":"2026-05-17T23:54:21.245299+00:00","updated_at":"2026-05-17T23:54:21.245299+00:00"}