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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Abate, A, Brim, L, Ceska, M, Kwiatkowska, M
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	2015

Míreanna comhchosúla

Approximate policy iteration for Markov decision processes via quantitative adaptive aggregations
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2016)

Adaptive formal approximations of Markov chains
de réir: Abate, A, et al.
Foilsithe / Cruthaithe: (2021)

Designing robust software systems through parametric markov chain synthesis
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2017)

Syntax-guided optimal synthesis for chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
de réir: Brim, L, et al.
Foilsithe / Cruthaithe: (2013)

Precise parameter synthesis for stochastic biochemical systems
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2016)

PRISM-PSY: Precise GPU-accelerated parameter synthesis for stochastic systems
de réir: Češka, M, et al.
Foilsithe / Cruthaithe: (2016)

Programming discrete distributions with chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Programming discrete distributions with chemical reaction networks
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Stochastic analysis of chemical reaction networks using linear noise approximation
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Robustness analysis of stochastic biochemical systems
de réir: Česka, M, et al.
Foilsithe / Cruthaithe: (2014)

Chemical reaction network designs for asynchronous logic circuits
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2016)

Chemical reaction network designs for asynchronous logic circuits
de réir: Cardelli, L, et al.
Foilsithe / Cruthaithe: (2017)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
de réir: Chen, T, et al.
Foilsithe / Cruthaithe: (2012)

Aggregated Markov models of a heterogeneous population of photovoltaic panels
de réir: Peruffo, A, et al.
Foilsithe / Cruthaithe: (2017)

Data-efficient Bayesian verification of parametric Markov chains
de réir: Polgreen, E, et al.
Foilsithe / Cruthaithe: (2016)

Quantitative approximation of the probability distribution of a Markov process by formal abstractions
de réir: Esmaeil Zadeh Soudjani, S, et al.
Foilsithe / Cruthaithe: (2015)

On Quantitative Comparison of Chemical Reaction Network Models
de réir: Ozan Kahramanoğulları
Foilsithe / Cruthaithe: (2019-07-01)

Quantitative model-checking of controlled discrete-time Markov processes
de réir: Tkachev, I, et al.
Foilsithe / Cruthaithe: (2016)

Load Forecast of Electric Trucks Aggregation Based on Higher-order Markov Chains
de réir: Hang LIU, et al.
Foilsithe / Cruthaithe: (2024-05-01)

CRA: Identifying Key Classes Using Markov-Chain-Based Ranking Aggregation
de réir: Xin Du, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
de réir: Sadegh Esmaeil Zadeh Soudjani, et al.
Foilsithe / Cruthaithe: (2015-09-01)

Approximation of probabilistic reachability for chemical reaction networks using the linear noise approximation
de réir: Kwiatkowska, M, et al.
Foilsithe / Cruthaithe: (2016)

Markov chain approximations to stochastic differential equations by recombination on lattice trees
de réir: Cosentino, F, et al.
Foilsithe / Cruthaithe: (2021)

Abstraction-based segmental simulation of reaction networks using adaptive memoization
de réir: Martin Helfrich, et al.
Foilsithe / Cruthaithe: (2024-11-01)

Attainability for Markov and Semi-Markov Chains
de réir: Brecht Verbeken, et al.
Foilsithe / Cruthaithe: (2024-04-01)

Markov chains /
de réir: Freedman, David, 1938-
Foilsithe / Cruthaithe: (1971)

Markov chains /
de réir: Norris, J. R. (James R.)
Foilsithe / Cruthaithe: (1997)

Markov chains /
de réir: 229373 Revuz, D.
Foilsithe / Cruthaithe: (1984)

Markov chains /
de réir: 229373 Revuz, D.
Foilsithe / Cruthaithe: (1975)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
de réir: Giorgio Bacci, et al.
Foilsithe / Cruthaithe: (2018-11-01)

Quantitative polymerase chain reaction.
de réir: Peirson, S, et al.
Foilsithe / Cruthaithe: (2007)

Robustness analysis of stochastic biochemical systems.
de réir: Milan Ceska, et al.
Foilsithe / Cruthaithe: (2014-01-01)

Markov Chain Abstractions of Electrochemical Reaction-Diffusion in Synaptic Transmission for Neuromorphic Computing
de réir: Margot Wagner, et al.
Foilsithe / Cruthaithe: (2021-11-01)

Designing Fast LTL Model Checking Algorithms for Many−Core GPUs
de réir: Barnat, J, et al.
Foilsithe / Cruthaithe: (2012)

Computing Strongly Connected Components in Parallel on CUDA
de réir: Barnat, J, et al.
Foilsithe / Cruthaithe: (2011)

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
de réir: Jiří Barnat, et al.
Foilsithe / Cruthaithe: (2009-12-01)

Reachability computation for switching diffusions: finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)

Reachability computation for switching diffusions: Finite abstractions with certifiable and tuneable precision
de réir: Laurenti, L, et al.
Foilsithe / Cruthaithe: (2017)