H Li, N Li, LL Wang - Proceedings of the 29th Chinese Control …, 2010 - ieeexplore.ieee.org
The mode of MLD was introduced, which is a potential tool for modeling hybrid systems. The
basic theory and methods of translating hybrid system to MLD formal was given, and the …