Related papers: On Absolute Equivalence and Linearization I
The paper is devoted to the local classification of generic control-affine systems on an n-dimensional manifold with scalar input for any n>3 or with two inputs for n=4 and n=5, up to state-feedback transformations, preserving the affine…
We show that for n>2 the following equivalence problems are essentially the same: the equivalence problem for Lagrangians of order n with one dependent and one independent variable considered up to a contact transformation, a multiplication…
We prove an effective integrability criterion for differential-algebraic Pfaffian systems leading to a decision method of consistency with a triple exponential complexity bound. As a byproduct, we obtain an upper bound for the order of…
Synchronization control in arrays of identical output-coupled continuous-time linear systems is studied. Sufficiency of new conditions for the existence of a synchronizing feedback law are analyzed. It is shown that for neutrally stable…
For abstract linear systems in Hilbert spaces we revisit the problems of exact controllability and complete stabilizability (stabilizability with an arbitrary decay rate), the latter property is equivalent to exact null controllability. We…
We examine when differentially flat nonlinear control systems with more than two inputs can be rendered static feedback linearizable by a minimal number of prolongations of suitably chosen inputs after applying a static input…
This work addresses the exact characterization of the covariance dynamics related to linear discrete-time systems subject to both additive and parametric stochastic uncertainties that are potentially unbounded. Using this characterization,…
We propose easily verifiable necessary and sufficient conditions for the linearizability of two-input systems by an endogenous dynamic feedback with a dimension of at most two.
In this paper, we consider the problem of model equivalence for quantum systems. Two models are said to be (input-output) equivalent if they give the same output for every admissible input. In the case of quantum systems, the output is the…
We study the exact linearization of configuration flat Lagrangian control systems with p degrees of freedom and p-1 inputs by quasi-static feedback of classical states. First, we present a detailed analysis of the structure of the…
Output stabilizability of a class of infinite dimensional linear systems is studied in this paper. A criterion for the system to be output stabilizable by a linear bounded feedback $u=Fx$, $F\in L(Z,\mathbb{R}^{^{p}})$ will be given.
This paper studies the feedback stabilization of abstract Cauchy problems with unbounded output operators by finite-dimensional controllers. Both necessary conditions and sufficient conditions for feedback stabilizability are presented. The…
In this work, we study inequalities and enumerative formulas for flags of Pfaff systems on $\mathbb{P}^n_{\mathbb{C}}$. More specifically, we find the number of independent Pfaff systems that leave invariant a one-dimensional holomorphic…
We consider a control scheme where a quantum system S is put in contact with an auxiliary quantum system A and the control can affect A only, while S is the system of interest. The system S is then controlled indirectly through the…
We study the controllability of a closed control-affine quantum system driven by two or more external fields. We provide a sufficient condition for controllability in terms of existence of conical intersections between eigenvalues of the…
In this paper, we examine the exact linearization of configuration flat Lagrangian control systems in generalized state representation with p degrees of freedom and p-1 control inputs by quasi-static feedback of its generalized state. We…
Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those based on bisimulations and logical relations only target at…
We investigate a new class of nonlinear control systems of O.D.E., which are not feedback linearizable in general. Our class is a generalization of the well-known feedback linearizable systems, and moreover it is a generalization of the…
The paper considers instantly coalescing, or instantly annihilating, systems of one-dimensional Brownian particles on the real line. Under maximal entrance laws, the distribution of the particles at a fixed time is shown to be Pfaffian…
A system of linear dependent types for the lambda calculus with full higher-order recursion, called dlPCF, is introduced and proved sound and relatively complete. Completeness holds in a strong sense: dlPCF is not only able to precisely…