Two efficient and numerically stable methods for the computation of the largest p Lyapunov characteristic exponents of an n dimensional discrete dynamical systems are presented.

Title of dissertation: EVOLUTION OF DISCRETE DYNAMICAL SYSTEMS Jonathan Ozik, Doctor of Philosophy, 2005 Dissertation directed by: Professor Edward Ott Department of Physics We investigate the evolution of three different types of discrete dynamical systems. In each case simple local rules are shown to yield interesting collective global behavior. (a) We introduce a mechanism for the evolution ...

Abstract Model checking infinite-state systems is one of the central challenges in automated verification. In this survey we focus on an important and fundamental subclass systems, namely discrete linear dynamical systems. While such are ubiquitous mathematics, physics, engineering, etc., present context our motivation stems from their relevance to formal analysis verification program loops, we...

In the framework of non-autonomous discrete dynamical systems in metric spaces, we propose new equilibrium points, called quasi-fixed and prove that they play a role similar to fixed points autonomous systems. this way some sufficient conditions for convergence iterative schemes type xk+1=Tkxk spaces are presented, where maps Tk contractivities with different points. The results include any reo...