-
Isospectral flows on a class of finite-dimensional Jacobi matrices
Abstract: We present a new matrix-valued isospectral ordinary differential equation that asymptotically block-diagonalizes $n\times n$ zero-diagonal Jacobi matrices employed as its initial condition. This o.d.e.\ features a right-hand side with a nested commutator of matrices, and structurally resembles the double-bracket o.d.e.\ studied by R.W.\ Brockett in 1991. We prove that its solutions converge asympt… ▽ More
Submitted 15 November, 2012; v1 submitted 8 February, 2012; originally announced February 2012.
Comments: 19 pages, 3 figures, conjecture from previous version is added as assertion (iv) of the main theorem including a proof; other major changes
MSC Class: 37C10
Journal ref: Systems & Control Letters, Vol. 62, No. 5, pp. 388-394, 2013
-
On mean-square boundedness of stochastic linear systems with quantized observations
Abstract: We propose a procedure to design a state-quantizer with finitely many bins for a marginally stable stochastic linear system evolving in $\R^d$, and a bounded policy based on the resulting quantized state measurements to ensure bounded second moment in closed-loop.
Submitted 20 April, 2011; v1 submitted 25 March, 2011; originally announced March 2011.
Comments: 4 pages, 2 fig
MSC Class: 93E15
-
Stochastic receding horizon control with output feedback and bounded control inputs
Abstract: We provide a solution to the problem of receding horizon control for stochastic discrete-time systems with bounded control inputs and imperfect state measurements. For a suitable choice of control policies, we show that the finite-horizon optimization problem to be solved on-line is convex and successively feasible. Due to the inherent nonlinearity of the feedback loop, a slight extension of the… ▽ More
Submitted 14 April, 2010; v1 submitted 18 January, 2010; originally announced January 2010.
Comments: 25 pages, 4 figures
-
On the well-posedness of multivariate spectrum approximation and convergence of high-resolution spectral estimators
Abstract: In this paper, we establish the well-posedness of the generalized moment problems recently studied by Byrnes-Georgiou-Lindquist and coworkers, and by Ferrante-Pavon-Ramponi. We then apply these continuity results to prove almost sure convergence of a sequence of high-resolution spectral estimators indexed by the sample size.
Submitted 2 November, 2009; originally announced November 2009.
-
On the convergence of an efficient algorithm for Kullback-Leibler approximation of spectral densities
Abstract: This paper deals with a method for the approximation of a spectral density function among the solutions of a generalized moment problem a` la Byrnes/Georgiou/Lindquist. The approximation is pursued with respect to the Kullback-Leibler pseudo-distance, which gives rise to a convex optimization problem. After develo** the variational analysis, we discuss the properties of an efficient algorithm… ▽ More
Submitted 2 November, 2009; originally announced November 2009.
-
On the connections between PCTL and Dynamic Programming
Abstract: Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking. In this paper, we give a definition of PCTL for noncountable-space Markov chains, and we show that there is a substantial affinity between certain of its operators and problems of Dynamic P… ▽ More
Submitted 25 October, 2009; originally announced October 2009.
Comments: Submitted
MSC Class: 60J10
Journal ref: HSCC Stockholm, 2010, pages 253-262
-
Attaining mean square boundedness of a marginally stable noisy linear system with a bounded control input
Abstract: We construct control policies that ensure bounded variance of a noisy marginally stable linear system in closed-loop. It is assumed that the noise sequence is a mutually independent sequence of random vectors, enters the dynamics affinely, and has bounded fourth moment. The magnitude of the control is required to be of the order of the first moment of the noise, and the policies we obtain are si… ▽ More
Submitted 26 January, 2010; v1 submitted 9 July, 2009; originally announced July 2009.
Comments: 10 pages
MSC Class: 93E15
Journal ref: IEEE Transactions on Automatic Control, Vol 55, No. 10, pp. 2414-2418, 2010
-
A globally convergent matricial algorithm for multivariate spectral estimation
Abstract: In this paper, we first describe a matricial Newton-type algorithm designed to solve the multivariable spectrum approximation problem. We then prove its global convergence. Finally, we apply this approximation procedure to multivariate spectral estimation, and test its effectiveness through simulation. Simulation shows that, in the case of short observation records, this method may provide a val… ▽ More
Submitted 29 September, 2008; originally announced September 2008.
-
Hellinger vs. Kullback-Leibler multivariable spectrum approximation
Abstract: In this paper, we study a matricial version of the Byrnes-Georgiou-Lindquist generalized moment problem with complexity constraint. We introduce a new metric on multivariable spectral densities induced by the family of their spectral factors which, in the scalar case, reduces to the Hellinger distance. We solve the corresponding constrained optimization problem via duality theory. A highly nontr… ▽ More
Submitted 8 February, 2007; originally announced February 2007.
Comments: 32 pages, 1 figure