{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:2HCZHL4DCBRGKAL4BTMZHLV5CH","short_pith_number":"pith:2HCZHL4D","canonical_record":{"source":{"id":"1606.04647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-06-15T05:31:44Z","cross_cats_sorted":[],"title_canon_sha256":"799f34b62b09292ec44df57f61c2997946ef07c32763a824acfd36230798b516","abstract_canon_sha256":"c85b0f4c63b4738b4f02bed18485d59eecf814685ad5f6e6e54b5b0def8cccd0"},"schema_version":"1.0"},"canonical_sha256":"d1c593af83106265017c0cd993aebd11e29aa263ed28a30780630ed0a65bc09b","source":{"kind":"arxiv","id":"1606.04647","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04647","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04647v1","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04647","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"pith_short_12","alias_value":"2HCZHL4DCBRG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2HCZHL4DCBRGKAL4","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2HCZHL4D","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:2HCZHL4DCBRGKAL4BTMZHLV5CH","target":"record","payload":{"canonical_record":{"source":{"id":"1606.04647","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-06-15T05:31:44Z","cross_cats_sorted":[],"title_canon_sha256":"799f34b62b09292ec44df57f61c2997946ef07c32763a824acfd36230798b516","abstract_canon_sha256":"c85b0f4c63b4738b4f02bed18485d59eecf814685ad5f6e6e54b5b0def8cccd0"},"schema_version":"1.0"},"canonical_sha256":"d1c593af83106265017c0cd993aebd11e29aa263ed28a30780630ed0a65bc09b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:24.646938Z","signature_b64":"aJ+TpkBCTSn7FGsCV5OkRu9bVCfx5DIn1QiKi9elDB6VWyxJf0aA2Gsdmr0kVUs6KOeHMyz8MKid4vDLypecBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d1c593af83106265017c0cd993aebd11e29aa263ed28a30780630ed0a65bc09b","last_reissued_at":"2026-05-18T01:12:24.646324Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:24.646324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.04647","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-18T01:12:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TC6+GWehwiExcNnyvz/zdNmFzUzhBO8NJB3NVIUJgR3SJ/4zOawQwXbJ7ynNUAIiNqZ2YZv4w2HJr9hfN12PDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T23:03:42.091182Z"},"content_sha256":"0bcfd589a7fdec32b6e54d1ffe952ec0f338b2ff181e358a03b3f343426e03d6","schema_version":"1.0","event_id":"sha256:0bcfd589a7fdec32b6e54d1ffe952ec0f338b2ff181e358a03b3f343426e03d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:2HCZHL4DCBRGKAL4BTMZHLV5CH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decentralized Supervisory Control of Networks of Nonlinear Control Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Giordano Pola, Maria D. Di Benedetto, Pierdomenico Pepe","submitted_at":"2016-06-15T05:31:44Z","abstract_excerpt":"The paradigm of Cyber-Physical Systems of Systems (CPSoS) is becoming rather popular in the control systems research community because of its expressive power able to properly handle many engineered complex systems of interest. Decentralized control techniques offer a promising approach in taming the inherent complexity of CPSoS, also connected with the design of needed communication infrastructures and computing units. In this paper, we propose decentralized control of networks of discrete-time nonlinear control systems, enforcing complex specifications expressed in terms of regular languages"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04647","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-18T01:12:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GbfrRE1iT2VZQer193Fb/9JLgvnsQJaGpo1qA3uz42AH7e99yyRaBD99nUfPTjZchd49wIS98EpbRPoluVSUAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T23:03:42.091858Z"},"content_sha256":"959886671f791d77cd29ff4385385006a83243b265cdba32806b50c5965aaa1a","schema_version":"1.0","event_id":"sha256:959886671f791d77cd29ff4385385006a83243b265cdba32806b50c5965aaa1a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/bundle.json","state_url":"https://pith.science/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/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-10T23:03:42Z","links":{"resolver":"https://pith.science/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH","bundle":"https://pith.science/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/bundle.json","state":"https://pith.science/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/2HCZHL4DCBRGKAL4BTMZHLV5CH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:2HCZHL4DCBRGKAL4BTMZHLV5CH","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":"c85b0f4c63b4738b4f02bed18485d59eecf814685ad5f6e6e54b5b0def8cccd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-06-15T05:31:44Z","title_canon_sha256":"799f34b62b09292ec44df57f61c2997946ef07c32763a824acfd36230798b516"},"schema_version":"1.0","source":{"id":"1606.04647","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.04647","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"arxiv_version","alias_value":"1606.04647v1","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.04647","created_at":"2026-05-18T01:12:24Z"},{"alias_kind":"pith_short_12","alias_value":"2HCZHL4DCBRG","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"2HCZHL4DCBRGKAL4","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"2HCZHL4D","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:959886671f791d77cd29ff4385385006a83243b265cdba32806b50c5965aaa1a","target":"graph","created_at":"2026-05-18T01:12:24Z","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 paradigm of Cyber-Physical Systems of Systems (CPSoS) is becoming rather popular in the control systems research community because of its expressive power able to properly handle many engineered complex systems of interest. Decentralized control techniques offer a promising approach in taming the inherent complexity of CPSoS, also connected with the design of needed communication infrastructures and computing units. In this paper, we propose decentralized control of networks of discrete-time nonlinear control systems, enforcing complex specifications expressed in terms of regular languages","authors_text":"Giordano Pola, Maria D. Di Benedetto, Pierdomenico Pepe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-06-15T05:31:44Z","title":"Decentralized Supervisory Control of Networks of Nonlinear Control Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.04647","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:0bcfd589a7fdec32b6e54d1ffe952ec0f338b2ff181e358a03b3f343426e03d6","target":"record","created_at":"2026-05-18T01:12:24Z","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":"c85b0f4c63b4738b4f02bed18485d59eecf814685ad5f6e6e54b5b0def8cccd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-06-15T05:31:44Z","title_canon_sha256":"799f34b62b09292ec44df57f61c2997946ef07c32763a824acfd36230798b516"},"schema_version":"1.0","source":{"id":"1606.04647","kind":"arxiv","version":1}},"canonical_sha256":"d1c593af83106265017c0cd993aebd11e29aa263ed28a30780630ed0a65bc09b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1c593af83106265017c0cd993aebd11e29aa263ed28a30780630ed0a65bc09b","first_computed_at":"2026-05-18T01:12:24.646324Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:24.646324Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aJ+TpkBCTSn7FGsCV5OkRu9bVCfx5DIn1QiKi9elDB6VWyxJf0aA2Gsdmr0kVUs6KOeHMyz8MKid4vDLypecBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:24.646938Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.04647","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0bcfd589a7fdec32b6e54d1ffe952ec0f338b2ff181e358a03b3f343426e03d6","sha256:959886671f791d77cd29ff4385385006a83243b265cdba32806b50c5965aaa1a"],"state_sha256":"1b3f4a1129cdd528156bffad1ecf36c6d6da1a6ae7fd05f4c97014807ee38ce0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZHEEqIT/MWUvQ/qtLE35tRRFyWyOwC9RymrCWSN4mQKw992h6nEUfLgyL3yeuevexCFOlxKF2wuK7/V8ocdZBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T23:03:42.096028Z","bundle_sha256":"82c1665d1a767098418edb96013db8c8538b8de7fa0d0e0a6129c22f80a1e068"}}