{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:3IYEI7XRX67XQTXOF6BGX42POU","short_pith_number":"pith:3IYEI7XR","schema_version":"1.0","canonical_sha256":"da30447ef1bfbf784eee2f826bf34f752683f17010755312d51005a1d89cf3f1","source":{"kind":"arxiv","id":"1407.1524","version":3},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1407.1524","created_at":"2026-05-18T02:43:08.968716+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.1524v3","created_at":"2026-05-18T02:43:08.968716+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.1524","created_at":"2026-05-18T02:43:08.968716+00:00"},{"alias_kind":"pith_short_12","alias_value":"3IYEI7XRX67X","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"3IYEI7XRX67XQTXO","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"3IYEI7XR","created_at":"2026-05-18T12:28:11.866339+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU","json":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU.json","graph_json":"https://pith.science/api/pith-number/3IYEI7XRX67XQTXOF6BGX42POU/graph.json","events_json":"https://pith.science/api/pith-number/3IYEI7XRX67XQTXOF6BGX42POU/events.json","paper":"https://pith.science/paper/3IYEI7XR"},"agent_actions":{"view_html":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU","download_json":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU.json","view_paper":"https://pith.science/paper/3IYEI7XR","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.1524&json=true","fetch_graph":"https://pith.science/api/pith-number/3IYEI7XRX67XQTXOF6BGX42POU/graph.json","fetch_events":"https://pith.science/api/pith-number/3IYEI7XRX67XQTXOF6BGX42POU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/action/storage_attestation","attest_author":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/action/author_attestation","sign_citation":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/action/citation_signature","submit_replication":"https://pith.science/pith/3IYEI7XRX67XQTXOF6BGX42POU/action/replication_record"}},"created_at":"2026-05-18T02:43:08.968716+00:00","updated_at":"2026-05-18T02:43:08.968716+00:00"}