{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ZM52CSY2Z3WAB2WNZRQIMRCPV2","short_pith_number":"pith:ZM52CSY2","canonical_record":{"source":{"id":"1801.00623","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-02T12:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"4150c0917bc144b07a0c7b341ff712a396f9a8eacb0027bb911bdba99a5a9e62","abstract_canon_sha256":"01f6e41f784b28abafe2e15bc2782335b043825217630197f5c7443713386658"},"schema_version":"1.0"},"canonical_sha256":"cb3ba14b1aceec00eacdcc6086444fae8a560dd47e41779eaef2d843911927b7","source":{"kind":"arxiv","id":"1801.00623","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.00623","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"arxiv_version","alias_value":"1801.00623v1","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.00623","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZM52CSY2Z3WA","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZM52CSY2Z3WAB2WN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZM52CSY2","created_at":"2026-05-18T12:33:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ZM52CSY2Z3WAB2WNZRQIMRCPV2","target":"record","payload":{"canonical_record":{"source":{"id":"1801.00623","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-02T12:08:14Z","cross_cats_sorted":[],"title_canon_sha256":"4150c0917bc144b07a0c7b341ff712a396f9a8eacb0027bb911bdba99a5a9e62","abstract_canon_sha256":"01f6e41f784b28abafe2e15bc2782335b043825217630197f5c7443713386658"},"schema_version":"1.0"},"canonical_sha256":"cb3ba14b1aceec00eacdcc6086444fae8a560dd47e41779eaef2d843911927b7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:52.858208Z","signature_b64":"ZkVj07XNdxYNXHjrxj1AWADkuTjHTur21TihVZSYU3BQ31PkdSxrDPDiMtLT2o5YIACAkZCe/PYme9Inv8XyBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb3ba14b1aceec00eacdcc6086444fae8a560dd47e41779eaef2d843911927b7","last_reissued_at":"2026-05-18T00:26:52.857591Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:52.857591Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.00623","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-18T00:26:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2WCpJhFq6mpFC4gFWAzYFbNt01+wOQoGln8ezZravZk/4tEGgoof0o4L212+M7m8v3LLeMHcPt/p6faBH3PxAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:49:05.884237Z"},"content_sha256":"909b64837165ede3a1ac9721560c917ad4dc9cd37efc97f415f186b02ec006ea","schema_version":"1.0","event_id":"sha256:909b64837165ede3a1ac9721560c917ad4dc9cd37efc97f415f186b02ec006ea"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ZM52CSY2Z3WAB2WNZRQIMRCPV2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Observability of Boolean Networks via Set Controllability Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Changxi Li, Daizhan Cheng, Fenghua He","submitted_at":"2018-01-02T12:08:14Z","abstract_excerpt":"The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.00623","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-18T00:26:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"00eeD5eQl8Wm+iuHEOQDzgHe5ZahnYbrz3KVnUz5rLlrj7tv7uSHEHuVcJnnUu5wQa1L1O5xpHqLkPRQwTeDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T20:49:05.884913Z"},"content_sha256":"32d84a6c756968112698a26b1a4f7b788cab6db023ec962a227fa3764ace1e31","schema_version":"1.0","event_id":"sha256:32d84a6c756968112698a26b1a4f7b788cab6db023ec962a227fa3764ace1e31"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/bundle.json","state_url":"https://pith.science/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/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-05-28T20:49:05Z","links":{"resolver":"https://pith.science/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2","bundle":"https://pith.science/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/bundle.json","state":"https://pith.science/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZM52CSY2Z3WAB2WNZRQIMRCPV2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ZM52CSY2Z3WAB2WNZRQIMRCPV2","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":"01f6e41f784b28abafe2e15bc2782335b043825217630197f5c7443713386658","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-02T12:08:14Z","title_canon_sha256":"4150c0917bc144b07a0c7b341ff712a396f9a8eacb0027bb911bdba99a5a9e62"},"schema_version":"1.0","source":{"id":"1801.00623","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.00623","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"arxiv_version","alias_value":"1801.00623v1","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.00623","created_at":"2026-05-18T00:26:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZM52CSY2Z3WA","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_16","alias_value":"ZM52CSY2Z3WAB2WN","created_at":"2026-05-18T12:33:07Z"},{"alias_kind":"pith_short_8","alias_value":"ZM52CSY2","created_at":"2026-05-18T12:33:07Z"}],"graph_snapshots":[{"event_id":"sha256:32d84a6c756968112698a26b1a4f7b788cab6db023ec962a227fa3764ace1e31","target":"graph","created_at":"2026-05-18T00:26:52Z","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 controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN.","authors_text":"Changxi Li, Daizhan Cheng, Fenghua He","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-02T12:08:14Z","title":"Observability of Boolean Networks via Set Controllability Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.00623","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:909b64837165ede3a1ac9721560c917ad4dc9cd37efc97f415f186b02ec006ea","target":"record","created_at":"2026-05-18T00:26:52Z","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":"01f6e41f784b28abafe2e15bc2782335b043825217630197f5c7443713386658","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2018-01-02T12:08:14Z","title_canon_sha256":"4150c0917bc144b07a0c7b341ff712a396f9a8eacb0027bb911bdba99a5a9e62"},"schema_version":"1.0","source":{"id":"1801.00623","kind":"arxiv","version":1}},"canonical_sha256":"cb3ba14b1aceec00eacdcc6086444fae8a560dd47e41779eaef2d843911927b7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cb3ba14b1aceec00eacdcc6086444fae8a560dd47e41779eaef2d843911927b7","first_computed_at":"2026-05-18T00:26:52.857591Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:52.857591Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZkVj07XNdxYNXHjrxj1AWADkuTjHTur21TihVZSYU3BQ31PkdSxrDPDiMtLT2o5YIACAkZCe/PYme9Inv8XyBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:52.858208Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.00623","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:909b64837165ede3a1ac9721560c917ad4dc9cd37efc97f415f186b02ec006ea","sha256:32d84a6c756968112698a26b1a4f7b788cab6db023ec962a227fa3764ace1e31"],"state_sha256":"a352ae5b683a9e59bff30b643b7f26267ae85c25d98ad0990d10449251e65152"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vy5//u3MtDseqYcoGO8+iENInXwvrbgaBjYzpFrBSTM/75ZBY5Wd37dxx/qlqDFKSygJ1+Thrku1na43H/1UDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T20:49:05.888158Z","bundle_sha256":"1dfbc6c6c9443699d61812b9122714cc92122f6219868e6b3de5fd8d9a9209b8"}}