A method to construct P-type Lyapunov function of model-based fuzzy system | IEEE Conference Publication | IEEE Xplore