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

Descripció completa

Dades bibliogràfiques
Autors principals:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Format:	Conference item
Idioma:	English
Publicat:	2015

Ítems similars

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
per: Abate, A, et al.
Publicat: (2016)

Adaptive formal approximations of Markov chains
per: Abate, A, et al.
Publicat: (2021)

Designing robust software systems through parametric markov chain synthesis
per: Kwiatkowska, M, et al.
Publicat: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
per: Cardelli, L, et al.
Publicat: (2017)

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

Precise parameter synthesis for stochastic biochemical systems
per: Kwiatkowska, M, et al.
Publicat: (2016)

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

Programming discrete distributions with chemical reaction networks
per: Cardelli, L, et al.
Publicat: (2017)

Programming discrete distributions with chemical reaction networks
per: Cardelli, L, et al.
Publicat: (2016)

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

Robustness analysis of stochastic biochemical systems
per: Česka, M, et al.
Publicat: (2014)

Chemical reaction network designs for asynchronous logic circuits
per: Cardelli, L, et al.
Publicat: (2016)

Chemical reaction network designs for asynchronous logic circuits
per: Cardelli, L, et al.
Publicat: (2017)

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

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

Aggregated Markov models of a heterogeneous population of photovoltaic panels
per: Peruffo, A, et al.
Publicat: (2017)

Data-efficient Bayesian verification of parametric Markov chains
per: Polgreen, E, et al.
Publicat: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
per: Esmaeil Zadeh Soudjani, S, et al.
Publicat: (2015)

On Quantitative Comparison of Chemical Reaction Network Models
per: Ozan Kahramanoğulları
Publicat: (2019-07-01)

Quantitative model-checking of controlled discrete-time Markov processes
per: Tkachev, I, et al.
Publicat: (2016)

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

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

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

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

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

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

Attainability for Markov and Semi-Markov Chains
per: Brecht Verbeken, et al.
Publicat: (2024-04-01)

Markov chains /
per: Freedman, David, 1938-
Publicat: (1971)

Markov chains /
per: Norris, J. R. (James R.)
Publicat: (1997)

Markov chains /
per: 229373 Revuz, D.
Publicat: (1984)

Markov chains /
per: 229373 Revuz, D.
Publicat: (1975)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
per: Giorgio Bacci, et al.
Publicat: (2018-11-01)

Quantitative polymerase chain reaction.
per: Peirson, S, et al.
Publicat: (2007)

Robustness analysis of stochastic biochemical systems.
per: Milan Ceska, et al.
Publicat: (2014-01-01)

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

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

Computing Strongly Connected Components in Parallel on CUDA
per: Barnat, J, et al.
Publicat: (2011)

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

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

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