Our previous work studied a size-aware type system for functional programs with non-monotonic polynomial size dependencies. In that approach output sizes depended only on input sizes. That is rather restrictive since in many cases the size of the output can differ for different input data of the same size. In this paper we remove that limitation by presenting value-sensitive size dependencies v...

This paper considers the problem of solving parameter-dependent Riccati equations. In this paper, a tractable iterative scheme involving mainly additions and multiplications is developed for finding solutions to arbitrary accuracy. It is first presented in the parameter-independent case and then extended to the parametric case. It hinges upon two results: (i) a palindromic quadratic polynomial ...

This paper presents an LMI based design method for static output feedback controllers with a guaranteed H2 performance. The method can be applied to a class of continuous-time linear systems with either rational or polynomial parameter dependence, provided that the parameters and their rate of variation are bounded by a given polytope. Stability as well as a H2 performance bound are guaranteed ...

In this paper, we propose a class of parameterdependent Lyapunov functions which can be used to assess the stability properties of linear, time-invariant, single-parameter dependent (LTIPD) systems in a non-conservative manner. It is shown that stability of LTIPD systems is equivalent to the existence of a Lyapunov function of a polynomial type (in terms of the parameter) of known, bounded degr...