Related papers: On Specifications and Proofs of Timed Circuits
A time-dependent no-recrossing dividing surface is shown to lead to a new criterion for identifying reactive trajectories well before they are evolved to infinite time. Numerical dynamics simulations of a dissipative anharmonic…
This article proposes a dynamical system modeling approach for the analysis of longitudinal data of self-regulated systems experiencing multiple excitations. The aim of such an approach is to focus on the evolution of a signal (e.g., heart…
This paper addresses the design of robust dynamic output feedback control for highly uncertain systems in which the unknown disturbance might be excited by the derivative of the control input. This context appears in many industrial…
Simulation has played an important role in efficiently evaluating self-driving vehicles in terms of scalability. Existing methods mostly rely on heuristic-based simulation, where traffic participants follow certain human-encoded rules that…
We report the experimental implementation of the Dicke model in the semiclassical approximation, which describes a large number of two-level atoms interacting with a single-mode electromagnetic field in a perfectly reflecting cavity. This…
Whereas the importance of transient dynamics to the functionality and management of complex systems has been increasingly recognized, most of the studies are based on models. Yet in realistic situations the models are often unknown and what…
Differential passivity is a property that allows to check with a pointwise criterion that a system is incrementally passive, a property that is relevant to study interconnected systems in the context of regulation, synchronization, and…
This tutorial shows an overview of Model Predictive Control with a linear discrete-time system and constrained states and inputs. The focus is on the implementation of the method under consideration of stability and recursive feasibility.…
Given a family of systems, identifying stabilizing switching signals in terms of infinite walks constructed by concatenating cycles on the underlying directed graph of a switched system that satisfy certain conditions, is a well-known…
The paper proposes an algorithm for a discretization (sampled-time implementation) of a homogeneous control preserving the finite-time and nearly fixed-time stability property of the original (sampling-free) system. The sampling period is…
We propose a time-delayed feedback control scheme for open quantum systems that can dramatically reduce the time to reach steady state. No measurement is performed in the feedback loop, and we suggest a simple all-optical implementation for…
We propose a synthesis method for the design of digital twins applicable to various systems (pneumatic, hydraulic, electrical/electronic circuits). The methodology allows representing the operation of these systems through an active digital…
We revisit the problem of computing (robust) controlled invariant sets for discrete-time linear systems. Departing from previous approaches, we consider implicit, rather than explicit, representations for controlled invariant sets.…
We study the stability properties of a class of time-varying nonlinear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our…
Controllability properties for discrete-time, Markovian quantum dynamics are investigated. We find that, while in general the controlled system is not finite-time controllable, feedback control allows for arbitrary asymptotic state-to-state…
This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.
Open dynamical systems are mathematical models of machines that take input, change their internal state, and produce output. For example, one may model anything from neurons to robots in this way. Several open dynamical systems can be…
The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent…
A circuit architecture is proposed and implemented for a dynamical network composed of a type of hybrid chaotic oscillator based on Unstable Dissipative Systems (UDS). The circuit architecture allows selecting a network topology with its…
Using the density matrix formalism, we prove an existence theorem of the periodic steady-state for an arbitrary periodically-driven system. This state has the same period as the modulated external influence, and it is realized as an…