English
Related papers

Related papers: Operadic Modeling of Dynamical Systems: Mathematic…

200 papers

Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only…

Other Computer Science · Computer Science 2014-10-31 Nabarun Mondal , Partha P. Ghosh

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…

Logic in Computer Science · Computer Science 2021-06-07 André Platzer

Augmenting mechanistic ordinary differential equation (ODE) models with machine-learnable structures is an novel approach to create highly accurate, low-dimensional models of engineering systems incorporating both expert knowledge and…

Dynamical Systems · Mathematics 2022-06-22 Sandor Beregi , David A. W. Barton , Djamel Rezgui , Simon A. Neild

Control schemes for dynamical systems typically involve stabilizing unstable periodic orbits. In this paper we introduce a new paradigm of control that involves `trapping' the dynamics arbitrarily close to any desired trajectory. This is…

Chaotic Dynamics · Physics 2015-12-08 Shakti N. Menon , S. Sridhar , Sitabhra Sinha

The process of transforming observed data into predictive mathematical models of the physical world has always been paramount in science and engineering. Although data is currently being collected at an ever-increasing pace, devising…

Dynamical Systems · Mathematics 2018-01-08 Maziar Raissi , Paris Perdikaris , George Em Karniadakis

The present article presents a summarizing view at differential-algebraic equations (DAEs) and analyzes how new application fields and corresponding mathematical models lead to innovations both in theory and in numerical analysis for this…

Numerical Analysis · Mathematics 2018-11-20 Jan Kleinert , Bernd Simeon

In this paper, is used the Lagrangian classical mechanics for modeling the dynamics of an underactuated system, specifically a rotary inverted pendulum that will have two equations of motion. A basic design of the system is proposed in…

Robotics · Computer Science 2017-06-19 Juan Libardo Duarte Madrid , P. A. Ospina-Henao , E González Querubín

Effective control requires knowledge of the process dynamics to guide the system toward desired states. In many control applications this knowledge is expressed mathematically or through data-driven models, however, as complexity grows…

Systems and Control · Electrical Eng. & Systems 2024-05-24 Joseph Park , George Sugihara , Gerald Pao

In this paper, we use the language of operads to study open dynamical systems. More specifically, we study the algebraic nature of assembling complex dynamical systems from an interconnection of simpler ones. The syntactic architecture of…

Category Theory · Mathematics 2015-10-05 Dmitry Vagner , David I. Spivak , Eugene Lerman

This paper presents the current possible applications of Dynamical Systems in Engineering. The applications of chaos, fractals have proven to be an exciting and fruitful endeavor. These applications are highly diverse ranging over such…

Systems and Control · Computer Science 2013-04-22 Yousuf Ibrahim Khan

We consider a dynamical systems formulation for models with an exponential scalar field and matter with a linear equation of state in a spatially flat and isotropic spacetime. In contrast to earlier work, which only considered linear…

General Relativity and Quantum Cosmology · Physics 2022-07-13 Artur Alho , Woei Chet Lim , Claes Uggla

Dynamic/kinematic model is of great significance in decision and control of intelligent vehicles. However, due to the singularity of dynamic models at low speed, kinematic models have been the only choice under many driving scenarios. This…

Systems and Control · Electrical Eng. & Systems 2020-11-20 Qiang Ge , Shengbo Eben Li , Qi Sun , Sifa Zheng

During modeling of dynamical systems, often two or more model architectures are combined to obtain a more powerful or efficient model regarding a specific application area. This covers the combination of multiple machine learning…

Machine Learning · Computer Science 2025-02-03 Tobias Thummerer , Lars Mikelsons

Coherent X-ray scattering (CXS) techniques are capable of interrogating dynamics of nano- to mesoscale materials systems at time scales spanning several orders of magnitude. However, obtaining accurate theoretical descriptions of complex…

Many real-world dynamic systems, both natural and artificial, are understood to be performing computations. For artificial dynamic systems, explicitly designed to perform computation - such as digital computers - by construction, we can…

Computational Physics · Physics 2026-02-24 David H. Wolpert , Jan Korbel

Using tools from computable analysis we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural…

Dynamical Systems · Mathematics 2024-09-16 Sebastián Barbieri , Nicanor Carrasco-Vargas , Cristóbal Rojas

This paper is devoted to constructing and studying exactly solvable dynamical systems in discrete time obtained from some algebraic operations on matrices, to reductions of such systems leading to classical field theory models in…

solv-int · Physics 2008-02-03 I. G. Korepanov

Representation of nonlinear dynamical systems as infinite-dimensional linear operators over Hilbert spaces enables analysis of nonlinear systems via pseudo-spectral operator analysis. In this paper, we provide a novel representation for…

Optimization and Control · Mathematics 2024-01-04 Zachary Morrison , Moad Abudia , Joel Rosenfeld , Rushikesh Kamalapurar

NetworkDynamics.jl is an easy-to-use and computationally efficient package for working with heterogeneous dynamical systems on complex networks, written in Julia, a high-level, high-performance, dynamic programming language. By combining…

Mathematical Software · Computer Science 2021-07-02 Michael Lindner , Lucas Lincoln , Fenja Drauschke , Julia Monika Koulen , Hans Würfel , Anton Plietzsch , Frank Hellmann

As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support…

Software Engineering · Computer Science 2021-06-25 John D. Foley , Spencer Breiner , Eswaran Subrahmanian , John M. Dusel