English
Related papers

Related papers: Compositionality of the Runge-Kutta Method

200 papers

We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…

Commutative Algebra · Mathematics 2013-12-17 Krzysztof K. Putyra

The model of open quantum systems is adopted to describe the non-local dynamical behaviour of qubits processed by entangling gates. The analysis gets to the conclusion that a distinction between evaluation steps and task-oriented computing…

Quantum Physics · Physics 2015-12-24 Stefano Bonzio , Paola Verrucchi

The correspondence between residual networks and dynamical systems motivates researchers to unravel the physics of ResNets with well-developed tools in numeral methods of ODE systems. The Runge-Kutta-Fehlberg method is an adaptive time…

Machine Learning · Computer Science 2019-11-26 Yibo Yang , Jianlong Wu , Hongyang Li , Xia Li , Tiancheng Shen , Zhouchen Lin

Linear finite dynamical systems play an important role, for example, in coding theory and simulations. Methods for analyzing such systems are often restricted to cases in which the system is defined over a field %and usually strive to…

Dynamical Systems · Mathematics 2026-04-03 Jonas Kantic , Claudio Qureshi , Daniel Panario , Fabian Legl

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

The availability of interaction devices has raised interest in techniques to support the user interface (UI). A UI specification describes the functions that a system provides to its users by capturing the interface details and includes…

Software Engineering · Computer Science 2019-02-01 Sabah Al-Fedaghi

In this note we describe how some objects from generalized geometry appear in the qualitative analysis and numerical simulation of mechanical systems. In particular we discuss double vector bundles and Dirac structures. It turns out that…

Numerical Analysis · Mathematics 2018-07-19 Vladimir Salnikov , Aziz Hamdouni

This paper addresses problems on the structural design of control systems taking explicitly into consideration the possible application to large-scale systems. We provide an efficient and unified framework to solve the following major…

Optimization and Control · Mathematics 2014-09-23 Sergio Pequito , Soummya Kar , A. Pedro Aguiar

We give an overview of the two different methods that have been introduced in order to describe the dynamics of constrained quantum systems; the symplectic formulation and the metric formulation. The symplectic method extends the work of…

Quantum Physics · Physics 2015-05-13 Anna C. T. Gustavsson

When modeling complex robot systems such as branched robots, whose kinematic structures are a tree, current techniques often require modeling the whole structure from scratch, even when partial models for the branches are available. This…

Robotics · Computer Science 2024-07-23 Frederico Fernandes Afonso Silva , Bruno Vilhena Adorno

Decoupling systems into independently evolving components has a long history of simplifying seemingly complex systems. They enable a better understanding of the underlying dynamics and causal structures while providing more efficient means…

Quantum Physics · Physics 2024-06-11 Ximing Wang , Chengran Yang , Mile Gu

The climate is a complex non-equilibrium dynamical system that relaxes toward a steady state under the continuous input of solar radiation and dissipative mechanisms. The steady state is not necessarily unique. A useful tool to describe the…

Atmospheric and Oceanic Physics · Physics 2023-05-31 Maura Brunetti , Charline Ragon

A unified theoretical framework is suggested to examine the energy dissipation properties at all stages of additive implicit-explicit Runge-Kutta (IERK) methods up to fourth-order accuracy for gradient flow problems. We construct some…

Numerical Analysis · Mathematics 2024-10-10 Hong-lin Liao , Xuping Wang , Cao Wen

We address here the topological equivalence of knots through the so-called Reidemeister moves. These topology-conserving manipulations are recast into dynamical rules on the crossings of knot diagrams. This is presented in terms of a simple…

Statistical Mechanics · Physics 2015-09-14 Christian M. Rohwer , Kristian K. Müller-Nedebock

Physical systems with symmetries are described by functions containing kinematical and dynamical parts. We consider the case when kinematical symmetries are described by a noncompact semisimple real Lie group $G$. Then separation of…

Mathematical Physics · Physics 2008-04-24 Ivan Kachuryk , Anatoliy Klimyk

In this paper, we extend the Paired-Explicit Runge-Kutta schemes by Vermeire et. al. to fourth-order of consistency. Based on the order conditions for partitioned Runge-Kutta methods we motivate a specific form of the Butcher arrays which…

Thermodynamics of trajectories promises to make possible the thorough analysis of the dynamical properties of an open quantum system, a sought-after goal in modern physics. Unfortunately, calculation of the relevant quantities presents…

Quantum Physics · Physics 2016-06-14 Simon Pigeon , André Xuereb

Most complex systems are intrinsically dynamic in nature. The evolution of a dynamic complex system is typically represented as a sequence of snapshots, where each snapshot describes the configuration of the system at a particular instant…

Physics and Society · Physics 2016-12-30 Richard K. Darst , Clara Granell , Alex Arenas , Sergio Gómez , Jari Saramäki , Santo Fortunato

Incorporating a priori physics knowledge into machine learning leads to more robust and interpretable algorithms. In this work, we combine deep learning techniques and classic numerical methods for differential equations to address two…

Machine Learning · Computer Science 2026-05-04 Caitlin Ho , Andrea Arnold

Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. The number of equations required to describe a system with high heterogeneity limits our capability of…

Mathematical Software · Computer Science 2017-07-17 Andrea Vandin