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

Abstract: To further enhance the nonlinear and cryptographic properties of chaotic S-boxes, a novel S-box design is proposed based on the discrete chaotic map and improved artificial bee colony ...