Related papers: Piecewise Constant Martingales and Lazy Clocks

Temporal graphs are graphs where the presence or properties of their vertices and edges change over time. When time is discrete, a temporal graph can be defined as a sequence of static graphs over a discrete time span, called lifetime, or…

We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct temporal logic trees (TLT) from LTL formulae via reachability…

We present concept and implementation of a self-stabilizing Byzantine fault-tolerant distributed clock generation scheme for multi-synchronous GALS architectures in critical applications. It combines a variant of a recently introduced…

Piecewise-deterministic Markov processes (PDMPs) are often used to model abrupt changes in the global environment or capabilities of a controlled system. This is typically done by considering a set of "operating modes" (each with its own…

This article introduces the class of periodic trawl processes, which are continuous-time, infinitely divisible, stationary stochastic processes, that allow for periodicity and flexible forms of their serial correlation, including both…

The scope of the paper is the theoretical analysis of the time rate in which a dynamical system reaches a stable stationary state or stable oscillations. The method used for the analysis is based on the so-called iterative time profiles,…

There have been several recent suggestions for tableau systems for deciding satisfiability in the practically important branching time temporal logic known as CTL*. In this paper we present a streamlined and more traditional tableau…

In this paper, we introduce a class of stochastic partial differential equations (SPDEs) with fractional time-derivatives, and study the $L_2$-theory of the equations. This class of SPDEs can be used to describe random effects on transport…

Inspired by Conti and Zanzotto \cite{Conti2004A}, we reformulate a simple variational model for reconstructive phase transitions in crystals arising in continuum mechanics in the framework of Landau's theory of phase transition(with slight…

We develop a timeout based extension of propositional linear temporal logic (which we call TLTL) to specify timing properties of timeout based models of real time systems. TLTL formulas explicitly refer to a running global clock together…

Landau-Zener tunneling (LZT) is a fundamental dynamical phenomenon, ubiquitous in various quantum systems. Here, we propose a time-varying electric circuit to address the question of whether the quantum LZT can occur in classical systems.…

Lattice models are valuable tools to gain insight into the statistical physics of heteropolymers. We rigorously map the partition function of these models into a vacuum expectation value of a $\mathbb{Z}_2$ lattice gauge theory (LGT), with…

Some classes of increment martingales, and the corresponding localized classes, are studied. An increment martingale is indexed by the real line and its increment processes are martingales. We focus primarily on the behavior as time goes to…

Modifying the discrete mechanics proposed by T.D. Lee, we construct a class of discrete classical Hamiltonian systems, in which time is one of the dynamical variables. This includes a toy model of time machines which can travel forward and…

In this work, sample-based observability of linear discrete-time systems is studied. That is, we consider the case where the system output measurements are not available at every time instance. It is shown that some discrete-time systems…

Nontrivial topology in lattices is characterized by invariants--such as the Zak phase for one dimensional (1D) lattices--derived from wave functions covering the Brillouin zone. We realized the 1D bipartite Rice-Mele (RM) lattice using…

The solutions of Hamiltonian equations are known to describe the underlying phase space of a mechanical system. In this article, we propose a novel spatio-temporal model using a strategic modification of the Hamiltonian equations,…

In this paper we study the class of mixed-index time fractional differential equations in which different components of the problem have different time fractional derivatives on the left hand side. We prove a theorem on the solution of the…

A simple variational Lagrangian is proposed for the time development of an arbitrary density matrix, employing the "factorization" of the density. Only the "kinetic energy" appears in the Lagrangian. The formalism applies to pure and mixed…

This work presents a framework for studying temporal networks using zigzag persistence, a tool from the field of Topological Data Analysis (TDA). The resulting approach is general and applicable to a wide variety of time-varying graphs. For…