Abstract: Hardware verification is crucial to ensure the cor-rectness in the logic design of digital circuits. The purpose of verification is to either find bugs or show their absence. Prior works ...
Abstract: We propose an automatic and formally sound method for synthesising Lyapunov functions for the asymptotic stability of autonomous non-linear systems. Traditional methods are either analytical ...
For best results, download and open this form in Adobe Reader. See General information for details.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results