Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Hiển thị phiên bản (1) khác

Abstract. Stochastic modeling and algorithmic verification techniques have been proved useful in analyzing and detecting unusual trends in performance and energy usage of systems such as power management controllers and wireless sensor devices. Many important properties are dependent on the cumulate...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Định dạng:	Conference item
Được phát hành:	2012

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

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

Time−Bounded Verification of CTMCs Against Real−Time Specifications
Bằng: Chen, T, et al.
Được phát hành: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
Bằng: Chen, T, et al.
Được phát hành: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Bằng: Chen, T, et al.
Được phát hành: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
Bằng: Diciolla, M, et al.
Được phát hành: (2014)

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)

Quantitative verification of real-time properties with application to medical devices
Bằng: Marco Diciolla, M, et al.
Được phát hành: (2014)

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

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

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

Data-efficient Bayesian verification of parametric Markov chains
Bằng: Polgreen, E, et al.
Được phát hành: (2016)

Adaptive formal approximations of Markov chains
Bằng: Abate, A, et al.
Được phát hành: (2021)

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

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

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Bằng: Kwiatkowska, M, et al.
Được phát hành: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
Bằng: Tkachev, I, et al.
Được phát hành: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
Bằng: Esmaeil Zadeh Soudjani, S, et al.
Được phát hành: (2016)

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)

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

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
Bằng: Andreas C. Georgiou, et al.
Được phát hành: (2021-07-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)

Interactive verification of Markov chains: Two distributed protocol case studies
Bằng: Johannes Hölzl, et al.
Được phát hành: (2012-12-01)

Using a stochastic continuous-time Markov chain model to examine alternative timing and duration of the COVID-19 lockdown in Kuwait: what can be done now?
Bằng: Mustafa Al-Zoughool, et al.
Được phát hành: (2022-01-01)

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)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Bằng: Abate, A, et al.
Được phát hành: (2015)

Continuously variable duration hidden Markov models for automatic speech recognition /
Bằng: 355639 Levinson, S. E.

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)

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

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
Bằng: V. E. Vekslerchik, et al.
Được phát hành: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
Bằng: Peng, Richard, et al.
Được phát hành: (2018)

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)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
Bằng: Changxiao Zhao, et al.
Được phát hành: (2018-01-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)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
Bằng: Tataru Paula, et al.
Được phát hành: (2011-12-01)