Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks

Quantitative analysis of Markov models typically proceeds through numerical methods or simulation-based evaluation. Since the state space of the models can often be large, exact or approximate state aggregation methods (such as lumping or bisimulation reduction) have been proposed to improve the sca...

Полное описание

Библиографические подробности
Главные авторы:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Формат:	Conference item
Язык:	English
Опубликовано:	2015

Схожие документы

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
по: Abate, A, и др.
Опубликовано: (2016)

Adaptive formal approximations of Markov chains
по: Abate, A, и др.
Опубликовано: (2021)

Designing robust software systems through parametric markov chain synthesis
по: Kwiatkowska, M, и др.
Опубликовано: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
по: Brim, L, и др.
Опубликовано: (2013)

Precise parameter synthesis for stochastic biochemical systems
по: Kwiatkowska, M, и др.
Опубликовано: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
по: Češka, M, и др.
Опубликовано: (2016)

Programming discrete distributions with chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2017)

Programming discrete distributions with chemical reaction networks
по: Cardelli, L, и др.
Опубликовано: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
по: Cardelli, L, и др.
Опубликовано: (2016)

Robustness analysis of stochastic biochemical systems
по: Česka, M, и др.
Опубликовано: (2014)

Chemical reaction network designs for asynchronous logic circuits
по: Cardelli, L, и др.
Опубликовано: (2016)

Chemical reaction network designs for asynchronous logic circuits
по: Cardelli, L, и др.
Опубликовано: (2017)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
по: Chen, T, и др.
Опубликовано: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
по: Chen, T, и др.
Опубликовано: (2012)

Aggregated Markov models of a heterogeneous population of photovoltaic panels
по: Peruffo, A, и др.
Опубликовано: (2017)

Data-efficient Bayesian verification of parametric Markov chains
по: Polgreen, E, и др.
Опубликовано: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
по: Esmaeil Zadeh Soudjani, S, и др.
Опубликовано: (2015)

On Quantitative Comparison of Chemical Reaction Network Models
по: Ozan Kahramanoğulları
Опубликовано: (2019-07-01)

Quantitative model-checking of controlled discrete-time Markov processes
по: Tkachev, I, и др.
Опубликовано: (2016)

Load Forecast of Electric Trucks Aggregation Based on Higher-order Markov Chains
по: Hang LIU, и др.
Опубликовано: (2024-05-01)

CRA: Identifying Key Classes Using Markov-Chain-Based Ranking Aggregation
по: Xin Du, и др.
Опубликовано: (2022-09-01)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
по: Sadegh Esmaeil Zadeh Soudjani, и др.
Опубликовано: (2015-09-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
по: Kwiatkowska, M, и др.
Опубликовано: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
по: Cosentino, F, и др.
Опубликовано: (2021)

Abstraction-based segmental simulation of reaction networks using adaptive memoization
по: Martin Helfrich, и др.
Опубликовано: (2024-11-01)

Attainability for Markov and Semi-Markov Chains
по: Brecht Verbeken, и др.
Опубликовано: (2024-04-01)

Markov chains /
по: Freedman, David, 1938-
Опубликовано: (1971)

Markov chains /
по: Norris, J. R. (James R.)
Опубликовано: (1997)

Markov chains /
по: 229373 Revuz, D.
Опубликовано: (1984)

Markov chains /
по: 229373 Revuz, D.
Опубликовано: (1975)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
по: Giorgio Bacci, и др.
Опубликовано: (2018-11-01)

Quantitative polymerase chain reaction.
по: Peirson, S, и др.
Опубликовано: (2007)

Robustness analysis of stochastic biochemical systems.
по: Milan Ceska, и др.
Опубликовано: (2014-01-01)

Markov Chain Abstractions of Electrochemical Reaction-Diffusion in Synaptic Transmission for Neuromorphic Computing
по: Margot Wagner, и др.
Опубликовано: (2021-11-01)

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
по: Barnat, J, и др.
Опубликовано: (2012)

Computing Strongly Connected Components in Parallel on CUDA
по: Barnat, J, и др.
Опубликовано: (2011)

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
по: Jiří Barnat, и др.
Опубликовано: (2009-12-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
по: Laurenti, L, и др.
Опубликовано: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
по: Laurenti, L, и др.
Опубликовано: (2017)