{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:3IYEI7XRX67XQTXOF6BGX42POU","short_pith_number":"pith:3IYEI7XR","canonical_record":{"source":{"id":"1407.1524","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-06T18:41:26Z","cross_cats_sorted":["cs.CE","q-bio.QM","q-bio.TO"],"title_canon_sha256":"63aa5d539d34b02f63e9cdf4b78354778b6a1e607460996abfddfb63e350426d","abstract_canon_sha256":"4b754a087b5f463811386904514c81f07cc173a05755e35a90eeb102f194ff85"},"schema_version":"1.0"},"canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","source":{"kind":"arxiv","id":"1407.1524","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1524","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1524v3","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1524","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"3IYEI7XRX67X","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3IYEI7XRX67XQTXO","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3IYEI7XR","created_at":"2026-05-18T12:28:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:3IYEI7XRX67XQTXOF6BGX42POU","target":"record","payload":{"canonical_record":{"source":{"id":"1407.1524","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-06T18:41:26Z","cross_cats_sorted":["cs.CE","q-bio.QM","q-bio.TO"],"title_canon_sha256":"63aa5d539d34b02f63e9cdf4b78354778b6a1e607460996abfddfb63e350426d","abstract_canon_sha256":"4b754a087b5f463811386904514c81f07cc173a05755e35a90eeb102f194ff85"},"schema_version":"1.0"},"canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:08.969047Z","signature_b64":"qqfI0bgwtCqm/2fGz+7S+ySoRG5HBqFLy1eVl8FPT/8hbn3jZXIgWeYxivy0JNJ9KrZBLE9NpOxl29cJeYo9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","last_reissued_at":"2026-05-18T02:43:08.968660Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:08.968660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.1524","source_version":3,"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:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jPCf0QeV5/xdW2NpbgqieD5QTxgnkRP8bdmFHEhZY07eTE2uqd5xdru5nlLfGT9+hrGREfW/Imz2hBE7SIOFBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:26:18.736510Z"},"content_sha256":"68f13309ab980c6f3f6e43db0a9f8a41203fbc2dd0d89b1dd5a3d14278dea6fa","schema_version":"1.0","event_id":"sha256:68f13309ab980c6f3f6e43db0a9f8a41203fbc2dd0d89b1dd5a3d14278dea6fa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:3IYEI7XRX67XQTXOF6BGX42POU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CE","q-bio.QM","q-bio.TO"],"primary_cat":"cs.LO","authors_text":"Bing Liu, Edmund M. Clarke, Paolo Zuliani, Sicun Gao, Soonho Kong","submitted_at":"2014-07-06T18:41:26Z","abstract_excerpt":"A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\\eg, time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete) models, as many biological systems can possess multiple operational modes with specific continuous dynamics in each mode. These biological systems are naturally modeled as hybrid automata, most often with nonlinear continuous dynamics. However, hybrid automata are notoriously hard to analyze --- even simple reachability for hybrid systems with linear differential"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1524","kind":"arxiv","version":3},"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:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0aVau+br0cNVxM4dWJerM/HL83qY4VlUTs4roArIua78ttnEybjorueHxMK4NrYUQUZ0s698m9NKfpyP4iO3Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T17:26:18.737166Z"},"content_sha256":"fe36cace5871f3c93079de6228f7d80c8974b806b94b4a64bc2fac21c25bfcf7","schema_version":"1.0","event_id":"sha256:fe36cace5871f3c93079de6228f7d80c8974b806b94b4a64bc2fac21c25bfcf7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/bundle.json","state_url":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3IYEI7XRX67XQTXOF6BGX42POU/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-24T17:26:18Z","links":{"resolver":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU","bundle":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/bundle.json","state":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3IYEI7XRX67XQTXOF6BGX42POU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3IYEI7XRX67XQTXOF6BGX42POU","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":"4b754a087b5f463811386904514c81f07cc173a05755e35a90eeb102f194ff85","cross_cats_sorted":["cs.CE","q-bio.QM","q-bio.TO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-06T18:41:26Z","title_canon_sha256":"63aa5d539d34b02f63e9cdf4b78354778b6a1e607460996abfddfb63e350426d"},"schema_version":"1.0","source":{"id":"1407.1524","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.1524","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1407.1524v3","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1524","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"3IYEI7XRX67X","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3IYEI7XRX67XQTXO","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3IYEI7XR","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:fe36cace5871f3c93079de6228f7d80c8974b806b94b4a64bc2fac21c25bfcf7","target":"graph","created_at":"2026-05-18T02:43:08Z","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":"A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (\\eg, time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete) models, as many biological systems can possess multiple operational modes with specific continuous dynamics in each mode. These biological systems are naturally modeled as hybrid automata, most often with nonlinear continuous dynamics. However, hybrid automata are notoriously hard to analyze --- even simple reachability for hybrid systems with linear differential","authors_text":"Bing Liu, Edmund M. Clarke, Paolo Zuliani, Sicun Gao, Soonho Kong","cross_cats":["cs.CE","q-bio.QM","q-bio.TO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-06T18:41:26Z","title":"Parameter Synthesis for Cardiac Cell Hybrid Models Using Delta-Decisions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.1524","kind":"arxiv","version":3},"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:68f13309ab980c6f3f6e43db0a9f8a41203fbc2dd0d89b1dd5a3d14278dea6fa","target":"record","created_at":"2026-05-18T02:43:08Z","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":"4b754a087b5f463811386904514c81f07cc173a05755e35a90eeb102f194ff85","cross_cats_sorted":["cs.CE","q-bio.QM","q-bio.TO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-06T18:41:26Z","title_canon_sha256":"63aa5d539d34b02f63e9cdf4b78354778b6a1e607460996abfddfb63e350426d"},"schema_version":"1.0","source":{"id":"1407.1524","kind":"arxiv","version":3}},"canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","first_computed_at":"2026-05-18T02:43:08.968660Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:08.968660Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qqfI0bgwtCqm/2fGz+7S+ySoRG5HBqFLy1eVl8FPT/8hbn3jZXIgWeYxivy0JNJ9KrZBLE9NpOxl29cJeYo9Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:08.969047Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.1524","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:68f13309ab980c6f3f6e43db0a9f8a41203fbc2dd0d89b1dd5a3d14278dea6fa","sha256:fe36cace5871f3c93079de6228f7d80c8974b806b94b4a64bc2fac21c25bfcf7"],"state_sha256":"de3f9051dae9977ffcf66db8f03201bab5a45234d7be6b1aec76e7698566bfdd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"scOZ31ZfwyYqnyHZggzGNO46jrdD8FAlqNvQNgnKOjvkaO7qncFTPlIB1G4Oe/RVTd8BYlwJRVlWFOxG0GDTDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T17:26:18.740211Z","bundle_sha256":"df58c40a49c75d291813a386307bda9451fe23665dddb6a2a0671d8bce2af059"}}