Related papers: On Specifications and Proofs of Timed Circuits
Many-body quantum systems, under suitable conditions, exhibit time-translation symmetry breaking and settle in a discrete time crystalline (DTC) phase -- an out-of-equilibrium quantum phase of matter. The defining feature of DTC is a robust…
Many forms of dependence manifest themselves over time, with behavior of variables in dynamical systems as a paradigmatic example. This paper studies temporal dependence in dynamical systems from a logical perspective, by enriching a…
We report that under some specific conditions a single qubit model weakly interacting with information environments can be referred to as a quantum classifier. We exploit the additivity and the divisibility properties of the completely…
We show how program transformation techniques can be used for the verification of both safety and liveness properties of reactive systems. In particular, we show how the program transformation technique distillation can be used to transform…
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.
Time delayed feedback control is one of the most successful methods to discover dynamically unstable features of a dynamical system in an experiment. This approach feeds back only terms that depend on the difference between the current…
In the present work, sufficient conditions for global stabilization of nonlinear uncertain systems by means of discrete-delay static output feedback are presented. Illustrating examples show the efficiency of the proposed control strategy.
This paper proposes a class of neural ordinary differential equations parametrized by provably input-to-state stable continuous-time recurrent neural networks. The model dynamics are defined by construction to be input-to-state stable (ISS)…
The scheme of online optimization as a feedback controller is widely used to steer the states of a physical system to the optimal solution of a predefined optimization problem. Such methods focus on regulating the physical states to the…
Timed automata are a common formalism for the verification of concurrent systems subject to timing constraints. They extend finite-state automata with clocks, that constrain the system behavior in locations, and to take transitions. While…
While quantum simulation is one of the most promising applications of modern quantum devices, accessible simulation times are fundamentally limited by finite coherence times due to omnipresent noise. Based on the ideas of relational…
This paper is a preliminary work to address the problem of dynamical systems with parameters varying in time. An idea to predict their behaviour is proposed. These systems are called \emph{transient systems}, and are distinguished from…
Discrete (DTCs) and continuous time crystals (CTCs) are novel dynamical many-body states, that are characterized by robust self-sustained oscillations, emerging via spontaneous breaking of discrete or continuous time translation symmetry.…
In this paper, we directly design a state feedback controller that stabilizes a class of uncertain nonlinear systems solely based on input-state data collected from a finite-length experiment. Necessary and sufficient conditions are derived…
Discrete time crystals are a special phase of matter in which time translational symmetry is broken through a periodic driving pulse. Here, we first propose and characterize an effective mechanism to generate a stable discrete time crystal…
We study the dynamical properties of small regulatory networks treated as non autonomous dynamical systems called modules when working inside larger networks or, equivalently when subject to external signal inputs. Particular emphasis is…
Discrete time crystalline phases have attracted significant theoretical and experimental attention in the last few years. Such systems require a seemingly impossible combination of nonadiabatic driving and a finite-entropy long-time state,…
Current fluctuations in a dissipative two-state system have been studied using a novel quantum dynamics simulation method. After a transformation of the path integrals, the tunneling dynamics is computed by deterministic integration over…
In this article we consider the possibility of controlling the dynamics of nonlinear discrete systems. A new method of control is by mixing states of the system (or the functions of these states) calculated on previous steps. This approach…
It is known that a party with access to a Deutschian closed timelike curve (D-CTC) can perfectly distinguish multiple non-orthogonal quantum states. In this paper, we propose a practical method for discriminating multiple non-orthogonal…