This brief studies the causal consensus problem of singular (descriptor) multi-agent systems with networked communication delays and agents described by general singular systems. For the studied systems, only the information of outputs are available through the network. An observer-based networked predictive control scheme is employed to compensate for the communication delays actively. Further...

We propose a typing theory, based on multiparty session types, for modular verification of real-time choreographic interactions. To model real-time implementations, we introduce a simple calculus with delays and a decidable static proof system. The proof system with time constraints ensures type safety and time-error freedom, namely processes respect the prescribed timing and causalities betwee...

In this paper we present new results for differentiability of delay systems with respect to initial conditions and delays. After motivating our results with a wide range of delay examples arising in biology applications, we further note the need for sensitivity functions (both traditional and generalized sensitivity functions), especially in control and estimation problems. We summarize general...

The global exponential stability is investigated for a class of generalized Cohen–Grossberg neural networks with discrete delays. By means of the combination of the nonlinear measure approach and constructing a novel Lyapunov functional together with some nonlinear functional analysis and inequality techniques, general sufficient conditions are obtained for the existence, uniqueness and global ...

We propose a fast, efficient, general, simple, valid, and robust method of estimating and making inference about the delay of the fMRI response modeled as a temporal shift of the hemodynamic response function (HRF). We estimate the shift unbiasedly using two optimally chosen basis functions for a spectrum of time shifted HRFs. This is done at every voxel, to create an image of estimated delays ...

In this paper a structure will be given which in a remarkably simple way offers a solution to the implementation of different telemanipulation schemes for discrete time varying delays by preserving passivity and allowing the highest transparency possible. This is achieved by splitting the communication channel in two separate ones, one for the energy balance which will ensure passivity and one ...

Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is hence interesting to reason parametrically, by considering that the delays are parameters (unknown constants) and synthesize a constraint guaranteeing a co...

Practical experience and scientific research show that there is scope for improving the performance of inventory control systems by delaying a replenishment order that is otherwise triggered by generalised and all too often inappropriate assumptions. This paper presents the first analysis of the most commonly used continuous (s, S) policies with delayed ordering for inventory systems with compo...

We study the effects of network topology on the response of networks of coupled discrete excitable systems to an external stochastic stimulus. We extend recent results that characterize the response in terms of spectral properties of the adjacency matrix by allowing distributions in the transmission delays and in the number of refractory states and by developing a nonperturbative approximation ...

We introduce distributed axonal transmission speeds and a long-range constant feedback loop into the standard neural field model. We analyze the stability of spatially homogeneous equilibrium solutions for general connectivity kernels. By studying reduced models based on the assumption of small delays, we determine the effects of the delays on the stability and bifurcations. We show in a reduce...