Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification

Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell +2

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 s…