Related papers: Feedback equivalence and uniform ensemble reachabi…
In this paper, we consider families of linear systems (linear ensembles) defined by matrix pairs $\big( A(\theta),B(\theta) \big)$ depending on a parameter $\theta \in \p$ that is varying over a compact subset $\p$ of the complex plane. In…
This paper is concerned with linear parameter-dependent systems and considers the notion uniform ensemble reachability. The focus of this work is on constructive methods to compute suitable parameter-independent open-loop inputs for such…
It is proved that feedback classification of a linear system over a commutative von Neumann regular ring R can be reduced to the classification of a finite family of systems, each of which is properly split into a reachable and a…
Stabilization of linear control systems with parameter-dependent system matrices is investigated. A Riccati based feedback mechanism is proposed and analyzed. It is constructed by means of an ensemble of parameters from a training set. This…
Hybrid zonotopes generalize constrained zonotopes by introducing additional binary variables and possess some unique properties that make them convenient to represent nonconvex sets. This paper presents novel hybrid zonotope-based methods…
We investigate the task of controlling ensembles of initial and terminal state vectors of parameter-dependent linear systems by applying parameter-independent open loop controls. Necessary, as well as sufficient, conditions for ensemble…
Manipulation of the refractive index has been of growing interest lately. We consider parameters and possibilities of enhancing the absolute-value limit of the linear index in coherent atomic systems. Starting with a review of how two-level…
Two trace formulas for the spectra of arbitrary Hermitian matrices are derived by transforming the given Hermitian matrix $H$ to a unitary analogue. In the first type the unitary matrix is $e^{i(\lambda\II - H)}$ where $\lambda$ is the…
We shift the paradigm of feedback control from the control of quantum states to the control of phase transitions in quantum systems. We show that feedback allows tuning the universality class of phase transitions via modifying its critical…
Many indefinite-metric (often called pseudo-Hermitian or PT-symmetric) quantum models H prove "physical" (i.e., Hermitian with respect to an innovated, ad hoc scalar product) inside a characteristic domain of parameters D. This means that…
In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast…
Suitable reachability conditions can make two different fixed point semantics of a transition system coincide. For instance, the total and partial expected reward semantics on Markov chains (MCs) coincide whenever the MC at hand is almost…
A list $\Lambda =\{\lambda _{1},\ldots ,\lambda _{n}\}$ of complex numbers (repeats allowed) is said to be \textit{realizable} if it is the spectrum of an entrywise nonnegative matrix $A$. $\Lambda $ is \textit{diagonalizably realizable} if…
This paper considers output reachability analysis for linear time-invariant systems with unknown state-space matrices and unknown observation map, given only noisy input-output measurements. The Cayley--Hamilton theorem is applied to…
We address the feedback design problem for switched linear systems. In particular we aim to design a switched state-feedback such that the resulting closed-loop subsystems share the same eigenstructure. To this effect we formulate and…
In this paper, we study the reachability of two closely related matrices appearing in the analysis of linear time-varying (LTV) systems over a finite time interval, namely, its closed-loop state transition matrix via a state feedback…
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space models, we present the first methods to compute reachable sets…
This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain parameters. We first prove the equivalence between an existing…
The Jordan structure of finite-dimensional quantum theory is derived, in a conspicuously easy way, from a few simple postulates concerning abstract probabilistic models (each defined by a set of basic measurements and a convex set of…
Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is probably that current approaches are not push-button-capable…