Related papers: Guided Dynamical Systems and Applications to Funct…
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the…
We study fundamental reachability problems on pseudo-orbits of linear dynamical systems. Pseudo-orbits can be viewed as a model of computation with limited precision and pseudo-reachability can be thought of as a robust version of classical…
For hyperbolic first-order systems of linear partial differential equations (master equations), appearing in description of kinetic processes in physics, biology and chemistry we propose a new procedure to obtain their complete closed-form…
We consider an infinite system of quasilinear first-order partial differential equations, generalized to contain spacial integration, which describes an incompressible fluid mixture of infinite components in a line segment whose motion is…
We survey dynamic logics for specifying and verifying properties of dynamical systems, including hybrid systems, distributed hybrid systems, and stochastic hybrid systems. A dynamic logic is a first-order modal logic with a pair of…
I introduce PEDAL -- a probabilistic epistemic logic meant to capture, in propositional dynamic terms, the epistemic state of an agent engaged in checking whether a program meets its specification. Semantically, PEDAL is built `on top of'…
We prove a maximality theorem for one-parameter dynamical systems including multiplier one-parameter dynamical systems. Our main result is new even for one-parameter actions on commutative multiplier algebras including the algebra of…
Time-invariant finite-dimensional systems, under reasonable continuity assumptions, exhibit the property that if solutions exist for all future times, the set of vectors reachable from a bounded set of initial conditions over bounded time…
A delayed term in a differential equation reflects the fact that information takes significant time to travel from one place to another within a process being studied. Despite de apparent similarity with ordinary differential equations,…
A version of the Dynamical Systems Method (DSM) for solving ill-conditioned linear algebraic systems is studied in this paper. An {\it a priori} and {\it a posteriori} stopping rules are justified. An iterative scheme is constructed for…
We establish several delay-independent criteria for the existence and stability of positive periodic solutions of n-dimensional nonautonomous functional differential equation by several fixed point theorems. Examples from positive and…
Nonlinear dynamics is a pervasive phenomenon observed in scientific and engineering disciplines. However, the task of deriving analytical expressions to describe nonlinear dynamics from limited data remains challenging. In this paper, we…
This paper deals with the Vlasov-Stokes' system in three dimensions with periodic boundary conditions in the spatial variable. We prove the existence of a unique strong solution to this two-phase model under the assumption that initial…
The main objective of this paper is the construction of the solution of an impulsive stochastic differential equation, subject to control conditions in the pulse-times and give sufficient conditions for them to be random variables with…
We examine robustness of exponential dichotomies of boundary value problems for general linear first-order one-dimensional hyperbolic systems. The boundary conditions are supposed to be of types ensuring smoothing solutions in finite time,…
We consider reachability in dynamical systems with discrete linear updates, but with fixed digital precision, i.e., such that values of the system are rounded at each step. Given a matrix $M \in \mathbb{Q}^{d \times d}$, an initial vector…
Existence and uniqueness theorems for quantum stochastic differential equations with nontrivial initial conditions are proved for coefficients with completely bounded columns. Applications are given for the case of finite-dimensional…
In this paper we prove unique continuation principles for some systems of elliptic partial differential equations satisfying a suitable superlinearity condition. As an application, we obtain nonexistence of nontrivial (not necessarily…
We discuss some important issues arising from computational efforts in dynamical systems and fluid dynamics. Various individuals have misunderstood these issues since the onset of these problem areas; indeed, they have been routinely…
In this paper, we propose a new unified first order hyperbolic model of Newtonian continuum mechanics coupled with electro-dynamics. The model is able to describe the behavior of moving elasto-plastic dielectric solids as well as viscous…