Edinburgh Research Explorer

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Sara Bufo
  • Ezio Bartocci
  • Guido Sanguinetti
  • Massimo Borelli
  • Umberto Lucangelo
  • Luca Bortolussi

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Subtitle of host publication6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages13
ISBN (Electronic)978-3-662-45231-8
ISBN (Print)978-3-662-45230-1
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


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 the space of parameters of each formula, are searched with an evolutionary algorithm and with a Bayesian optimisation scheme, respectively. We present here our preliminary results and we discuss our future research directions.

Download statistics

No data available

ID: 24619024