We define a notion of diagnosability for hybrid automata, which generalizes the notion of observability. We propose a procedure to check diagnosability on a given hybrid automaton, and show that the complexity of the verification problem is in PTIME. We apply our procedure to an electromagnetic valve system for camless engines. This paper, because of space limitations, only summarizes the obtai...

We consider an electrohydraulic valve system (EHVS) model with uncertain parameters that may possibly vary with time. This is a nonlinear third order system consisting of two clearly separated subsystems, one for the piston position and the other for the chamber pressure. The nonlinearities involved are flow-pressure characteristics of the solenoid valves, the pressure dynamics of the chamber d...

This experimental work was concerned with comparison of inlet valve actuation strategies in a thermodynamic single cylinder spark ignition research engine equipped with a mechanical fully variable valvetrain on both the inlet and exhaust. The research involved study of the effects of the valvetrain on combustion, fuel economy and emissions when used to achieve variable valve timing alone and wh...