Related papers: Nagumo-Type Characterization of Forward Invariance…
A recently proposed stochastic hidden variable model for quantum mechanics has been claimed to involve "retrocausality" due to the appearance of equations of motion with future-time boundary conditions. We formulate an equivalent system of…
In this paper, we propose an approach for computing invariant sets of discrete-time nonlinear systems by lifting the nonlinear dynamics into a higher dimensional linear model. In particular, we focus on the \emph{maximal admissible…
This paper provides new sufficient and necessary conditions for the frame property of generalized translation-invariant systems. The conditions are formulated in the Fourier domain and consists of estimates involving the upper and lower…
We propose a variant formulation of Hamiltonian systems by the use of variables including redundant degrees of freedom. We show that Hamiltonian systems can be described by extended dynamics whose master equation is the Nambu equation or…
This paper introduces a systematic method for designing robust linear controllers using output feedback in the presence of operational constraints. The design uses Nagumo's Theorem and the Comparison Lemma to guarantee constraint…
We consider the asymmetric simple exclusion process with Langmuir kinetics in the closed boundary condition. We analytically obtain the exact stationary state and a series of excited states of the system in the limit where Langmuir kinetics…
We prove a converse Lyapunov theorem for boundedness of reachability sets for a general class of control systems whose flow is Lipschitz continuous on compact intervals with respect to trajectory-dominated inputs. We show that this…
In order to determine the dynamics of nonautonomous equations both their forward and pullback behavior need to be understood. For this reason we provide sufficient criteria for the existence of such attracting invariant sets in a general…
Preservation of nonnengativity and boundedness in the finite element solution of Nagumo-type equations with general anisotropic diffusion is studied. Linear finite elements and the backward Euler scheme are used for the spatial and temporal…
In this technical communique we study the maximal robust positively invariant set for state-constrained continuous-time nonlinear systems subjected to a bounded disturbance. Extending results from the theory of barriers, we show that this…
A common technique for verifying the safety of complex systems is the inductive invariant method. Inductive invariants are inductive formulas that overapproximate the reachable states of a system and imply a desired safety property.…
We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward…
Takhtajan has recently studied the consistency conditions for Nambu brackets, and suggested that they have to be skew-symmetric, and satisfy Leibnitz rule and the Fundamental Identity (FI, it is a generalization of the Jacobi identity). If…
This work presents new tools for studying reachability and set invariance for continuous-time mixed-monotone dynamical systems subject to a disturbance input. The vector field of a mixed-monotone system is decomposable via a decomposition…
In this article, we derive conditions for the existence of solutions to state-constrained continuity inclusions in Wasserstein spaces whose right-hand sides may be discontinuous in time. These latter are based on a fine investigation of the…
We study the complexity of invariant inference and its connections to exact concept learning. We define a condition on invariants and their geometry, called the fence condition, which permits applying theoretical results from exact concept…
This note considers the maximal positively invariant set for polynomial discrete time dynamics subject to constraints specified by a basic semialgebraic set. The note utilizes a relatively direct, but apparently overlooked, fact stating…
We propose a new continuum model for random genetic drift by employing a dynamic boundary condition approach. The model can be viewed as a regularized version of the Kimura equation and admits a continuous solution. We establish the…
This paper provides a new characterization of the stochastic invariance of a closed subset of R^d with respect to a diffusion. We extend the well-known inward pointing Stratonovich drift condition to the case where the diffusion matrix can…
We study in this paper a forward-backward-forward dynamical system for solving a mixed variational inequality problem in a real Hilbert space. For the convergence analysis of our proposed system, we apply the Lyapunov analysis to obtain the…