English
Related papers

Related papers: Complexity of Model Testing for Dynamical Systems …

200 papers

Two of the most challenging tasks in molecular simulation consist in capturing the properties of systems with long-range interactions (e.g. electrolyte solutions) as well as systems containing large molecules such as hydrogels. For the…

Chemical Physics · Physics 2011-07-26 Jonathan Walter , Stephan Deublein , Steffen Reiser , Martin Horsch , Jadran Vrabec , Hans Hasse

Investigating the network stability or synchronization dynamics of multi-agent systems with time delays is of significant importance in numerous real-world applications. Such investigations often rely on solving the transcendental…

Dynamical Systems · Mathematics 2025-01-08 Shijie Zhou , Yang Luan , Xuzhe Qian , Wei Lin

The Edwards hypothesis of ergodicity of blocked configurations for gently tapped granular materials is tested for abstract models of spin systems on random graphs and spin chains with kinetic constraints. The tapping dynamics is modeled by…

Statistical Mechanics · Physics 2009-11-07 Johannes Berg , Silvio Franz , Mauro Sellitto

We analyze the solutions, on single network instances, of a recently introduced class of constraint-satisfaction problems (CSPs), describing feasible steady states of chemical reaction networks. First, we show that the CSPs generalize the…

Molecular Networks · Quantitative Biology 2014-03-05 Alessandro Seganti , Federico Ricci-Tersenghi , Andrea De Martino

This paper presents a discrete-time nonlinear system identification method while satisfying the stability and safety properties of the system with high probability. An Extreme Learning Machine (ELM) is used with a Gaussian assumption on the…

Systems and Control · Electrical Eng. & Systems 2022-10-04 Iman Salehi , Tyler Taplin , Ashwin P. Dani

The development of blood-handling medical devices, such as ventricular assist devices, requires the analysis of their biocompatibility. Among other aspects, this includes hemolysis, i.e., red blood cell damage. For this purpose,…

Fluid Dynamics · Physics 2024-04-15 Nico Dirkes , Fabian Key , Marek Behr

We use dynamic light scattering and computer simulations to study equilibrium dynamics and dynamic heterogeneity in concentrated suspensions of colloidal hard spheres. Our study covers an unprecedented density range and spans seven decades…

The analysis of non-equilibrium steady states of biochemical reaction networks relies on finding the configurations of fluxes and chemical potentials satisfying stoichiometric (mass balance) and thermodynamic (energy balance) constraints.…

Molecular Networks · Quantitative Biology 2011-07-13 Daniele De Martino , Matteo Figliuzzi , Andrea De Martino , Enzo Marinari

Complex networks are a useful tool to investigate various phenomena in social science, economics, and logistics. Node Vector Distance (NVD) is an emerging set of techniques allowing us to estimate the distance and correlation between…

Social and Information Networks · Computer Science 2023-10-18 Michele Coscia , Karel Devriendt

The abundance of data affords researchers to pursue more powerful computational tools to learn the dynamics of complex system, such as neural networks, engineered systems and social networks. Traditional machine learning approaches capture…

Machine Learning · Computer Science 2024-05-16 Yan Shen , Fan Yang , Mingchen Gao , Wen Dong

Using random walk sampling methods for feature learning on networks, we develop a method for generating low-dimensional node embeddings for directed graphs and identifying transition states of stochastic chemical reacting systems. We…

Numerical Analysis · Mathematics 2020-10-30 Paula Mercurio , Di Liu

Phase behaviors of two-dimensional (2D) systems constitute a fundamental topic in condensed matter and statistical physics. Although hard polygons and interactive point-like particles are well studied, the phase behaviors of more realistic…

Soft Condensed Matter · Physics 2024-08-06 Ruijian Zhu , Yanting Wang

We study the safety verification problem for discrete-time stochastic systems. We propose an approach for safety verification termed set-erosion strategy that verifies the safety of a stochastic system on a safe set through the safety of…

Systems and Control · Electrical Eng. & Systems 2024-10-04 Zishun Liu , Saber Jafarpour , Yongxin Chen

Game dynamics theory, as a field of science, the consistency of theory and experiment is essential. In the past 10 years, important progress has been made in the merging of the theory and experiment in this field, in which dynamics cycle is…

Theoretical Economics · Economics 2024-11-13 Zhijian Wang , Shujie Zhou , Qinmei Yao , Yijia Wang

Numerical simulations of high energy-density experiments require equation of state (EOS) models that relate a material's thermodynamic state variables -- specifically pressure, volume/density, energy, and temperature. EOS models are…

Data Analysis, Statistics and Probability · Physics 2024-02-26 Himanshu Sharma , Jim A. Gaffney , Dimitrios Tsapetis , Michael D. Shields

Complex turbulent flow simulations are an integral aspect of the engineering design process. The mainstay of these simulations is represented by eddy viscosity based turbulence models. Eddy viscosity models are computationally cheap due to…

Fluid Dynamics · Physics 2024-08-14 Minghan Chu , Weicheng Qian

Numerical solution of the chemical master equation for stochastic reaction networks typically suffers from the state space explosion problem due to the curse of dimensionality and from stiffness due to multiple time scales. The dimension of…

Molecular Networks · Quantitative Biology 2019-07-25 Linar Mikeev , Werner Sandmann

Machine learning approaches have been widely used for discovering the underlying physics of dynamical systems from measured data. Existing approaches, however, still lack robustness, especially when the measured data contain a large level…

Computational Engineering, Finance, and Science · Computer Science 2022-06-08 Zhiming Zhang , Yongming Liu

Training a deep neural network (DNN) often involves stochastic optimization, which means each run will produce a different model. Several works suggest this variability is negligible when models have the same performance, which in the case…

Machine Learning · Statistics 2023-10-03 Sinjini Banerjee , Reilly Cannon , Tim Marrinan , Tony Chiang , Anand D. Sarwate

We assess the performance of EUCLID, Efficient Unsupervised Constitutive Law Identification and Discovery, a recently proposed framework for automated discovery of constitutive laws, on experimental data. Mechanical tests are performed on…