Related papers: Feedback classification of linear systems over von…
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Important properties of this framework are investigated, and a…
In this paper we generalize the canonical positive scaling of rows and columns of a matrix to the scaling of selected-rank subtensors of an arbitrary tensor. We expect our results and framework will prove useful for sparse-tensor completion…
We present a new type of feedback linearization that is tailored for mechanical control systems. We call it a mechanical feedback linearization. Its basic feature is preservation of the mechanical structure of the system. For mechanical…
We exhibit an explicit, deterministic algorithm for finding a canonical form for a positive definite matrix under unimodular integral transformations. We use characteristic sets of short vectors and partition-backtracking graph software.…
In this paper we describe an algorithm for the computation of canonical forms of finite subsets of $\mathbb{Z}^d$, up to affinities over $\mathbb{Z}$. For fixed dimension $d$, this algorithm has worst-case asymptotic complexity $O(n \log^2…
We investigate feedback forms for linear time-invariant systems described by differential-algebraic equations. Feedback forms are representatives of certain equivalence classes. For example state space transformations, invertible…
This paper presents the complete classification of E_0-semigroups by product systems in the case of von Neumann correspondences, and under countability assumptions in the case of C*-correspondences.
One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corresponding to a (known) control action. This approach…
Results on matrix canonical forms are used to give a complete description of the higher rank numerical range of matrices arising from the study of quantum error correction. It is shown that the set can be obtained as the intersection of…
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…
We study controlled systems which are uniformly observable and differentially observable with an order larger than the system state dimension. We establish that they may be transformed into a (partial) triangular canonical form but with…
Standard Bayesian approaches for linear time-invariant (LTI) system identification are hindered by parameter non-identifiability; the resulting complex, multi-modal posteriors make inference inefficient and impractical. We solve this…
This paper addresses the resilience of large-scale closed-loop structured systems in the sense of arbitrary pole placement when subject to failure of feedback links. Given a structured system with input, output, and feedback matrices, we…
As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability…
We construct a family of semiprimitive and non von Neumann regular rings satisfying that any right or left module is isomorphic to a quotient of its flat cover (in the sense of Enochs) by a small submodule. This answers in the negative a…
We consider the problem of output feedback controller sparsification for systems with parametric uncertainties. We develop an optimization scheme that minimizes the performance deterioration caused by the sparsification process, while…
We prove the following results regarding the linear solvability of networks over various alphabets. For any network, the following are equivalent: (i) vector linear solvability over some finite field, (ii) scalar linear solvability over…
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…
A control system $\dot{q} = f(q,u)$ is said to be trivializable if there exists local coordinates in which the system is feedback equivalent to a control system of the form $\dot{q} = f(u)$. In this paper we characterize trivializable…
We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources…