相关论文: PieceTimer: A Holistic Timing Analysis Framework C…
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete…
This paper develops a novel control-theoretic framework to analyze the non-asymptotic convergence of Q-learning. We show that the dynamics of asynchronous Q-learning with a constant step-size can be naturally formulated as a discrete-time…
The characteristics of a time-delayed system with time-dependent delay time is investigated. We demonstrate the nonlinearity characteristics of the time-delayed system are significantly changed depending on the properties of time-dependent…
A network of noisy bistable elements with global time-delayed couplings is considered. A dichotomous mean field model has recently been developed describing the collective dynamics in such systems with uniform time delays near the…
We introduce the map representation of a time-delayed system in the presence of delay time modulation. Based on this representation, we find the method by which to analyze the stability of that kind of a system. We apply this method to a…
We study the impact of competing time delays in coupled stochastic synchronization and coordination problems. We consider two types of delays: transmission delays between interacting elements and processing, cognitive, or execution delays…
Systems of differential equations with state-dependent delay are considered. The delay dynamically depends on the state i.e. is governed by an additional differential equation. By applying the time transformations we arrive to constant…
Discrete-time systems under aperiodic sampling may serve as a modeling abstraction for a multitude of problems arising in cyber-physical and networked control systems. Recently, model- and data-based stability conditions for such systems…
This paper provides sufficient conditions for stability of switched linear systems under dwell-time switching. Piece-wise quadratic functions are utilized to characterize the Lyapunov functions and bilinear matrix inequalities conditions…
We consider two identical oscillators with weak, time delayed coupling. We start with a general system of delay differential equations then reduce it to a phase model. With the assumption of large time delay, the resulting phase model has…
We study the effects of time delayed linear and nonlinear feedbacks on the dynamics of a single Hopf bifurcation oscillator. Our numerical and analytic investigations reveal a host of complex temporal phenomena such as phase slips,…
A general stability analysis is presented for the determination of the transition from incoherent to coherent behavior in an ensemble of globally coupled, heterogeneous, continuous-time dynamical systems. The formalism allows for the…
In this paper, we present a general response-time analysis and schedulability-test framework, called k2Q (k to Q). It provides automatic constructions of closed-form quadratic bounds or utilization bounds for a wide range of applications in…
An advantageous feature of piecewise constant policy timestepping for Hamilton-Jacobi-Bellman (HJB) equations is that different linear approximation schemes, and indeed different meshes, can be used for the resulting linear equations for…
Fractional derivative and delay are important tools in modeling memory properties in the natural system. This work deals with the stability analysis of a fractional order delay differential equation \begin{equation*} D^\alpha x(t)=\delta…
Networks of globally coupled, noise activated, bistable elements with connection time delays are considered. The dynamics of these systems is studied numerically using a Langevin description and analytically using (1) a Gaussian…
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…
The usage of a spot volatility estimate based on a volatility decomposition in a time-changed price-model according to the trading times is investigated. In this model clock-time volatility splits up into the product of tick-time volatility…
Phase clocks are synchronization tools that implement a form of logical time in distributed systems. For systems tolerating transient faults by self-repair of damaged data, phase clocks can enable reasoning about the progress of distributed…
The dynamics of a periodically driven system whose time evolution is governed by the Schr\"{o}dinger equation with non-Hermitian Hamiltonians can be perfectly stable. This finding was only obtained very recently and will be enhanced by many…