{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:7MWLFDAGO4LJ62KWQHS4D4464N","short_pith_number":"pith:7MWLFDAG","canonical_record":{"source":{"id":"1502.04013","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f","abstract_canon_sha256":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601"},"schema_version":"1.0"},"canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","source":{"kind":"arxiv","id":"1502.04013","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04013v1","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"pith_short_12","alias_value":"7MWLFDAGO4LJ","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7MWLFDAGO4LJ62KW","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7MWLFDAG","created_at":"2026-05-18T12:29:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:7MWLFDAGO4LJ62KWQHS4D4464N","target":"record","payload":{"canonical_record":{"source":{"id":"1502.04013","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f","abstract_canon_sha256":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601"},"schema_version":"1.0"},"canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:06.730839Z","signature_b64":"2GiEnUulYX6FEQFXzGMu8Fu6+PFLfcCvoVllDkv0CQsmUnh2MfVBqBFOxQNJBvxoGLoUGPH9Vwpn0ki3BvS9DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","last_reissued_at":"2026-05-18T02:27:06.730109Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:06.730109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.04013","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:27:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hb2g7+lNcHMbGZcyyyh6iMKLj6V3t9P9SV21NVLxUUOMeExW7qnG40Ky8EoqtAJhHpT6Q35Oc+mXPNv8dpbWBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:59:10.159622Z"},"content_sha256":"ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b","schema_version":"1.0","event_id":"sha256:ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:7MWLFDAGO4LJ62KWQHS4D4464N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Deep Neural Programs for Adaptive Control in Cyber-Physical Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.AI","authors_text":"Denise Ratasich, Ezio Bartocci, Konstantin Selyunin, Radu Grosu","submitted_at":"2015-02-13T14:50:22Z","abstract_excerpt":"We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose discontinuity is responsible for undecidability in CPS analysis, intractability in CPS design, and frailness in CPS implementation, with their smooth, neural nif and nwhile counterparts. This not only makes CPS analysis decidable and CPS design tractable, but also allows to write robust and adaptive CPS code. In DNP the connection between the sigmoidal guards of the nif and nwhile statements has to be given as a Gau"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04013","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:27:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TH4ZFl10AoU0FLNJbCk01zgfR9JSjYNhCc1m27p56bADbE+zKqcnnJwvsT7S3LqRAne9BXfAifd5ed09/TPqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:59:10.160265Z"},"content_sha256":"78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f","schema_version":"1.0","event_id":"sha256:78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7MWLFDAGO4LJ62KWQHS4D4464N/bundle.json","state_url":"https://pith.science/pith/7MWLFDAGO4LJ62KWQHS4D4464N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7MWLFDAGO4LJ62KWQHS4D4464N/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-10T22:59:10Z","links":{"resolver":"https://pith.science/pith/7MWLFDAGO4LJ62KWQHS4D4464N","bundle":"https://pith.science/pith/7MWLFDAGO4LJ62KWQHS4D4464N/bundle.json","state":"https://pith.science/pith/7MWLFDAGO4LJ62KWQHS4D4464N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7MWLFDAGO4LJ62KWQHS4D4464N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:7MWLFDAGO4LJ62KWQHS4D4464N","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":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f"},"schema_version":"1.0","source":{"id":"1502.04013","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"arxiv_version","alias_value":"1502.04013v1","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.04013","created_at":"2026-05-18T02:27:06Z"},{"alias_kind":"pith_short_12","alias_value":"7MWLFDAGO4LJ","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"7MWLFDAGO4LJ62KW","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"7MWLFDAG","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f","target":"graph","created_at":"2026-05-18T02:27:06Z","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"},"paper":{"abstract_excerpt":"We introduce Deep Neural Programs (DNP), a novel programming paradigm for writing adaptive controllers for cy-ber-physical systems (CPS). DNP replace if and while statements, whose discontinuity is responsible for undecidability in CPS analysis, intractability in CPS design, and frailness in CPS implementation, with their smooth, neural nif and nwhile counterparts. This not only makes CPS analysis decidable and CPS design tractable, but also allows to write robust and adaptive CPS code. In DNP the connection between the sigmoidal guards of the nif and nwhile statements has to be given as a Gau","authors_text":"Denise Ratasich, Ezio Bartocci, Konstantin Selyunin, Radu Grosu","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title":"Deep Neural Programs for Adaptive Control in Cyber-Physical Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.04013","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:ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b","target":"record","created_at":"2026-05-18T02:27:06Z","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":"47eab2a2a4115dc63617706c8333836dccf004dd581c3d586465e68353309601","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-13T14:50:22Z","title_canon_sha256":"5d0f5dd5bd291dca85e117c6ab859dc67821680d91b322c5696d2930d428313f"},"schema_version":"1.0","source":{"id":"1502.04013","kind":"arxiv","version":1}},"canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fb2cb28c0677169f695681e5c1f39ee3566a728ca380141a6b2d17456cace800","first_computed_at":"2026-05-18T02:27:06.730109Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:06.730109Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2GiEnUulYX6FEQFXzGMu8Fu6+PFLfcCvoVllDkv0CQsmUnh2MfVBqBFOxQNJBvxoGLoUGPH9Vwpn0ki3BvS9DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:06.730839Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.04013","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba401a02cdbd772b8f8c2354c0c78b3c5151843a94babf04e9758a52ab7b498b","sha256:78ce07d11a06cc4c187c62fd66a9d5d15942041bfc9e05737a1729c2e74dd13f"],"state_sha256":"59e7e2c6a633e76ea97d22ed44fcc53a80de79b7279671d338d075412b0d850c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ORRwg9fHMl2hJtQPr68b16g41zPi2eteeYsuMYbZzHeTbYEIxA1MrORNcR9II61S7Yzmxjeee97O/NdBpDPbBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T22:59:10.164175Z","bundle_sha256":"62f126f13877c95dda2863903da24b5e3e43535552091b6b01d1b9583d919c5b"}}