{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:KMPUHW5JXDVPXDJCDUJEDNROK3","short_pith_number":"pith:KMPUHW5J","canonical_record":{"source":{"id":"1203.1069","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-05T22:49:39Z","cross_cats_sorted":[],"title_canon_sha256":"2a5236025ddeddd8d8588e506a94361c144751ae591ed37cf103a1db4e262282","abstract_canon_sha256":"e5d0507c38c31d9b0eeb7809088b508fda9bf77f19a0a2a81b37c03291cdd9fd"},"schema_version":"1.0"},"canonical_sha256":"531f43dba9b8eafb8d221d1241b62e56fd0ee24632f8ea15787df1900bc2594b","source":{"kind":"arxiv","id":"1203.1069","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1069","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1069v2","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1069","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"pith_short_12","alias_value":"KMPUHW5JXDVP","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KMPUHW5JXDVPXDJC","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KMPUHW5J","created_at":"2026-05-18T12:27:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:KMPUHW5JXDVPXDJCDUJEDNROK3","target":"record","payload":{"canonical_record":{"source":{"id":"1203.1069","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-05T22:49:39Z","cross_cats_sorted":[],"title_canon_sha256":"2a5236025ddeddd8d8588e506a94361c144751ae591ed37cf103a1db4e262282","abstract_canon_sha256":"e5d0507c38c31d9b0eeb7809088b508fda9bf77f19a0a2a81b37c03291cdd9fd"},"schema_version":"1.0"},"canonical_sha256":"531f43dba9b8eafb8d221d1241b62e56fd0ee24632f8ea15787df1900bc2594b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:17.251695Z","signature_b64":"euVzKIAwawGLDKvYr1c96XJtMQi/WMXuz0cC/zvtuepYJLIXlWkbsyVFmiI9Pbu9jiDa+BQX8kfP731w81WWAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"531f43dba9b8eafb8d221d1241b62e56fd0ee24632f8ea15787df1900bc2594b","last_reissued_at":"2026-05-18T02:21:17.251031Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:17.251031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.1069","source_version":2,"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:21:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZGagJtG5C5UG3k9akf9TIJ7R/VkAwtYIMgNbqvOqRekH8LuKxeXBqeGeMKjlh9XoxO/Qwmaw6KXbZDEKDIZdAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:47:25.323641Z"},"content_sha256":"e12a2a011658fd8c6716db8602cd2da387c8b8a9d4ca950633813a987e99a265","schema_version":"1.0","event_id":"sha256:e12a2a011658fd8c6716db8602cd2da387c8b8a9d4ca950633813a987e99a265"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:KMPUHW5JXDVPXDJCDUJEDNROK3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Symbolic Approach to the Design of Nonlinear Networked Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SY","authors_text":"Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto","submitted_at":"2012-03-05T22:49:39Z","abstract_excerpt":"Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important research results have been obtained. These results are in the area of stability and stabilizability. However, while important, these results must be complemented in different areas to be able to design effective NCS. In this paper we approach the control design of NCS using symbolic (finite) models. Symbolic models are abstract descriptions of continuous systems"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1069","kind":"arxiv","version":2},"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:21:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54NienpVWIC+s9x5NZH1VhrNIs329grJMKe60BkUSBJPp6RyHC93MTCoczjHvovcaQVnTdtdnyLH6RGbfSKqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:47:25.325234Z"},"content_sha256":"3e95d124e850eaa5fbf81d6bb62c7bcd1d0eba61fcd844c0806e0f168a2ddbfc","schema_version":"1.0","event_id":"sha256:3e95d124e850eaa5fbf81d6bb62c7bcd1d0eba61fcd844c0806e0f168a2ddbfc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/bundle.json","state_url":"https://pith.science/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/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-03T05:47:25Z","links":{"resolver":"https://pith.science/pith/KMPUHW5JXDVPXDJCDUJEDNROK3","bundle":"https://pith.science/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/bundle.json","state":"https://pith.science/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KMPUHW5JXDVPXDJCDUJEDNROK3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:KMPUHW5JXDVPXDJCDUJEDNROK3","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":"e5d0507c38c31d9b0eeb7809088b508fda9bf77f19a0a2a81b37c03291cdd9fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-05T22:49:39Z","title_canon_sha256":"2a5236025ddeddd8d8588e506a94361c144751ae591ed37cf103a1db4e262282"},"schema_version":"1.0","source":{"id":"1203.1069","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.1069","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"arxiv_version","alias_value":"1203.1069v2","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.1069","created_at":"2026-05-18T02:21:17Z"},{"alias_kind":"pith_short_12","alias_value":"KMPUHW5JXDVP","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_16","alias_value":"KMPUHW5JXDVPXDJC","created_at":"2026-05-18T12:27:11Z"},{"alias_kind":"pith_short_8","alias_value":"KMPUHW5J","created_at":"2026-05-18T12:27:11Z"}],"graph_snapshots":[{"event_id":"sha256:3e95d124e850eaa5fbf81d6bb62c7bcd1d0eba61fcd844c0806e0f168a2ddbfc","target":"graph","created_at":"2026-05-18T02:21:17Z","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":"Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important research results have been obtained. These results are in the area of stability and stabilizability. However, while important, these results must be complemented in different areas to be able to design effective NCS. In this paper we approach the control design of NCS using symbolic (finite) models. Symbolic models are abstract descriptions of continuous systems","authors_text":"Alessandro Borri, Giordano Pola, Maria Domenica Di Benedetto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-05T22:49:39Z","title":"A Symbolic Approach to the Design of Nonlinear Networked Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.1069","kind":"arxiv","version":2},"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:e12a2a011658fd8c6716db8602cd2da387c8b8a9d4ca950633813a987e99a265","target":"record","created_at":"2026-05-18T02:21:17Z","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":"e5d0507c38c31d9b0eeb7809088b508fda9bf77f19a0a2a81b37c03291cdd9fd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-03-05T22:49:39Z","title_canon_sha256":"2a5236025ddeddd8d8588e506a94361c144751ae591ed37cf103a1db4e262282"},"schema_version":"1.0","source":{"id":"1203.1069","kind":"arxiv","version":2}},"canonical_sha256":"531f43dba9b8eafb8d221d1241b62e56fd0ee24632f8ea15787df1900bc2594b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"531f43dba9b8eafb8d221d1241b62e56fd0ee24632f8ea15787df1900bc2594b","first_computed_at":"2026-05-18T02:21:17.251031Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:17.251031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"euVzKIAwawGLDKvYr1c96XJtMQi/WMXuz0cC/zvtuepYJLIXlWkbsyVFmiI9Pbu9jiDa+BQX8kfP731w81WWAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:17.251695Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.1069","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e12a2a011658fd8c6716db8602cd2da387c8b8a9d4ca950633813a987e99a265","sha256:3e95d124e850eaa5fbf81d6bb62c7bcd1d0eba61fcd844c0806e0f168a2ddbfc"],"state_sha256":"329d3c9acf3f030b34c2760ac45ba7a2ecd9460d993860ae713aae01d7775421"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ObHzH0luRUSjEb96Vze7G9e4rNNaW2snSXnkb/1fgA4jSmYIoCoi0i84sFWEVoQwkvf1bb2hOwHLKXsgnW9jAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:47:25.327305Z","bundle_sha256":"714d1142ba0876a0af9d5b4850bc716d09e31360c686b4d94d127e9dc25063a4"}}