DOI,IST REx ID,Title of publication
10.1016/S0304-3975(99)00038-9,4442,Discrete-time control for rectangular hybrid automata