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)