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}
}
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
40 Citations
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors
  • 2
  • PDF
Quantitative Regular Expressions for Arrhythmia Detection
  • 8
  • PDF
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
  • 20
  • PDF
Online Learning of Temporal Logic Formulae for Signal Classification
  • 4
A Decision Tree Approach to Data Classification using Signal Temporal Logic
  • 68
  • PDF
Regular Expressions for Irregular Rhythms
  • 2
  • PDF
Efficient Parametric Identification for STL
  • 18
  • PDF
...
1
2
3
4
...

References

SHOWING 1-10 OF 46 REFERENCES
Automated detection of asynchrony in patient-ventilator interaction
  • Q. Mulqueeny, Stephen J. Redmond, +6 authors N. Lovell
  • Medicine
  • 2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society
  • 2009
  • 18
An automated and standardized neural index to quantify patient-ventilator interaction
  • 75
Patient–ventilator asynchrony during non-invasive ventilation for acute respiratory failure: a multicenter study
  • 228
  • PDF
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
  • 19
  • PDF
Identifying and relieving asynchrony during mechanical ventilation
  • 9
Patient-ventilator asynchrony during assisted mechanical ventilation
  • 624
  • PDF
...
1
2
3
4
5
...