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...

书目详细资料
Main Authors:	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, et al.
出版: (2016)

Adaptive formal approximations of Markov chains
由: Abate, A, et al.
出版: (2021)

Designing robust software systems through parametric markov chain synthesis
由: Kwiatkowska, M, et al.
出版: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
由: Cardelli, L, et al.
出版: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
由: Brim, L, et al.
出版: (2013)

Precise parameter synthesis for stochastic biochemical systems
由: Kwiatkowska, M, et al.
出版: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
由: Češka, M, et al.
出版: (2016)

Programming discrete distributions with chemical reaction networks
由: Cardelli, L, et al.
出版: (2017)

Programming discrete distributions with chemical reaction networks
由: Cardelli, L, et al.
出版: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
由: Cardelli, L, et al.
出版: (2016)

Robustness analysis of stochastic biochemical systems
由: Česka, M, et al.
出版: (2014)

Chemical reaction network designs for asynchronous logic circuits
由: Cardelli, L, et al.
出版: (2016)

Chemical reaction network designs for asynchronous logic circuits
由: Cardelli, L, et al.
出版: (2017)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
由: Chen, T, et al.
出版: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
由: Chen, T, et al.
出版: (2012)

Aggregated Markov models of a heterogeneous population of photovoltaic panels
由: Peruffo, A, et al.
出版: (2017)

Data-efficient Bayesian verification of parametric Markov chains
由: Polgreen, E, et al.
出版: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
由: Esmaeil Zadeh Soudjani, S, et al.
出版: (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, et al.
出版: (2016)

Load Forecast of Electric Trucks Aggregation Based on Higher-order Markov Chains
由: Hang LIU, et al.
出版: (2024-05-01)

CRA: Identifying Key Classes Using Markov-Chain-Based Ranking Aggregation
由: Xin Du, et al.
出版: (2022-09-01)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
由: Sadegh Esmaeil Zadeh Soudjani, et al.
出版: (2015-09-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
由: Kwiatkowska, M, et al.
出版: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
由: Cosentino, F, et al.
出版: (2021)

Abstraction-based segmental simulation of reaction networks using adaptive memoization
由: Martin Helfrich, et al.
出版: (2024-11-01)

Attainability for Markov and Semi-Markov Chains
由: Brecht Verbeken, et al.
出版: (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, et al.
出版: (2018-11-01)

Quantitative polymerase chain reaction.
由: Peirson, S, et al.
出版: (2007)

Robustness analysis of stochastic biochemical systems.
由: Milan Ceska, et al.
出版: (2014-01-01)

Markov Chain Abstractions of Electrochemical Reaction-Diffusion in Synaptic Transmission for Neuromorphic Computing
由: Margot Wagner, et al.
出版: (2021-11-01)

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
由: Barnat, J, et al.
出版: (2012)

Computing Strongly Connected Components in Parallel on CUDA
由: Barnat, J, et al.
出版: (2011)

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
由: Jiří Barnat, et al.
出版: (2009-12-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
由: Laurenti, L, et al.
出版: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
由: Laurenti, L, et al.
出版: (2017)