Matches in SemOpenAlex for { <https://semopenalex.org/work/W2797844701> ?p ?o ?g. }
- W2797844701 abstract "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 the resulting safety system may be conservative for systems that do not exhibit the worst-case dynamical response. In this work, we employ model falsification to reduce conservatism of the model-invariant safety system. Members of a model set that characterizes model- uncertainty are falsified if discrepancy between predictions of those models and measured responses of the uncertain system is established, thereby reducing model uncertainty. We show that including falsification in a model-invariant safety system reduces conservatism of the safety system." @default.
- W2797844701 created "2018-04-24" @default.
- W2797844701 creator A5005548548 @default.
- W2797844701 creator A5009577016 @default.
- W2797844701 creator A5033604044 @default.
- W2797844701 creator A5064659126 @default.
- W2797844701 creator A5086488324 @default.
- W2797844701 date "2018-04-18" @default.
- W2797844701 modified "2023-09-27" @default.
- W2797844701 title "Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification." @default.
- W2797844701 cites W1569692898 @default.
- W2797844701 cites W1577525693 @default.
- W2797844701 cites W1726255445 @default.
- W2797844701 cites W1971641763 @default.
- W2797844701 cites W1994955742 @default.
- W2797844701 cites W1995868518 @default.
- W2797844701 cites W2004312358 @default.
- W2797844701 cites W2013641588 @default.
- W2797844701 cites W2055618961 @default.
- W2797844701 cites W2060357972 @default.
- W2797844701 cites W2080813827 @default.
- W2797844701 cites W2085744412 @default.
- W2797844701 cites W2109569369 @default.
- W2797844701 cites W2112876741 @default.
- W2797844701 cites W2122171313 @default.
- W2797844701 cites W2122512060 @default.
- W2797844701 cites W2122645804 @default.
- W2797844701 cites W2127192854 @default.
- W2797844701 cites W2127520982 @default.
- W2797844701 cites W2137164841 @default.
- W2797844701 cites W2141517031 @default.
- W2797844701 cites W2141993744 @default.
- W2797844701 cites W2143560345 @default.
- W2797844701 cites W2148062754 @default.
- W2797844701 cites W2162067857 @default.
- W2797844701 cites W2340889252 @default.
- W2797844701 cites W2488066718 @default.
- W2797844701 cites W2773562780 @default.
- W2797844701 cites W2896732217 @default.
- W2797844701 cites W584400962 @default.
- W2797844701 hasPublicationYear "2018" @default.
- W2797844701 type Work @default.
- W2797844701 sameAs 2797844701 @default.
- W2797844701 citedByCount "0" @default.
- W2797844701 crossrefType "posted-content" @default.
- W2797844701 hasAuthorship W2797844701A5005548548 @default.
- W2797844701 hasAuthorship W2797844701A5009577016 @default.
- W2797844701 hasAuthorship W2797844701A5033604044 @default.
- W2797844701 hasAuthorship W2797844701A5064659126 @default.
- W2797844701 hasAuthorship W2797844701A5086488324 @default.
- W2797844701 hasConcept C121332964 @default.
- W2797844701 hasConcept C149782125 @default.
- W2797844701 hasConcept C154945302 @default.
- W2797844701 hasConcept C17744445 @default.
- W2797844701 hasConcept C190470478 @default.
- W2797844701 hasConcept C199539241 @default.
- W2797844701 hasConcept C2775924081 @default.
- W2797844701 hasConcept C33923547 @default.
- W2797844701 hasConcept C37914503 @default.
- W2797844701 hasConcept C41008148 @default.
- W2797844701 hasConcept C47446073 @default.
- W2797844701 hasConcept C62520636 @default.
- W2797844701 hasConcept C79379906 @default.
- W2797844701 hasConcept C94625758 @default.
- W2797844701 hasConcept C96640997 @default.
- W2797844701 hasConceptScore W2797844701C121332964 @default.
- W2797844701 hasConceptScore W2797844701C149782125 @default.
- W2797844701 hasConceptScore W2797844701C154945302 @default.
- W2797844701 hasConceptScore W2797844701C17744445 @default.
- W2797844701 hasConceptScore W2797844701C190470478 @default.
- W2797844701 hasConceptScore W2797844701C199539241 @default.
- W2797844701 hasConceptScore W2797844701C2775924081 @default.
- W2797844701 hasConceptScore W2797844701C33923547 @default.
- W2797844701 hasConceptScore W2797844701C37914503 @default.
- W2797844701 hasConceptScore W2797844701C41008148 @default.
- W2797844701 hasConceptScore W2797844701C47446073 @default.
- W2797844701 hasConceptScore W2797844701C62520636 @default.
- W2797844701 hasConceptScore W2797844701C79379906 @default.
- W2797844701 hasConceptScore W2797844701C94625758 @default.
- W2797844701 hasConceptScore W2797844701C96640997 @default.
- W2797844701 hasLocation W27978447011 @default.
- W2797844701 hasOpenAccess W2797844701 @default.
- W2797844701 hasPrimaryLocation W27978447011 @default.
- W2797844701 hasRelatedWork W1834130089 @default.
- W2797844701 hasRelatedWork W2019474460 @default.
- W2797844701 hasRelatedWork W2106072518 @default.
- W2797844701 hasRelatedWork W2110994648 @default.
- W2797844701 hasRelatedWork W2182484640 @default.
- W2797844701 hasRelatedWork W2316086337 @default.
- W2797844701 hasRelatedWork W2392226846 @default.
- W2797844701 hasRelatedWork W2626784874 @default.
- W2797844701 hasRelatedWork W2939601966 @default.
- W2797844701 hasRelatedWork W2951241837 @default.
- W2797844701 hasRelatedWork W2954263812 @default.
- W2797844701 hasRelatedWork W2967905384 @default.
- W2797844701 hasRelatedWork W2974207853 @default.
- W2797844701 hasRelatedWork W3013900282 @default.
- W2797844701 hasRelatedWork W3014042344 @default.
- W2797844701 hasRelatedWork W3154733788 @default.
- W2797844701 hasRelatedWork W3197240003 @default.