We define two functions f and g on the unit interval [0, 1] to be strongly conjugate $\operatorname {iff}$ there is an order-preserving homeomorphism h of [0, 1] such that g = h -1 fh (a minor ...

We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov functions we ...

This paper proposes sum-of-squares (SOS) methodologies for stability analysis and region-of-attraction (ROA) estimation for nonlinear systems represented by polynomial fuzzy models via piecewise ...