English
Related papers

Related papers: Effective algorithm of analysis of integrability v…

200 papers

Simulation workflow is a top-level model for the design and control of simulation process. It connects multiple simulation components with time and interaction restrictions to form a complete simulation system. Before the construction and…

Machine Learning · Computer Science 2022-07-12 Zhuqing Liu , Liyuanjun Lai , Lin Zhang

Motivated by the development and deployment of large-scale dynamical systems, often composed of geographically distributed smaller subsystems, we address the problem of verifying their controllability in a distributed manner. In this work…

Optimization and Control · Mathematics 2015-06-19 Joao Carvalho , Sergio Pequito , A. Pedro Aguiar , Soummya Kar , Karl H. Johansson

This paper explores the state of the art on to methods to verify and validate navigation algorithms for autonomous surface ships. We perform a systematic mapping study to find research works published in the last 10 years proposing new…

Artificial Intelligence · Computer Science 2021-01-18 Ivan Porres , Sepinoud Azimi , Sébastien Lafond , Johan Lilius , Johanna Salokannel , Mirva Salokorpi

Many applications of computational fluid dynamics require multiple simulations of a flow under different input conditions. In this paper, a numerical algorithm is developed to efficiently determine a set of such simulations in which the…

Numerical Analysis · Mathematics 2017-05-29 Max Gunzburger , Nan Jiang , Zhu Wang

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

Physics-based animation of soft or rigid bodies for real-time applications often suffers from numerical instabilities. We analyse one of the most common sources of unwanted behaviour: the numerical integration strategy. To assess the impact…

Graphics · Computer Science 2013-11-21 Teodor Cioaca , Horea Caramizaru

Quantitatively evaluating and comparing the performance of robotic solutions that are designed to work under a variety of conditions is inherently challenging because they need to be evaluated under numerous precisely repeatable conditions…

Robotics · Computer Science 2019-03-26 Achim Gerstenberg , Martin Steinert

Functional aspects as well as the influence of integration technology on the system behavior have to be considered in the 3D integration design process of micro systems. Therefore, information from different physical domains has to be…

Other Computer Science · Computer Science 2008-02-22 P. Schneider , S. Reitz , A. Wilde , G. Elst , P. Schwarz

An extremely scalable linear-algebraic algorithm was developed for quantum material simulation (electronic state calculation) with 10$^8$ atoms or 100-nm-scale materials. The mathematical foundation is generalized shifted linear equations…

Considerable research has been devoted to deep learning-based predictive models for system prognostics and health management in the reliability and safety community. However, there is limited study on the utilization of deep learning for…

Machine Learning · Statistics 2021-09-07 Taotao Zhou , Enrique Lopez Droguett , Ali Mosleh

This document is both a synthesis of current notions about complex systems, and a practical approach description. A disambiguation is proposed and exposes possible reasons for controversies related to causation and emergence. Theoretical…

Adaptation and Self-Organizing Systems · Physics 2008-03-05 Nicolas Brodu

In the following, we discuss nonlinear simulations of nonlinear dynamical systems, which are applied in technical and biological models. We deal with different ideas to overcome the treatment of the nonlinearities and discuss a novel…

Numerical Analysis · Mathematics 2014-12-01 Juergen Geiser , Vahid Yaghoubi

This short paper describes a numerical method for optimising the conservative confidence bound on the reliability of a system based on tests of its individual components. This is an alternative to the algorithmic approaches identified in…

Software Engineering · Computer Science 2022-02-01 Peter Bishop , Andrey Povyakalo

Computer simulations that demonstrate the valueof novel approaches are crucial to developing more flexibleand robust power systems operations with high penetrations ofrenewable energy at multiple geographic and temporal scales.However,…

Systems and Control · Electrical Eng. & Systems 2020-09-01 Jose Daniel Lara , Jonathan T. Lee , Duncan Callaway , Bri-Mathias Hodge

This review gives an overview on the research of algorithms for dynamical fermions used in large scale lattice QCD simulations. First a short overview on the state-of-the-art of ensemble generation at the physical point is given. Followed…

High Energy Physics - Lattice · Physics 2024-02-20 Jacob Finkenrath

We deliver a call to arms for probabilistic numerical methods: algorithms for numerical tasks, including linear algebra, integration, optimization and solving differential equations, that return uncertainties in their calculations. Such…

Numerical Analysis · Mathematics 2016-02-17 Philipp Hennig , Michael A Osborne , Mark Girolami

We expose (without proofs) a unified computational approach to integrable structures (including recursion, Hamiltonian, and symplectic operators) based on geometrical theory of partial differential equations. We adopt a coordinate based…

Exactly Solvable and Integrable Systems · Physics 2012-07-17 Iosif Krasil'shchik , Alexander Verbovetsky , Raffaele Vitolo

Computer Algebra systems are widely spread because of some of their remarkable features such as their ease of use and performance. Nonetheless, this focus on performance sometimes leads to unwanted consequences: algorithms and computations…

Logic in Computer Science · Computer Science 2014-01-27 Jesús Aransay , Jose Divasón

We develop a system-theoretic framework for the structured analysis of distributed optimization algorithms with decomposable cost functions. We model such algorithms as a network of interacting dynamical systems and derive tests for…

Optimization and Control · Mathematics 2026-04-14 Aron Karakai , Jaap Eising , Andrea Martinelli , Florian Dörfler

We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a…

Group Theory · Mathematics 2019-05-13 W. A. de Graaf , A. S. Detinko , D. L. Flannery