1. Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P.-H. (1992). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems, 209–229.
2. On hybrid control of complex systems: A survey;Antsaklis,1998
3. Modelling and optimisation of general hybrid systems in the continuous time domain;Avraam;Computers and Chemical Engineering,1998
4. Disjunctive programming;Balas;Annals Discrete Mathematics,1979
5. Dynamic optimization in a discontinuous world;Barton;Industrial and Engineering Chemistry Research,1998