Mechatronic model and simulation of a pneumatic digital solenoid valve