Algorithmic minimization of uncertain continuous-time Markov chains

Algorithmic minimization of uncertain continuous-time Markov chains

The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is undermined when confronted with reality, where they may be uncertain due to lack of information or because of measurement noise. Here we consider uncertain CTMCs (UCTMCs), where rates are assumed to va...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	IEEE 2023

Những quyển sách tương tự

Lumpability for uncertain continuous-time Markov chains
Bằng: Cardelli, L, et al.
Được phát hành: (2021)

Comparing chemical reaction networks: a categorical and algorithmic perspective
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Comparing chemical reaction networks: A categorical and algorithmic perspective
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Syntactic markovian bisimulation for chemical reaction networks
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis
Bằng: Cardelli, L, et al.
Được phát hành: (2018)

Guaranteed error bounds on approximate model abstractions through reachability analysis
Bằng: Cardelli, L, et al.
Được phát hành: (2018)

Maximal aggregation of polynomial dynamical systems
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

ERODE: A tool for the evaluation and reduction of ordinary differential equations
Bằng: Cardelli, L, et al.
Được phát hành: (2017)

Symbolic computation of differential equivalences
Bằng: Cardelli, L, et al.
Được phát hành: (2019)

Efficient syntax-driven lumping of differential equations
Bằng: Cardelli, L, et al.
Được phát hành: (2016)

Exact maximal reduction of stochastic reaction networks by species lumping
Bằng: Cardelli, L, et al.
Được phát hành: (2021)

From electric circuits to chemical networks
Bằng: Cardelli, L, et al.
Được phát hành: (2019)

Reducing Boolean networks with backward equivalence
Bằng: Georgios A. Argyris, et al.
Được phát hành: (2023-05-01)

Matrix Analysis for Continuous-Time Markov Chains
Bằng: Le Hung V., et al.
Được phát hành: (2021-12-01)

PID control of biochemical reaction networks
Bằng: Whitby, M, et al.
Được phát hành: (2020)

PID control of biochemical reaction networks
Bằng: Whitby, M, et al.
Được phát hành: (2021)

Extended Differential Aggregations in Process Algebra for Performance and Biology
Bằng: Max Tschaikowski, et al.
Được phát hành: (2014-06-01)

A Partial-differential Approximation for Spatial Stochastic Process Algebra
Bằng: Max Tschaikowski, et al.
Được phát hành: (2015-12-01)

Verification of Linear Duration Properties over Continuous−Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Verification of Linear Duration Properties over Continuous Time Markov Chains
Bằng: Chen, T, et al.
Được phát hành: (2012)

Sampling Based Approaches for Minimizing Regret in Uncertain Markov Decision Processes (MDPs)
Bằng: Ahmed, Asrar, et al.
Được phát hành: (2021)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
Bằng: Hahn, E, et al.
Được phát hành: (2009)

Importance Sampling for Model Checking of Continuous Time Markov Chains
Bằng: Barbot, B, et al.
Được phát hành: (2015)

Comparison of Continuous-Time Partial Markov Chain Construction by Heuristic Algorithms for Purpose of Approximate Transient Analysis
Bằng: Eimutis Valakevičius, et al.
Được phát hành: (2025-01-01)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Bằng: Taolue Chen, et al.
Được phát hành: (2011-03-01)

Uncertain Motion Tracking Combined Markov Chain Monte Carlo and Correlation Filters
Bằng: Huanlong Zhang, et al.
Được phát hành: (2019-01-01)

Uniqueness criteria for continuous-time Markov chains with general transition structures
Bằng: Chen, A, et al.
Được phát hành: (2005)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
Bằng: Ahmad Hani El Fawal, et al.
Được phát hành: (2024-10-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
Bằng: Alexander Zeifman, et al.
Được phát hành: (2020-02-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
Bằng: Manuel L. Esquível, et al.
Được phát hành: (2024-02-01)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Bằng: Cucuringu, M, et al.
Được phát hành: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Bằng: Cucuringu, M, et al.
Được phát hành: (2015)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
Bằng: Zhang, Chao, et al.
Được phát hành: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
Bằng: Cerrato, Mario, et al.
Được phát hành: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
Bằng: Alexander Y. Mitrophanov
Được phát hành: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
Bằng: Chiara Brambilla, et al.
Được phát hành: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
Bằng: Lyndsey F. Meyer, et al.
Được phát hành: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
Bằng: Zeifman Alexander, et al.
Được phát hành: (2020-06-01)

Homogeneous row-continuous bivariate Markov chains with boundaries
Được phát hành: (2002)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
Bằng: Kazi Mehedi Mohammad, et al.
Được phát hành: (2025-01-01)