Modelling, simulation and control of hybrid system integrating logic, dynamics, and constraints using hybrid automaton, APROS and mixed integer quadratic optimization algorithm | IEEE Conference Publication | IEEE Xplore