21 citations · 162 across the 25 of their papers we have counts for
4 papers · 1 filter
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
Tayyebe Haqiri, Federico Poloni
We describe a procedure based on the Krawczyk method to compute a verified enclosure for the stabilizing solution of a continuous-time algebraic Riccati equation bu…
Multivariate trend-cycle extraction with the Hodrick-Prescott filter
Federico Poloni, Giacomo Sbrana
The Hodrick-Prescott filter represents one of the most popular method for trend-cycle extraction in macroeconomic time series. In this paper we provide a multivariate generalizatio…
Iterative methods for the delay Lyapunov equation with T-Sylvester preconditioning
Elias Jarlebring, Federico Poloni
The delay Lyapunov equation is an important matrix boundary-value problem which arises as an analogue of the Lyapunov equation in the study of time-delay systems $\dot{x}(t) = A_0x…
Mutual Visibility by Luminous Robots Without Collisions
G. A. Di Luna, P. Flocchini, S. Gan Chaudhuri +3
Consider a finite set of identical computational entities that can move freely in the Euclidean plane operating in Look-Compute-Move cycles. Let p(t) denote the location of entity…