Related papers: Topological equivalence canonical forms for linear…
We show that the stability problem and the problem of constructing Barabanov norms can be resolved for planar linear switching systems in an explicit form. This can be done for every compact control set of $2 \times 2$ matrices. If the…
Many systems of interest to control engineering can be modeled by linear complementarity problems. We introduce a new notion of equivalence between linear complementarity problems that sets the basis to translate the powerful tools of…
Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…
Systems whose variable are constrained to be positive allow computationally efficient control design. We generalize these results to linear systems which leave a cone invariant. This is a wider class of systems than positive systems. We…
In this work, the null controllability problem for a linear system in $\ell^2$ is considered, where the matrix of a linear operator describing the system is an infinite matrix with $\lambda\in \mathbb R$ on the main diagonal and 1s above…
There is a lack of knowledge about the topological invariants of non-linear $d$-dimensional systems with a periodic potential. We study these systems through a classification of the linearized NLS/GP equation around their soliton solutions.…
Given a linear control system in a Hilbert space with a bounded control operator, we establish a characterization of exponential stabilizability in terms of an observability inequality. Such dual characterizations are well known for exact…
Linear topological spaces with partial ordering (linear kinematics) are studied. They are defined by a set of 8 axioms implying that topology, linear structure and ordering are compatible with each other. Most of the results are valid for…
In a compact topological dynamical system $(X,f)$, we associate to every pair $(x,y)$ a canonical order-theoretic invariant, its emergent order spectrum $\Omega(x,y)$. We first prove that, if $x$ and $y$ are chain-related, one can always…
We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.
Exponential dichotomies play a central role in stability theory for dynamical systems. They allow to split the state space into two subspaces, where all trajectories in one subspace decay whereas all trajectories in the other subspace grow,…
The influence of time-dependent perturbations on an autonomous Hamiltonian system with an equilibrium of center type is considered. It is assumed that the perturbations decay at infinity in time and vanish at the equilibrium of the…
Many navigation problems can be formulated as observer design on linear observed systems with a two-frame group structure, on which an invariant filter can be implemented with guaranteed consistency and stability. It's still unclear how…
Flexible mechanical metamaterials possess repeating structural motifs that imbue them with novel, exciting properties including programmability, anomalous elastic moduli and nonlinear and robust response. We address such structures via…
We investigate various types of symmetries and their mutual relationships in Hamiltonian systems defined on manifolds with different geometric structures: symplectic, cosymplectic, contact and cocontact. In each case we pay special…
A control strategy without any precise mathematical model is derived for linear or nonlinear systems which are assumed to be finite-dimensional. Two convincing numerical simulations are provided.
This paper deals with the stabilization problem for nonlinear control-affine systems with the use of oscillating feedback controls. We assume that the local controllability around the origin is guaranteed by the rank condition with Lie…
This paper presents and philosophically assesses three types of results on the observational equivalence of continuous-time measure-theoretic deterministic and indeterministic descriptions. The first results establish observational…
We consider the finite-time stabilization of homogeneous quasilinear hyperbolic systems with one side controls and with nonlinear boundary condition at the other side. We present time-independent feedbacks leading to the finite-time…
We propose a new controllability property for linear time varying control systems in finite dimension: the nonuniform complete controllability, which is halfway between the classical Kalman's properties of complete controllability and…