Abstract: A recent approach uses linear programming (LP) to compute continuous and piecewise affine (CPA) Lyapunov functions for arbitrary switched linear systems. Such a Lyapunov function is a common ...
Ruptura provides a set of libraries that make it easy to inject a managed .NET assembly into arbitrary Windows (and Wine) processes for the purposes of function hooking and memory manipulation.