ABZ 2024 (Bergamo, Italy)

10th International Conference on Rigorous State-Based Methods

Mechanical Lung Ventilator (ABZ 2024)

This document presents the case study for ABZ 2024 conference. The case study introduces Mechanical Lung Ventilator (MLV). The MLV is intended to provide ventilation support for patients that require mechanical ventilation in two operative modes: Pressure Controlled Ventilation (PCV) and Pressure Support Ventilation (PSV).