Related papers: Time-Delay Systems with Discrete and Distributed d…

Verification of discrete time or continuous time dynamical systems over the reals is known to be undecidable. It is however known that undecidability does not hold for various classes of systems: if robustness is defined as the fact that…

In this paper, we investigate the rapid stabilizability of linear infinite-dimensional control systems with constant delays. Under the assumptions that the state operator generates an immediately compact semigroup and that the delay…

Thirty years after the introduction of port-Hamiltonian systems, interest in this system class still remains high among systems and control researchers. Very recently, Jacob and Laasri obtained strong results on the solvability and…

Given a dynamical system with constrained outputs, the maximal admissible set (MAS) is defined as the set of all initial conditions such that the output constraints are satisfied for all time. It has been previously shown that for…

In this paper, we investigate delayed linear difference systems and establish several fundamental results. We first provide a Kalman-type rank condition tailored for delayed linear difference systems. Furthermore, we construct the discrete…

For time-invariant finite-dimensional systems, it is known that global asymptotic stability (GAS) is equivalent to uniform global asymptotic stability (UGAS), in which the decay rate and transient overshoot of solutions are requested to be…

In this note, we shall consider the existence of invariant measures for a class of infinite dimensional stochastic functional differential equations with delay whose driving semigroup is eventually norm continuous. The results obtained are…

This contribution presents two exponential stability criteria for linear systems with multiple pointwise and distributed delays. These results (necessary and sufficient conditions) are given in terms of the delay Lyapunov matrix and the…

This paper is concerned with Devaney chaos in non-autonomous discrete systems. It is shown that in its definition, the two former conditions, i.e., transitivity and density of periodic points, in a set imply the last one, i.e., sensitivity,…

This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…

In this paper, we provide a novel characterization of the reachable set of discrete-time switched linear control systems and a Kalman-type criterion for controllability, assuming that the switching parameter can be used as a control…

Analysis of mathematical models in ecology and epidemiology often focuses on asymptotic dynamics, such as stable equilibria and periodic orbits. However, many systems exhibit long transient behaviors where certain aspects of the dynamics…

This work addresses fundamental issues related to the structure and conditioning of linear time-delayed models of non-linear dynamics on an attractor. While this approach has been well-studied in the asymptotic sense (e.g. for infinite…

This paper studies the existence of solutions and, in particular, the well-posedness of a class of boundary control systems. Our main result provides explicit and verifiable conditions on the system data that guarantee continuous dependence…

For discrete-time systems, flatness is usually defined by replacing the time-derivatives of the well-known continuous-time definition by forward-shifts. With this definition, the class of flat systems corresponds exactly to the class of…

This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient…

In this paper, robust finite-time consensus of a group of nonlinear multi-agent systems in the presence of communication time delays is considered. In particular, appropriate delay-dependent strategies which are less conservative are…

Anticipated synchronisation occurs when a driven dynamical system synchronises with the future state of the driver system to which it is unidirectionally coupled. Previous theoretical and experimental studies have focused on setups with a…

We consider bounded extremum seeking controls for time-varying linear systems with uncertain coefficient matrices and measurement uncertainty. Using a new change of variables, Lyapunov functions, and a comparison principle, we provide…

Dynamical systems with complex delayed interactions arise commonly when propagation times are significant, yielding complicated oscillatory instabilities. In this Letter, we introduce a class of systems with multiple, hierarchically long…