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)