Related papers: Synthesizing SystemC Code from Delay Hybrid CSP
This paper presents the analysis of the stability properties of PID controllers for dynamical systems with multiple state delays, focusing on the mathematical characterization of the potential sensitivity of stability with respect to…
This paper studies data-driven control of unknown sampled-data systems with communication delays under an event-triggering transmission mechanism. Data-based representations for time-invariant linear systems with known or unknown system…
We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output measurements, and stochastic disturbances. Our method derives digital controllers…
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution…
A method to synchronize two chaotic systems with anticipation or lag, coupled in the drive response mode, is proposed. The coupling involves variable delay with three time scales. The method has the advantage that synchronization is…
The increasing ease of obtaining and processing data together with the growth in system complexity has sparked the interest in moving from conventional model-based control design towards data-driven concepts. Since in many engineering…
Quantum synchronizable codes are quantum error correcting codes that can correct not only Pauli errors but also errors in block synchronization. The code can be constructed from two classical cyclic codes $\mathcal{C}$, $\mathcal{D}$…
In practice, we can not only disable some events, but also enforce the occurrence of some events prior to the occurrence of other events by external control. In this paper, we combine these two control mechanisms to synthesize a more…
We propose an SDP-based framework to address the stabilization of input delay systems while taking into account dissipative constraints. A key to our approach is the introduction of the concept of parameterized linear dynamical state…
We study the possibility to stabilize unstable steady states and unstable periodic orbits in chaotic fractional-order dynamical systems by the time-delayed feedback method. By performing a linear stability analysis, we establish the…
This paper presents a characterization of distributed controllers subject to delay constraints induced by a strongly connected communication graph that achieve a prescribed closed loop $\mathcal{H}_\infty$ norm. Inspired by the solution to…
We apply the synergetic elimination procedure for the stable modes in nonlinear delay systems close to a dynamical instability and derive the normal form for the delay-induced Hopf bifurcation in the Wright equation. The resulting periodic…
We study the synchronization of a linear array of globally coupled identical logistic maps. We consider a time-delayed coupling that takes into account the finite velocity of propagation of the interactions. We find globally synchronized…
We present SSD, Software for Systems with Delays, a de novo MATLAB package for the analysis and model reduction of retarded time delay systems (RTDS). Underneath, our delay system object bridges RTDS representation and Linear Fractional…
A network of delay-coupled logistic maps exhibits two different synchronization regimes, depending on the distribution of the coupling delay times. When the delays are homogeneous throughout the network, the network synchronizes to a…
This paper develops a novel control synthesis method for safe stabilization of control-affine systems as a Differential Complementarity Problem (DCP). Our design uses a control Lyapunov function (CLF) and a control barrier function (CBF) to…
We report the nature of transitions from nonsynchronous to complete synchronization (CS) state in arrays of time-delay systems, where the systems are coupled with instantaneous diffusive coupling. We demonstrate that the transition to CS…
In recent years, the generation of rigorously provable chaos in finite precision digital domain has made a lot of progress in theory and practice, this article is a part of it. It aims to improve and expand the theoretical and application…
Delay tomography has so far burdened source and receiver measurement nodes in a network with two requirements such as path establishment and clock synchronization between them. In this letter, we focus on the clock synchronization problem…
In this paper, we study the problem of hybrid event-triggered control for a class of nonlinear time-delay systems. Using a Razumikhin-type input-to-state stability result for time-delay systems, we design an event-triggered control…