Abstract: This article presents an explicit reference governor (ERG) design method, which incorporates a control barrier function (CBF) and considers both nonconvex and convex constraints in different ...
Abstract: This paper presents an exponential analysis technique for synthesizing a sparse non-uniform linear array using equidistant samples of the array factor of a dense uniform linear array. The ...
Bottom-up interprocedural methods of program analysis construct summary flow functions for procedures to capture the effect of their calls and have been used effectively for many analyses. However, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results