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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Format:	Conference item
Sprog:	English
Udgivet:	2015

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Markov chains /
af: Freedman, David, 1938-
Udgivet: (1971)

Markov chains /
af: Norris, J. R. (James R.)
Udgivet: (1997)

Markov chains /
af: 229373 Revuz, D.
Udgivet: (1984)

Markov chains /
af: 229373 Revuz, D.
Udgivet: (1975)

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

Quantitative polymerase chain reaction.
af: Peirson, S, et al.
Udgivet: (2007)

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

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

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

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

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

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

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