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
- Medicine, Computer Science
- CMSB
- 2019
- 2
- PDF
Quantitative Regular Expressions for Arrhythmia Detection
- Computer Science, Medicine
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
- 2019
- 8
- PDF
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
- Computer Science
- QEST
- 2018
- 20
- PDF
Online Learning of Temporal Logic Formulae for Signal Classification
- Computer Science
- 2018 European Control Conference (ECC)
- 2018
- 4
A Decision Tree Approach to Data Classification using Signal Temporal Logic
- Computer Science, Mathematics
- HSCC
- 2016
- 68
- PDF
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
- Computer Science
- RV
- 2018
- 2
References
SHOWING 1-10 OF 46 REFERENCES
Automated detection of asynchrony in patient-ventilator interaction
- Medicine
- 2009 Annual International Conference of the IEEE Engineering in Medicine and Biology Society
- 2009
- 18
Automatic detection of ineffective triggering and double triggering during mechanical ventilation
- Medicine
- Intensive Care Medicine
- 2007
- 71
Validation of the Better Care® system to detect ineffective efforts during expiration in mechanically ventilated patients: a pilot study
- Medicine
- Intensive Care Medicine
- 2012
- 87
An automated and standardized neural index to quantify patient-ventilator interaction
- Medicine
- Critical Care
- 2013
- 75
Patient–ventilator asynchrony during non-invasive ventilation for acute respiratory failure: a multicenter study
- Medicine
- Intensive Care Medicine
- 2009
- 228
- PDF
A Noninvasive Method to Identify Ineffective Triggering in Patients with Noninvasive Pressure Support Ventilation
- Medicine
- Respiration
- 2009
- 19
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
- Mathematics, Computer Science
- ArXiv
- 2013
- 19
- PDF
Identifying and relieving asynchrony during mechanical ventilation
- Medicine
- Expert review of respiratory medicine
- 2009
- 9
Detecting ineffective triggering in the expiratory phase in mechanically ventilated patients based on airway flow and pressure deflection: Feasibility of using a computer algorithm*
- Medicine
- Critical care medicine
- 2008
- 52
Patient-ventilator asynchrony during assisted mechanical ventilation
- Medicine
- Intensive Care Medicine
- 2006
- 624
- PDF