Related papers: Feedback equivalence and uniform ensemble reachabi…
We investigate the impacts of combination of fermion-fermion interactions and impurity scatterings on the low-energy stabilities of two-dimensional asymmetric materials with a quadratic band crossing point by virtue of the renormalization…
The sequential compactness afforded hybrid systems under mild regularity constraints guarantee outer/upper semicontinuous dependence of solutions on initial conditions and perturbations. For reachable sets of hybrid systems, this property…
We propose a method for checking generalized reachability properties in Petri nets that takes advantage of structural reductions and that can be used, transparently, as a pre-processing step of existing model-checkers. Our approach is based…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
We give a simple and unified proof showing that the unrestricted wreath product of a weakly sofic, sofic, linear sofic, or hyperlinear group by an amenable group is weakly sofic, sofic, linear sofic, or hyperlinear, respectively. By means…
A list $\Lambda =\{\lambda _{1},\lambda_{2},\ldots ,\lambda _{n}\}$ of complex numbers is said to be realizable if it is the spectrum of an entrywise nonnegative matrix. The list $\Lambda $ is said to be universally realizable…
Hermite-Pad\'e approximants of type II are vectors of rational functions with common denominator that interpolate a given vector of power series at infinity with maximal order. We are interested in the situation when the approximated vector…
In Bayesian multilevel models, the data are structured in interconnected groups, and their posteriors borrow information from one another due to prior dependence between latent parameters. However, little is known about the behaviour of the…
We have investigated the unitarity violation scale of a non-minimally coupled scalar field with quartic self-coupling. This model is widely studied in the literature but the estimation of the unitarity violation scale has not been…
We construct commuting transfer matrices for models describing the interaction between a single quantum spin and a single bosonic mode using the quantum inverse scattering framework. The transfer matrices are obtained from certain…
In this work, we propose a new framework for reachable set computation through continuous evolution of a set of parameters and offsets which define a parametope, through the intersection of constraints. This results in a dynamical approach…
We consider discrete ensembles of linear, scalar control systems with single-inputs. Assuming that all the individual systems are unstable, we investigate whether there exist linear feedback control laws that can asymptotically stabilize…
We consider a notion of balanced metrics for triples (X,L,E) which depend on a parameter \alpha, where X is smooth complex manifold with an ample line bundle L and E is a holomorphic vector bundle over X. For generic choice of \alpha, we…
We present a novel class of real symmetric matrices in arbitrary dimension $d$, linearly dependent on a parameter $x$. The matrix elements satisfy a set of nontrivial constraints that arise from asking for commutation of pairs of such…
Hybrid Rebeca is a modeling framework for asynchronous event-based cyber-physical systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non-deterministic time behavior. Besides the syntactical extension, we…
This paper introduces and solves a structural controllability problem for ensembles of switched linear systems. All individual systems in the ensemble are sparse and governed by the same sparsity pattern, and undergo switching among…
The procedure for obtaining integrable vertex models via reflection matrices on the square lattice with open boundaries is reviewed and explicitly carried out for a number of two- and three-state vertex models. These models include the…
Many experimentally-accessible, finite-sized interacting quantum systems are most appropriately described by the canonical ensemble of statistical mechanics. Conventional numerical simulation methods either approximate them as being coupled…
Reachability analysis, in general, is a fundamental method that supports formally-correct synthesis, robust model predictive control, set-based observers, fault detection, invariant computation, and conformance checking, to name but a few.…
We introduce a novel technique for checking reachability in Petri nets that relies on a recently introduced compositional algebra of nets. We prove that the technique is correct, and discuss our implementation. We report promising…