{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:A6DQI6WK2QALJ47QSQHZY6KOOU","short_pith_number":"pith:A6DQI6WK","canonical_record":{"source":{"id":"1209.0320","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-09-03T12:12:58Z","cross_cats_sorted":[],"title_canon_sha256":"5a50c1dea8d3f2ab589ad5ffbebd660a6316097682f6917e41473b698e036670","abstract_canon_sha256":"85e3129a6deb61ca85e6477fa72576d95ffc583d807ed8659f3f601714d9a9b7"},"schema_version":"1.0"},"canonical_sha256":"0787047acad400b4f3f0940f9c794e7526326c3eb38fb0f44b40fb2fc229e146","source":{"kind":"arxiv","id":"1209.0320","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.0320","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"arxiv_version","alias_value":"1209.0320v2","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.0320","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"pith_short_12","alias_value":"A6DQI6WK2QAL","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"A6DQI6WK2QALJ47Q","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"A6DQI6WK","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:A6DQI6WK2QALJ47QSQHZY6KOOU","target":"record","payload":{"canonical_record":{"source":{"id":"1209.0320","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-09-03T12:12:58Z","cross_cats_sorted":[],"title_canon_sha256":"5a50c1dea8d3f2ab589ad5ffbebd660a6316097682f6917e41473b698e036670","abstract_canon_sha256":"85e3129a6deb61ca85e6477fa72576d95ffc583d807ed8659f3f601714d9a9b7"},"schema_version":"1.0"},"canonical_sha256":"0787047acad400b4f3f0940f9c794e7526326c3eb38fb0f44b40fb2fc229e146","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:46:18.071616Z","signature_b64":"sFRLDmIdGlkAUs5bemNvS5wXOh8tnZmrxcvPZ6t6UAnZzobTVmjfh6zprIvd+kSyr7OxzBopK65emV0zs3IbBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0787047acad400b4f3f0940f9c794e7526326c3eb38fb0f44b40fb2fc229e146","last_reissued_at":"2026-05-18T03:46:18.071173Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:46:18.071173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1209.0320","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-18T03:46:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IXAbJrL1IfuMcjjovE3YJD5OAM61VACjsJU4J8X1WIQCUGxsUXtL0E/uqE9Eose5W3afSOjcjYZ6cV8eQR8HAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:54:25.422631Z"},"content_sha256":"643e50fe67acb131ced5c29777431df01c96d32e3c8c89ec5ee747df6b5071a6","schema_version":"1.0","event_id":"sha256:643e50fe67acb131ced5c29777431df01c96d32e3c8c89ec5ee747df6b5071a6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:A6DQI6WK2QALJ47QSQHZY6KOOU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Integrated Symbolic Design of Unstable 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 D. Di Benedetto","submitted_at":"2012-09-03T12:12:58Z","abstract_excerpt":"The research area of Networked Control Systems (NCS) has been the topic of intensive study in the last decade. In this paper we give a contribution to this research line by addressing symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata. We first derive symbolic models that are shown to approximate the given NCS in the sense of (alternating) approximate simulation. We then address symbolic control design with specifications expressed in terms of automata. We finally derive efficient algorithms for the synthesis of the proposed symbolic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.0320","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-18T03:46:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A4YAOb6TAAh+xaC9gFLJ/yujOtjG7m26iazsdfrXhVV7R0VE5sSelerdhvMRMwMgkOdEtzsQFxOVohxqEoq4Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T21:54:25.423281Z"},"content_sha256":"33f256a256bd9470fdf0a1f2327bfc3c53bdc54c3c52693ed74cb5d638182d28","schema_version":"1.0","event_id":"sha256:33f256a256bd9470fdf0a1f2327bfc3c53bdc54c3c52693ed74cb5d638182d28"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/bundle.json","state_url":"https://pith.science/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/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-01T21:54:25Z","links":{"resolver":"https://pith.science/pith/A6DQI6WK2QALJ47QSQHZY6KOOU","bundle":"https://pith.science/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/bundle.json","state":"https://pith.science/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A6DQI6WK2QALJ47QSQHZY6KOOU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:A6DQI6WK2QALJ47QSQHZY6KOOU","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":"85e3129a6deb61ca85e6477fa72576d95ffc583d807ed8659f3f601714d9a9b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-09-03T12:12:58Z","title_canon_sha256":"5a50c1dea8d3f2ab589ad5ffbebd660a6316097682f6917e41473b698e036670"},"schema_version":"1.0","source":{"id":"1209.0320","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1209.0320","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"arxiv_version","alias_value":"1209.0320v2","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1209.0320","created_at":"2026-05-18T03:46:18Z"},{"alias_kind":"pith_short_12","alias_value":"A6DQI6WK2QAL","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"A6DQI6WK2QALJ47Q","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"A6DQI6WK","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:33f256a256bd9470fdf0a1f2327bfc3c53bdc54c3c52693ed74cb5d638182d28","target":"graph","created_at":"2026-05-18T03:46:18Z","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":"The research area of Networked Control Systems (NCS) has been the topic of intensive study in the last decade. In this paper we give a contribution to this research line by addressing symbolic control design of (possibly unstable) nonlinear NCS with specifications expressed in terms of automata. We first derive symbolic models that are shown to approximate the given NCS in the sense of (alternating) approximate simulation. We then address symbolic control design with specifications expressed in terms of automata. We finally derive efficient algorithms for the synthesis of the proposed symbolic","authors_text":"Alessandro Borri, Giordano Pola, Maria D. Di Benedetto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-09-03T12:12:58Z","title":"Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1209.0320","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:643e50fe67acb131ced5c29777431df01c96d32e3c8c89ec5ee747df6b5071a6","target":"record","created_at":"2026-05-18T03:46:18Z","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":"85e3129a6deb61ca85e6477fa72576d95ffc583d807ed8659f3f601714d9a9b7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2012-09-03T12:12:58Z","title_canon_sha256":"5a50c1dea8d3f2ab589ad5ffbebd660a6316097682f6917e41473b698e036670"},"schema_version":"1.0","source":{"id":"1209.0320","kind":"arxiv","version":2}},"canonical_sha256":"0787047acad400b4f3f0940f9c794e7526326c3eb38fb0f44b40fb2fc229e146","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0787047acad400b4f3f0940f9c794e7526326c3eb38fb0f44b40fb2fc229e146","first_computed_at":"2026-05-18T03:46:18.071173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:46:18.071173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sFRLDmIdGlkAUs5bemNvS5wXOh8tnZmrxcvPZ6t6UAnZzobTVmjfh6zprIvd+kSyr7OxzBopK65emV0zs3IbBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:46:18.071616Z","signed_message":"canonical_sha256_bytes"},"source_id":"1209.0320","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:643e50fe67acb131ced5c29777431df01c96d32e3c8c89ec5ee747df6b5071a6","sha256:33f256a256bd9470fdf0a1f2327bfc3c53bdc54c3c52693ed74cb5d638182d28"],"state_sha256":"a8d645f94805a87abfe853d4ac1d9649b007591f5c7169a6714323a2ddf853da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"abzzL56Z3XgEd/0paARenu+48kdETLQ/oQrAJy5GFDtThFg8jGxvtK2C3uBGlWpdJ/yTdAB+PwJbrc7xv0x+AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T21:54:25.425874Z","bundle_sha256":"4006da2e991b7efc07ff204dcddcfea05ba75be717a8efb771e8533112a7520d"}}