A comprehensive mathematical theory and optimized design of a high-frequency electro-pneumatic variable valve actuator for a camless IC engine | Synapse