{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:HAJLJ3FSO25NXL43DE2MQPI4TV","short_pith_number":"pith:HAJLJ3FS","schema_version":"1.0","canonical_sha256":"3812b4ecb276badbaf9b1934c83d1c9d6ea6c393893fac8a533ccc7c17a39bb1","source":{"kind":"arxiv","id":"1701.01894","version":1},"attestation_state":"computed","paper":{"title":"Modeling Actuation Constraints for IoT Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Addison Mayberry, Amit Levy, Bharathan Balaji, Brad Campbell, Longqi Yang, Nirupam Roy, Ranveer Chandra, Ratul Mahajan, Vasuki Narasimha Swamy, Victor Bahl, Xiaozhou Li","submitted_at":"2017-01-07T23:28:48Z","abstract_excerpt":"Internet of Things (IoT) promises to bring ease of monitoring, better efficiency and innovative services across many domains with connected devices around us. With information from critical parts of infrastructure and powerful cloud-based data analytics, many applications can be developed to gain insights about IoT systems as well as transform their capabilities. Actuation applications form an essential part of these IoT systems, as they enable automation as well as fast low-level decision making. However, modern IoT systems are designed for data acquisition, and actuation applications are imp"},"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":"1701.01894","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2017-01-07T23:28:48Z","cross_cats_sorted":[],"title_canon_sha256":"e36c3dd868c453bc80421d33a5b0334fa45794bca005516fff070b89b1f5b1cb","abstract_canon_sha256":"8b4b884bdd1c977d6f8724088ce68b3a1513c555e8f80d6a7714327415620583"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:13.170402Z","signature_b64":"bgv5AcHOLWKRdvT6gMddJwoEQZHoEW/5jnZcNHKIhjuXsrlJiFEk+U7P63NWhpk5GTVeCFnsLxXyxhxk79W8BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3812b4ecb276badbaf9b1934c83d1c9d6ea6c393893fac8a533ccc7c17a39bb1","last_reissued_at":"2026-05-18T00:53:13.169874Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:13.169874Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Modeling Actuation Constraints for IoT Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Addison Mayberry, Amit Levy, Bharathan Balaji, Brad Campbell, Longqi Yang, Nirupam Roy, Ranveer Chandra, Ratul Mahajan, Vasuki Narasimha Swamy, Victor Bahl, Xiaozhou Li","submitted_at":"2017-01-07T23:28:48Z","abstract_excerpt":"Internet of Things (IoT) promises to bring ease of monitoring, better efficiency and innovative services across many domains with connected devices around us. With information from critical parts of infrastructure and powerful cloud-based data analytics, many applications can be developed to gain insights about IoT systems as well as transform their capabilities. Actuation applications form an essential part of these IoT systems, as they enable automation as well as fast low-level decision making. However, modern IoT systems are designed for data acquisition, and actuation applications are imp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.01894","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":"1701.01894","created_at":"2026-05-18T00:53:13.169956+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.01894v1","created_at":"2026-05-18T00:53:13.169956+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.01894","created_at":"2026-05-18T00:53:13.169956+00:00"},{"alias_kind":"pith_short_12","alias_value":"HAJLJ3FSO25N","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_16","alias_value":"HAJLJ3FSO25NXL43","created_at":"2026-05-18T12:31:18.294218+00:00"},{"alias_kind":"pith_short_8","alias_value":"HAJLJ3FS","created_at":"2026-05-18T12:31:18.294218+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/HAJLJ3FSO25NXL43DE2MQPI4TV","json":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV.json","graph_json":"https://pith.science/api/pith-number/HAJLJ3FSO25NXL43DE2MQPI4TV/graph.json","events_json":"https://pith.science/api/pith-number/HAJLJ3FSO25NXL43DE2MQPI4TV/events.json","paper":"https://pith.science/paper/HAJLJ3FS"},"agent_actions":{"view_html":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV","download_json":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV.json","view_paper":"https://pith.science/paper/HAJLJ3FS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.01894&json=true","fetch_graph":"https://pith.science/api/pith-number/HAJLJ3FSO25NXL43DE2MQPI4TV/graph.json","fetch_events":"https://pith.science/api/pith-number/HAJLJ3FSO25NXL43DE2MQPI4TV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV/action/storage_attestation","attest_author":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV/action/author_attestation","sign_citation":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV/action/citation_signature","submit_replication":"https://pith.science/pith/HAJLJ3FSO25NXL43DE2MQPI4TV/action/replication_record"}},"created_at":"2026-05-18T00:53:13.169956+00:00","updated_at":"2026-05-18T00:53:13.169956+00:00"}