Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Показати інші версії (1)

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

Повний опис

Бібліографічні деталі
Автори:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Формат:	Conference item
Опубліковано:	2012

Схожі ресурси

Verification of Linear Duration Properties over Continuous Time Markov Chains
за авторством: Chen, T, та інші
Опубліковано: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
за авторством: Chen, T, та інші
Опубліковано: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
за авторством: Chen, T, та інші
Опубліковано: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
за авторством: Chen, T, та інші
Опубліковано: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
за авторством: Diciolla, M, та інші
Опубліковано: (2014)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
за авторством: Taolue Chen, та інші
Опубліковано: (2011-03-01)

Quantitative verification of real-time properties with application to medical devices
за авторством: Marco Diciolla, M, та інші
Опубліковано: (2014)

Lumpability for uncertain continuous-time Markov chains
за авторством: Cardelli, L, та інші
Опубліковано: (2021)

Matrix Analysis for Continuous-Time Markov Chains
за авторством: Le Hung V., та інші
Опубліковано: (2021-12-01)

Algorithmic minimization of uncertain continuous-time Markov chains
за авторством: Cardelli, L, та інші
Опубліковано: (2023)

Data-efficient Bayesian verification of parametric Markov chains
за авторством: Polgreen, E, та інші
Опубліковано: (2016)

Adaptive formal approximations of Markov chains
за авторством: Abate, A, та інші
Опубліковано: (2021)

Uniqueness criteria for continuous-time Markov chains with general transition structures
за авторством: Chen, A, та інші
Опубліковано: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
за авторством: Barbot, B, та інші
Опубліковано: (2015)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
за авторством: Kwiatkowska, M, та інші
Опубліковано: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
за авторством: Tkachev, I, та інші
Опубліковано: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
за авторством: Esmaeil Zadeh Soudjani, S, та інші
Опубліковано: (2016)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
за авторством: Ahmad Hani El Fawal, та інші
Опубліковано: (2024-10-01)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
за авторством: Hahn, E, та інші
Опубліковано: (2009)

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
за авторством: Andreas C. Georgiou, та інші
Опубліковано: (2021-07-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
за авторством: Alexander Zeifman, та інші
Опубліковано: (2020-02-01)

Interactive verification of Markov chains: Two distributed protocol case studies
за авторством: Johannes Hölzl, та інші
Опубліковано: (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?
за авторством: Mustafa Al-Zoughool, та інші
Опубліковано: (2022-01-01)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
за авторством: Zhang, Chao, та інші
Опубліковано: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
за авторством: Cerrato, Mario, та інші
Опубліковано: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
за авторством: Alexander Y. Mitrophanov
Опубліковано: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
за авторством: Chiara Brambilla, та інші
Опубліковано: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
за авторством: Lyndsey F. Meyer, та інші
Опубліковано: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
за авторством: Zeifman Alexander, та інші
Опубліковано: (2020-06-01)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
за авторством: Abate, A, та інші
Опубліковано: (2015)

Continuously variable duration hidden Markov models for automatic speech recognition /
за авторством: 355639 Levinson, S. E.

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
за авторством: Cucuringu, M, та інші
Опубліковано: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
за авторством: Cucuringu, M, та інші
Опубліковано: (2015)

Homogeneous row-continuous bivariate Markov chains with boundaries
Опубліковано: (2002)

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
за авторством: V. E. Vekslerchik, та інші
Опубліковано: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
за авторством: Peng, Richard, та інші
Опубліковано: (2018)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
за авторством: Kazi Mehedi Mohammad, та інші
Опубліковано: (2025-01-01)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
за авторством: Changxiao Zhao, та інші
Опубліковано: (2018-01-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
за авторством: Manuel L. Esquível, та інші
Опубліковано: (2024-02-01)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
за авторством: Tataru Paula, та інші
Опубліковано: (2011-12-01)