• DOI:10.1007/978-3-662-45231-8_30
Corpus ID: 7230471

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

@inproceedings{Bufo2014TemporalLB,
  title={Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients},
  author={S. Bufo and E. Bartocci and G. Sanguinetti and M. Borelli and U. Lucangelo and L. Bortolussi},
  booktitle={ISoLA},
  year={2014}
}

• S. Bufo, E. Bartocci, +3 authors L. Bortolussi
• Published in ISoLA 2014
• Computer Science

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 from data 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… Expand

View via Publisher

pure.ed.ac.uk

Save to Library

Create Alert

Cite

Launch Research Feed