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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback