English
Related papers

Related papers: A Gap between Simulation and Practice for Recursiv…

200 papers

In this work, we generalize the concept of bisimulation metric in order to metrize the behaviour of continuous-time processes. Similarly to what is done for discrete-time systems, we follow two approaches and show that they coincide: as a…

Logic in Computer Science · Computer Science 2025-01-23 Linan Chen , Florence Clerc , Prakash Panangaden

Business process simulation is an approach to evaluate business process changes prior to implementation. Existing methods in this field primarily support tactical decision-making, where simulations start from an empty state and aim to…

Software Engineering · Computer Science 2025-09-10 Maksym Avramenko , David Chapela-Campa , Marlon Dumas , Fredrik Milani

Differentiable particle filters are an emerging class of particle filtering methods that use neural networks to construct and learn parametric state-space models. In real-world applications, both the state dynamics and measurements can…

Signal Processing · Electrical Eng. & Systems 2023-05-04 Wenhan Li , Xiongjie Chen , Wenwu Wang , Víctor Elvira , Yunpeng Li

Noise-induced phase transitions are common in various complex systems, from physics to biology. In this article, we investigate the emergence of crucial events in noise-induced phase transition processes and their potential significance for…

Data Analysis, Statistics and Probability · Physics 2023-06-28 Jacob D. Baxley , David R. Lambert , Mauro Bologna , Bruce J. West , Paolo Grigolini

Recent measurements of durations of non-equilibrium processes provide valuable information on microscopic mechanisms and energetics. Comprehensive theory for corresponding experiments so far is well developed for single-particle systems…

Statistical Mechanics · Physics 2020-09-04 David Voráč , Philipp Maass , Artem Ryabov

Psychological change processes, such as university student dropout in math, often exhibit discrete latent state transitions and can be studied using regime-switching models with intensive longitudinal data (ILD). Recently, regime-switching…

Methodology · Statistics 2025-12-23 Kento Okuyama , Tim Fabian Schaffland , Pascal Kilian , Holger Brandt , Augustin Kelava

This paper considers the approximation of the continuous time filtering equation for the case of a multiple timescale (slow-intermediate, and fast scales) that may have correlation between the slow-intermediate process and the observation…

Probability · Mathematics 2020-11-02 Ryne Beeson , N. Sri Namachchivaya , Nicolas Perkowski

We investigate nonlinear state-space models without a closed-form transition density, and propose reformulating such models over their latent noise variables rather than their latent state variables. In doing so the tractable noise density…

Computation · Statistics 2013-12-11 Lawrence M. Murray , Emlyn M. Jones , John Parslow

When is keeping a memory of observations worthwhile? We use hidden Markov models to look at phase transitions that emerge when comparing state estimates in systems with discrete states and noisy observations. We infer the underlying state…

Statistical Mechanics · Physics 2017-07-05 Emma Lathouwers , John Bechhoefer

Traditional models of climate change use complex systems of coupled equations to simulate physical processes across the Earth system. These simulations are highly computationally expensive, limiting our predictions of climate change and…

An important part of system modeling is determining parameter values, particularly for biomolecular systems, where direct measurements of individual parameters are typically hard. While Extended Kalman Filters have been used for this…

Quantitative Methods · Quantitative Biology 2018-11-13 Abhishek Dey , Kushal Chakrabarti , Krishan Kumar Gola , Shaunak Sen

Recent approaches to verifying programs in separation logics for concurrency have used state transition systems (STSs) to specify the atomic operations of programs. A key challenge in the setting has been to compose such STSs into larger…

Programming Languages · Computer Science 2017-09-25 Aleksandar Nanevski , Anindya Banerjee , Germán Andrés Delbianco

In this paper, we propose a filtering algorithm for simultaneously estimating the mode, input and state of hidden mode switched linear stochastic systems with unknown inputs. Using a multiple-model approach with a bank of linear input and…

Optimization and Control · Mathematics 2016-06-28 Sze Zheng Yong , Minghui Zhu , Emilio Frazzoli

Markov branching systems form a fundamental class of stochastic models that are extensively applied in biology, physics, finance, and other domains. These systems are distinguished by their continuous-time evolution and inherent branching…

Information transmission in biological signaling circuits has often been described using the metaphor of a noise filter. Cellular systems need accurate, real-time data about their environmental conditions, but the biochemical reaction…

Molecular Networks · Quantitative Biology 2019-02-27 David Hathcock , James Sheehy , Casey Weisenberger , Efe Ilker , Michael Hinczewski

This report provides a brief historical evolution of the concepts in the Kalman filtering theory since ancient times to the present. A brief description of the filter equations its aesthetics, beauty, truth, fascinating perspectives and…

Methodology · Statistics 2015-03-17 Shyam Mohan M , Naren Naik , R. M. O. Gemson , M. R. Ananthasayanam

Computational and human perception are often considered separate approaches for studying sound changes over time; few works have touched on the intersection of both. To fill this research gap, we provide a pioneering review contrasting…

Computation and Language · Computer Science 2024-07-09 Siqi He , Wei Zhao

Computing circuits composed of noisy logical gates and their ability to represent arbitrary Boolean functions with a given level of error are investigated within a statistical mechanics setting. Bounds on their performance, derived in the…

Disordered Systems and Neural Networks · Physics 2015-05-14 Alexander Mozeika , David Saad , Jack Raymond

It is a well established result that, in classical dynamical systems with sufficient time-scale separation, the fast chaotic degrees of freedom are well modeled by (Gaussian) white noise. In this paper, we present the stochastic dynamical…

Statistical Mechanics · Physics 2009-12-06 Jun Chul Park

Modeling and simulation of complex systems is key to explore systems dynamics. Many scientific approaches were developed to represent dynamic structure systems but most of these approaches are efficient for some kinds of systems and…

Software Engineering · Computer Science 2024-04-08 Aya Attia , Clément Foucher , Luiz Fernando Lavado Villa