Related papers: Reliability study of a coherent system with single…
We study how a coupled array of spiking chaotic systems synchronizes to an external driving in a short time. Synchronization means spike separation at adjacent sites much shorter than the average inter-spike interval; a local lack of…
We propose a stability analysis method for sampled-data switched linear systems with finite-level static quantizers. In the closed-loop system, information on the active mode of the plant is transmitted to the controller only at each…
This paper discusses the stabilizability, weak stabilizability, exact observability and robust quadratic stabilizability of linear stochastic control systems. By means of the spectrum technique of the generalized Lyapunov operator, a…
This paper studies cone-preserving linear discrete-time switched systems whose switching is governed by an automaton. For this general system class, we present performance analysis conditions for a broadly usable performance measure. In…
Analyzing system trajectory from the perspective of individual machines provides a distinctive angle to analyze the transient stability of power systems. This two-paper series propose a direct-time-domain method that is based on the…
We investigate the optimal tradeoff between information gained about an unknown coherent state and the state disturbance caused by the measurement process. We propose several optical schemes that can enable this task, and we implement one…
This paper studies the structural controllability of a class of uncertain switched linear systems, where the parameters of subsystems state matrices are either unknown or zero. The structural controllability is a generalization of the…
This paper explores the properties of adaptive systems with closed-loop reference models. Using additional design freedom available in closed-loop reference models, we design new adaptive controllers that are (a) stable, and (b) have…
This paper suggests a [email protected] of composable specification of concurrent programs that permits: (1) verification of program code for a given specification, and (2) composition of the specifications of the components to yield…
We study the transport properties of nonautonomous chaotic dynamical systems over a finite time duration. We are particularly interested in those regions that remain coherent and relatively non-dispersive over finite periods of time,…
The paper gives a systematic analysis of singularities of transition processes in dynamical systems. General dynamical systems with dependence on parameter are studied. A system of relaxation times is constructed. Each relaxation time…
Coherent structures emerge from the dynamics of many kinds of dissipative, externally driven, nonlinear systems, and continue to provoke new questions that challenge our physical and mathematical understanding. In one specific sub-class of…
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and…
This paper considers the problem of controlling a piecewise continuously differentiable system subject to time-varying uncertainties. The uncertainties are decomposed into a time-invariant, linearly-parameterized portion and a time-varying…
We consider a single-server cyclic polling system with three queues where the server follows an adaptive rule: if it finds one of queues empty in a given cycle, it decides not to visit that queue in the next cycle. In the case of limited…
Component-based systems evolve as a new component is added or an existing one is replaced by a newer version. Hence, it is appealing to assure the new system still preserves its safety properties. However, instead of inspecting the new…
Biological organisms are adaptive, able to function in unpredictably changing environments. Drawing on recent nonequilibrium physics, we show that in adaptation, fitness has two components parameterized by observable coordinates: a static…
Selective transfer of information between spin-1/2 particles arranged in a ring is achieved by optimizing the transfer fidelity over a readout time window via shaping, externally applied, static bias fields. Such static control fields have…
Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our…
A novel representation of reset control systems with a zero-crossing resetting law, in the framework of hybrid inclusions, is postulated. The problems of well-posedness and stability of the resulting hybrid dynamical system are…