Related papers: Forward completeness implies bounded reachable set…
We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
In this paper, we introduce the notion of boundary delay equations, establishing a unified framework for analyzing linear time-invariant systems with pure time-delayed boundary conditions. We establish mild sufficient conditions for the…
Existence of different kinds of synchronizations, namely anticipatory, complete and lag type synchronizations (both exact and approximate), are shown to be possible in time-delay coupled piecewise linear systems. We deduce stability…
Lyapunov-like characterizations for non-uniform in time and uniform robust global asymptotic stability of uncertain systems described by retarded functional differential equations are provided.
For bilinear infinite-dimensional dynamical systems, we show the equivalence between uniform global asymptotic stability and integral input-to-state stability. We provide two proofs of this fact. One applies to general systems over Banach…
This paper investigates the global stability and the global asymptotic stability independent of the sizes of the delays of linear time-varying Caputo fractional dynamic systems of real fractional order possessing internal point delays. The…
An equilibrium of a delay differential equation (DDE) is absolutely stable, if it is locally asymptotically stable for all delays. We present criteria for absolute stability of DDEs with discrete time-delays. In the case of a single delay,…
We study integral-to-integral input-to-state stability for infinite-dimensional linear systems with inputs and trajectories in $L^p$-spaces. We start by developing the corresponding admissibility theory for linear systems with unbounded…
This paper studies the set of terminal state covariances that are reachable over a finite time horizon from a given initial state covariance for a linear stochastic system with additive noise. For discrete-time systems, a complete…
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem.…
In this paper, we extend the notion of finite-time input-to-state stability (FTISS) for finite-dimensional systems to infinite-dimensional systems. More specifically, we first prove an FTISS Lyapunov theorem for a class of…
Stability of retarded differential equations is closely related to the existence of Lyapunov-Krasovskii functionals. Even if a number of converse results have been reported regarding the existence of such functionals, there is a lack of…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
Relation between two properties of linear difference equations with infinite delay is investigated: (i) exponential stability, (ii) $\l^p$-input $\l^q$-state stability (sometimes is called Perron's property). The latter means that solutions…
Determining the reachable set for a given nonlinear system is critically important for autonomous trajectory planning for reach-avoid applications and safety critical scenarios. Providing the reachable set is generally impossible when the…
We introduce a general theory on stationary approximations for locally stationary continuous-time processes. Based on the stationary approximation, we use $\theta$-weak dependence to establish laws of large numbers and central limit type…
This paper makes 3 contributions. First, it generalizes the Lindeberg\textendash Feller and Lyapunov Central Limit Theorems to Hilbert Spaces by way of $L^2$. Second, it generalizes these results to spaces in which sample failure and…
By analogy with the theory of Backward Stochastic Differential Equations, we define Backward Stochastic Difference Equations on spaces related to discrete time, finite state processes. This paper considers these processes as constructions…
Let $(X,d)$ be an unbounded metric space and $\tilde r=(r_n)_{n\in\mathbb N}$ be a scaling sequence of positive real numbers tending to infinity. We define the pretangent space $\Omega_{\infty, \tilde r}^{X}$ to $(X, d)$ at infinity as a…