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

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Format:	Conference item
Język:	English
Wydane:	2015

Podobne zapisy

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
od: Abate, A, i wsp.
Wydane: (2016)

Adaptive formal approximations of Markov chains
od: Abate, A, i wsp.
Wydane: (2021)

Designing robust software systems through parametric markov chain synthesis
od: Kwiatkowska, M, i wsp.
Wydane: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
od: Cardelli, L, i wsp.
Wydane: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
od: Brim, L, i wsp.
Wydane: (2013)

Precise parameter synthesis for stochastic biochemical systems
od: Kwiatkowska, M, i wsp.
Wydane: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
od: Češka, M, i wsp.
Wydane: (2016)

Programming discrete distributions with chemical reaction networks
od: Cardelli, L, i wsp.
Wydane: (2017)

Programming discrete distributions with chemical reaction networks
od: Cardelli, L, i wsp.
Wydane: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
od: Cardelli, L, i wsp.
Wydane: (2016)

Robustness analysis of stochastic biochemical systems
od: Česka, M, i wsp.
Wydane: (2014)

Chemical reaction network designs for asynchronous logic circuits
od: Cardelli, L, i wsp.
Wydane: (2016)

Chemical reaction network designs for asynchronous logic circuits
od: Cardelli, L, i wsp.
Wydane: (2017)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
od: Chen, T, i wsp.
Wydane: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
od: Chen, T, i wsp.
Wydane: (2012)

Aggregated Markov models of a heterogeneous population of photovoltaic panels
od: Peruffo, A, i wsp.
Wydane: (2017)

Data-efficient Bayesian verification of parametric Markov chains
od: Polgreen, E, i wsp.
Wydane: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
od: Esmaeil Zadeh Soudjani, S, i wsp.
Wydane: (2015)

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

Quantitative model-checking of controlled discrete-time Markov processes
od: Tkachev, I, i wsp.
Wydane: (2016)

Load Forecast of Electric Trucks Aggregation Based on Higher-order Markov Chains
od: Hang LIU, i wsp.
Wydane: (2024-05-01)

CRA: Identifying Key Classes Using Markov-Chain-Based Ranking Aggregation
od: Xin Du, i wsp.
Wydane: (2022-09-01)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
od: Sadegh Esmaeil Zadeh Soudjani, i wsp.
Wydane: (2015-09-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
od: Kwiatkowska, M, i wsp.
Wydane: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
od: Cosentino, F, i wsp.
Wydane: (2021)

Abstraction-based segmental simulation of reaction networks using adaptive memoization
od: Martin Helfrich, i wsp.
Wydane: (2024-11-01)

Attainability for Markov and Semi-Markov Chains
od: Brecht Verbeken, i wsp.
Wydane: (2024-04-01)

Markov chains /
od: Freedman, David, 1938-
Wydane: (1971)

Markov chains /
od: Norris, J. R. (James R.)
Wydane: (1997)

Markov chains /
od: 229373 Revuz, D.
Wydane: (1984)

Markov chains /
od: 229373 Revuz, D.
Wydane: (1975)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
od: Giorgio Bacci, i wsp.
Wydane: (2018-11-01)

Quantitative polymerase chain reaction.
od: Peirson, S, i wsp.
Wydane: (2007)

Robustness analysis of stochastic biochemical systems.
od: Milan Ceska, i wsp.
Wydane: (2014-01-01)

Markov Chain Abstractions of Electrochemical Reaction-Diffusion in Synaptic Transmission for Neuromorphic Computing
od: Margot Wagner, i wsp.
Wydane: (2021-11-01)

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
od: Barnat, J, i wsp.
Wydane: (2012)

Computing Strongly Connected Components in Parallel on CUDA
od: Barnat, J, i wsp.
Wydane: (2011)

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
od: Jiří Barnat, i wsp.
Wydane: (2009-12-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
od: Laurenti, L, i wsp.
Wydane: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
od: Laurenti, L, i wsp.
Wydane: (2017)