{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:XA7FWYROD5C54WZSTS3ZAEKSFB","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":"56b44ed3f4082629e209682320ae7c0f5a6cf3a05ca4df02532461e08216a9fe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T22:52:16Z","title_canon_sha256":"9d8f0f7ddd0c074b836d37d92b8fb076e21badb60f75bdb7f0afad8552343ebb"},"schema_version":"1.0","source":{"id":"1804.06941","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.06941","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"1804.06941v1","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.06941","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"XA7FWYROD5C5","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"XA7FWYROD5C54WZS","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"XA7FWYRO","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:4dcadcc9ac3a065e510828cf6530d20057ef92fb3532ad7fead2a6b3a47eb86d","target":"graph","created_at":"2026-05-18T00:18:04Z","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":"This work provides a formalized model-invariant safety system for closed-loop anesthesia that uses feedback from measured data for model falsification to reduce conservatism. The safety system maintains predicted propofol plasma concentrations, as well as the patient's blood pressure, within safety bounds despite uncertainty in patient responses to propofol. Model-invariant formal verification is used to formalize the safety system. This technique requires a multi-model description of model-uncertainty. Model-invariant verification considers all possible dynamics of an uncertain system, and th","authors_text":"Guy A. Dumont, Ian M. Mitchell, J. Mark Ansermino, Klaske van Heusden, Mahdi Yousefi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T22:52:16Z","title":"Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.06941","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:1d0fd09741508a218af7eafb86246feee70e4ab435580b0f02093b84f16cebe3","target":"record","created_at":"2026-05-18T00:18:04Z","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":"56b44ed3f4082629e209682320ae7c0f5a6cf3a05ca4df02532461e08216a9fe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SY","submitted_at":"2018-04-18T22:52:16Z","title_canon_sha256":"9d8f0f7ddd0c074b836d37d92b8fb076e21badb60f75bdb7f0afad8552343ebb"},"schema_version":"1.0","source":{"id":"1804.06941","kind":"arxiv","version":1}},"canonical_sha256":"b83e5b622e1f45de5b329cb79011522872b1a0522caa40a63f1a4776fa97ae34","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b83e5b622e1f45de5b329cb79011522872b1a0522caa40a63f1a4776fa97ae34","first_computed_at":"2026-05-18T00:18:04.718484Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:04.718484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ICutXArFOMwgMGovmeGYuqBKsQLGtpp1p9DoW3gzddlMqWY9HUMk5yK+wXOCKTApgLMQM4EyuShB4rdtwVTQAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:04.719002Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.06941","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d0fd09741508a218af7eafb86246feee70e4ab435580b0f02093b84f16cebe3","sha256:4dcadcc9ac3a065e510828cf6530d20057ef92fb3532ad7fead2a6b3a47eb86d"],"state_sha256":"3dc9c97aaebbadf61ee20079a572a936c7ad0e11c2afb6e6180dd996deb961a1"}