{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:U52D4PPMLZOCLRCORGKJZNN3LK","short_pith_number":"pith:U52D4PPM","schema_version":"1.0","canonical_sha256":"a7743e3dec5e5c25c44e89949cb5bb5a87e214b0c2c3c05283ac5cdf7090aa6e","source":{"kind":"arxiv","id":"2005.01890","version":1},"attestation_state":"computed","paper":{"title":"Industrial Control via Application Containers:Maintaining determinism in IAAS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.DC","authors_text":"Alberto Sangiovanni-Vincentelli, Barbara Russo, Florian Hofer, Martin Sehr","submitted_at":"2020-05-05T00:08:04Z","abstract_excerpt":"Industry 4.0 is changing fundamentally data collection, its storage and analysis in industrial processes, enabling novel application such as flexible manufacturing of highly customized products. Real-time control of these processes, however, has not yet realized its full potential in using the collected data to drive further development. Indeed, typical industrial control systems are tailored to the plant they need to control, making reuse and adaptation a challenge. In the past, the need to solve plant specific problems overshadowed the benefits of physically isolating a control system from i"},"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":"2005.01890","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2020-05-05T00:08:04Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"58db40b75a47551e2acb51b1564921c09db8985fae30c493c98150974204e52a","abstract_canon_sha256":"4923a84bb92eb11656c4be942e7d58711142d8bb8d5841a0ee7a4e1fe8a1a9c9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:00:20.528866Z","signature_b64":"6+HjOPO+ZS2OfpPB8jdYM16zVOFFunmgapb2BRwTk9RP/lgjbfpeLlmuaQ5dcTLgaVLi8vsvMxnGR2S1YNx4Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a7743e3dec5e5c25c44e89949cb5bb5a87e214b0c2c3c05283ac5cdf7090aa6e","last_reissued_at":"2026-07-05T01:00:20.528411Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:00:20.528411Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Industrial Control via Application Containers:Maintaining determinism in IAAS","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.DC","authors_text":"Alberto Sangiovanni-Vincentelli, Barbara Russo, Florian Hofer, Martin Sehr","submitted_at":"2020-05-05T00:08:04Z","abstract_excerpt":"Industry 4.0 is changing fundamentally data collection, its storage and analysis in industrial processes, enabling novel application such as flexible manufacturing of highly customized products. Real-time control of these processes, however, has not yet realized its full potential in using the collected data to drive further development. Indeed, typical industrial control systems are tailored to the plant they need to control, making reuse and adaptation a challenge. In the past, the need to solve plant specific problems overshadowed the benefits of physically isolating a control system from i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.01890","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/2005.01890/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":"2005.01890","created_at":"2026-07-05T01:00:20.528471+00:00"},{"alias_kind":"arxiv_version","alias_value":"2005.01890v1","created_at":"2026-07-05T01:00:20.528471+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.01890","created_at":"2026-07-05T01:00:20.528471+00:00"},{"alias_kind":"pith_short_12","alias_value":"U52D4PPMLZOC","created_at":"2026-07-05T01:00:20.528471+00:00"},{"alias_kind":"pith_short_16","alias_value":"U52D4PPMLZOCLRCO","created_at":"2026-07-05T01:00:20.528471+00:00"},{"alias_kind":"pith_short_8","alias_value":"U52D4PPM","created_at":"2026-07-05T01:00:20.528471+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/U52D4PPMLZOCLRCORGKJZNN3LK","json":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK.json","graph_json":"https://pith.science/api/pith-number/U52D4PPMLZOCLRCORGKJZNN3LK/graph.json","events_json":"https://pith.science/api/pith-number/U52D4PPMLZOCLRCORGKJZNN3LK/events.json","paper":"https://pith.science/paper/U52D4PPM"},"agent_actions":{"view_html":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK","download_json":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK.json","view_paper":"https://pith.science/paper/U52D4PPM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2005.01890&json=true","fetch_graph":"https://pith.science/api/pith-number/U52D4PPMLZOCLRCORGKJZNN3LK/graph.json","fetch_events":"https://pith.science/api/pith-number/U52D4PPMLZOCLRCORGKJZNN3LK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK/action/storage_attestation","attest_author":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK/action/author_attestation","sign_citation":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK/action/citation_signature","submit_replication":"https://pith.science/pith/U52D4PPMLZOCLRCORGKJZNN3LK/action/replication_record"}},"created_at":"2026-07-05T01:00:20.528471+00:00","updated_at":"2026-07-05T01:00:20.528471+00:00"}