Related papers: Trivialisable control-affine systems revisited
A novel control design approach for general nonlinear systems is presented in this paper. The approach is based on the identification of a polynomial model of the system to control and on the on-line inversion of this model. An efficient…
The paper introduces and solves a structural controllability problem for continuum ensembles of linear time-invariant systems. All the individual linear systems of an ensemble are sparse, governed by the same sparsity pattern.…
Consider the problem of covertly controlling a linear system. In this problem, Alice desires to control (stabilize or change the behavior of) a linear system, while keeping an observer, Willie, unable to decide if the system is indeed being…
We consider a bilinear control problem for the wave equation on a torus of arbitrary dimension. We show that the system is globally approximately controllable in arbitrarily small times from a dense family of initial states. The control…
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…
Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controllers for complex logical specifications in an automated…
For linear control systems with bounded control range, chain controllability properties are analyzed. It is shown that there exists a unique chain control set and that it equals the sum of the control set around the origin and the center…
Finite abstractions (a.k.a. symbolic models) offer an effective scheme for approximating the complex continuous-space systems with simpler models in the discrete-space domain. A crucial aspect, however, is to establish a formal relation…
We study controllability and constructive synthesis for control-affine systems. We introduce trajectory-dependent Gramian maps that extend the linear time-varying Gramian and yield explicit fixed-point synthesis maps. On feasible coercivity…
This paper presents the control and stabilization of the rotary inverted pendulum based on a general controller scheme. The proposed scheme has its foundation in classical control theory, and the importance of an integrator in disturbance…
Recent years have witnessed a wave of research activities in systems science toward the study of population systems. The driving force behind this shift was geared by numerous emerging and ever-changing technologies in life and physical…
We define and study trivial points on towers of curves over number fields, and we show their finiteness in some cases. We relate these to the unboundeness of the gonality of the curves, which we show under some hypothesis. The problem is…
Abstraction-based control design is a promising approach for ensuring safety-critical control of complex cyber-physical systems. A key aspect of this methodology is the relation between the original and abstract systems, which ensures that…
We present the stability analysis for the new regulation-triggered approach to adaptive control introduced in a companion paper. Due to the fact that the closed-loop system is hybrid, our proofs have essential differences from the…
We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all…
This study proposes a simple controller design approach to achieve a class of robustness, the so-called iso-damping property. The proposed approach can be executed using only one-shot input/output data. An accurate mathematical model of a…
In this article we study how bad can be the singularities of a time-optimal trajectory of a generic control affine system. In the case where the control is scalar and belongs to a closed interval it was recently shown in [6] that…
In this paper we study a singular control problem for a system of PDEs describing a phase-field model of Penrose-Fife type. The main novelty of this contribution consists in the idea of forcing a sharp interface separation between the…
Bilinear systems emerge in a wide variety of fields as natural models for dynamical systems ranging from robotics to quantum dots. Analyzing controllability of such systems is of fundamental and practical importance, for example, for the…
A classical approach to design controllers for interconnected systems is to assume that the different subsystems operate at different time scales, then design simpler controllers within each time scale, and finally certify stability of the…