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: This paper studies the control-oriented recursive identification of finite impulse response systems with binary-valued observations. Inspired by the Maximum Likelihood method, a novel ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback