in this paper, a new smooth second order sliding mode control is proposed. this algorithm is a modified form of super twisting algorithm. the super twisting guarantees the asymptotic stability, but the finite time stability of proposed method is proved with introducing a new particular lyapunov function. the proposed algorithm which is able to control nonlinear systems with matched structured u...

We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of order 9 or less. Our approach is novel, using computer algebra to break symmetry and constraint satisfaction search to find candidate solutions. We present new results in algebraic combinatorics: up to isomorphism and ant...