Logical Lyapunov functions for analysis of dynamic behavior of hybrid models of switching circuits.

P. K. Kuznetsov, A. V. Lakeyev, Stanislav N. Vassilyev

Browse the full SMC paper archive.