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 article addresses adaptive fixed-time event-triggered asymptotic tracking control problem for nonlinear switched systems under arbitrary switching. By adding exponential terms with ...
The --taint-intrafile flag enables cross-function taint analysis within a single file. This allows Opengrep to track how taint flows through function calls, method invocations, object constructors, ...
This repository implements ECP algorithm for solving non-convex black-box global optimization problems, as introduced in Every Call is Precious: Global Optimization of Black-Box Functions with Unknown ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results