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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Định dạng:	Conference item
Ngôn ngữ:	English
Được phát hành:	2015

Những quyển sách tương tự

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
Bằng: Abate, A, et al.
Được phát hành: (2016)

Adaptive formal approximations of Markov chains
Bằng: Abate, A, et al.
Được phát hành: (2021)

Designing robust software systems through parametric markov chain synthesis
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
Bằng: Brim, L, et al.
Được phát hành: (2013)

Precise parameter synthesis for stochastic biochemical systems
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
Bằng: Češka, M, et al.
Được phát hành: (2016)

Programming discrete distributions with chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Programming discrete distributions with chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Robustness analysis of stochastic biochemical systems
Bằng: Česka, M, et al.
Được phát hành: (2014)

Chemical reaction network designs for asynchronous logic circuits
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Chemical reaction network designs for asynchronous logic circuits
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Aggregated Markov models of a heterogeneous population of photovoltaic panels
Bằng: Peruffo, A, et al.
Được phát hành: (2017)

Data-efficient Bayesian verification of parametric Markov chains
Bằng: Polgreen, E, et al.
Được phát hành: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
Bằng: Esmaeil Zadeh Soudjani, S, et al.
Được phát hành: (2015)

On Quantitative Comparison of Chemical Reaction Network Models
Bằng: Ozan Kahramanoğulları
Được phát hành: (2019-07-01)

Quantitative model-checking of controlled discrete-time Markov processes
Bằng: Tkachev, I, et al.
Được phát hành: (2016)

Load Forecast of Electric Trucks Aggregation Based on Higher-order Markov Chains
Bằng: Hang LIU, et al.
Được phát hành: (2024-05-01)

CRA: Identifying Key Classes Using Markov-Chain-Based Ranking Aggregation
Bằng: Xin Du, et al.
Được phát hành: (2022-09-01)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Bằng: Sadegh Esmaeil Zadeh Soudjani, et al.
Được phát hành: (2015-09-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
Bằng: Cosentino, F, et al.
Được phát hành: (2021)

Abstraction-based segmental simulation of reaction networks using adaptive memoization
Bằng: Martin Helfrich, et al.
Được phát hành: (2024-11-01)

Attainability for Markov and Semi-Markov Chains
Bằng: Brecht Verbeken, et al.
Được phát hành: (2024-04-01)

Markov chains /
Bằng: Freedman, David, 1938-
Được phát hành: (1971)

Markov chains /
Bằng: Norris, J. R. (James R.)
Được phát hành: (1997)

Markov chains /
Bằng: 229373 Revuz, D.
Được phát hành: (1984)

Markov chains /
Bằng: 229373 Revuz, D.
Được phát hành: (1975)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bằng: Giorgio Bacci, et al.
Được phát hành: (2018-11-01)

Quantitative polymerase chain reaction.
Bằng: Peirson, S, et al.
Được phát hành: (2007)

Robustness analysis of stochastic biochemical systems.
Bằng: Milan Ceska, et al.
Được phát hành: (2014-01-01)

Markov Chain Abstractions of Electrochemical Reaction-Diffusion in Synaptic Transmission for Neuromorphic Computing
Bằng: Margot Wagner, et al.
Được phát hành: (2021-11-01)

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
Bằng: Barnat, J, et al.
Được phát hành: (2012)

Computing Strongly Connected Components in Parallel on CUDA
Bằng: Barnat, J, et al.
Được phát hành: (2011)

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Bằng: Jiří Barnat, et al.
Được phát hành: (2009-12-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
Bằng: Laurenti, L, et al.
Được phát hành: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
Bằng: Laurenti, L, et al.
Được phát hành: (2017)