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

Descrizione completa

Dettagli Bibliografici
Autori principali:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Natura:	Conference item
Lingua:	English
Pubblicazione:	2015

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Markov chains /
di: Freedman, David, 1938-
Pubblicazione: (1971)

Markov chains /
di: Norris, J. R. (James R.)
Pubblicazione: (1997)

Markov chains /
di: 229373 Revuz, D.
Pubblicazione: (1984)

Markov chains /
di: 229373 Revuz, D.
Pubblicazione: (1975)

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

Quantitative polymerase chain reaction.
di: Peirson, S, et al.
Pubblicazione: (2007)

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

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

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

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

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

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

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