Temporal logic based monitoring of assisted ventilation in intensive care patients

Abstract

We introduce a novel approach to automatically detect ineffective breathing efforts in patients in intensive care subject to assisted ventilation. The method is based on synthesising fromdata temporal logic formulae which are able to discriminate between normal and ineffective breaths. The learning procedure consists in first constructing statistical models of normal and abnormal breath signals, and then in looking for an optimally discriminating formula. The space of formula structures, and the space of parameters of each formula, are searched with an evolutionary algorithmand with aBayesian optimisation scheme, respectively.We present here our preliminary results and we discuss our future research directions.