As an important approach to analyzing safety of a dynamic system, this paper considers the task of computing overapproximations of reachable sets, i.e. the set of states which is reachable from a given initial set of states. The class of systems under investigation are linear, time-invariant systems with parametric uncertainties and uncertain but bounded input. The possible set of system matric...

In this paper, we introduce a new entropy-like invariant, named Hausdorff metric entropy, for finitely generated semigroups acting on compact metric spaces from a set-valued view and study its properties. We establish the relation between Hausdorff metric entropy and topological entropy of a semigroup defined by Bis. Some examples with positive or zero Hausdorff metric entropy are given. Moreov...

This paper focuses on the problems of a diagonal common quadratic Lyapunov function (DCQLF) existence for sets of stable positive linear time-invariant (LTI) systems. We derive the equivalent algebraic conditions to verify the existence of a DCQLF, namely that the finite number Hurwitz Mezler matrices at least have a common diagonal Stein solution. Finally some reduced cases are considered. 201...

We prove the existence of the double scaling limit for unitary invariant ensembles of random matrices with non analytic potentials. The limiting reproducing kernel is expressed in terms of solutions of the Dirac system of differential equations with a potential defined by the Hastings-McLeod solution of the Painleve II equation. Our approach is based on the construction of the perturbation expa...

in this study, a new and ecient approach is presented for numerical solution offredholm integro-dierential equations (fides) of the second kind on unbounded domainwith degenerate kernel based on operational matrices with respect to generalized laguerrepolynomials(glps). properties of these polynomials and operational matrices of integration,dierentiation are introduced and are ultilized to r...

We consider spectral functions f ◦ λ, where f is any permutation-invariant mapping from Cn to R, and λ is the eigenvalue map from the set of n × n complex matrices to Cn , ordering the eigenvalues lexicographically. For example, if f is the function “maximum real part”, then f ◦ λ is the spectral abscissa, while if f is “maximum modulus”, then f ◦ λ is the spectral radius. Both these spectral f...

Voiculescu’s asymptotic freeness result for random matrices is improved to the sense of almost everywhere convergence. The asymptotic freeness almost everywhere is first shown for standard unitary matrices based on the computation of multiple moments of their entries, and then it is shown for rather general unitarily invariant selfadjoint random matrices (in particular, standard selfadjoint Gau...

Hamiltonian matrices with respect to a nondegenerate skewsymmetric or skewhermitian indefinite inner product in finite dimensional real, complex, or quaternion vector spaces are studied. Subspaces that are simultaneously invariant for the matrices and neutral in the indefinite inner product are of special interest. The dimension of maximal (by inclusion) such subspaces is identified in terms of...

We consider a standard matrix ow on the set of unitary upper Hessenberg matrices with nonnegative subdiagonal elements. The Schur parametrization of this set of matrices leads to ordinary diier-ential equations for the weights and the parameters that are analogous with the Toda ow as identiied with a ow on Jacobi matrices. We derive explicit diierential equations for the ow on the Schur paramet...