Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Zobrazit další vydání (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...

Podrobná bibliografie
Hlavní autoři:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Médium:	Conference item
Vydáno:	2012

Podobné jednotky

Verification of Linear Duration Properties over Continuous Time Markov Chains
Autor: Chen, T, a další
Vydáno: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
Autor: Chen, T, a další
Vydáno: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
Autor: Chen, T, a další
Vydáno: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Autor: Chen, T, a další
Vydáno: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
Autor: Diciolla, M, a další
Vydáno: (2014)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Autor: Taolue Chen, a další
Vydáno: (2011-03-01)

Quantitative verification of real-time properties with application to medical devices
Autor: Marco Diciolla, M, a další
Vydáno: (2014)

Lumpability for uncertain continuous-time Markov chains
Autor: Cardelli, L, a další
Vydáno: (2021)

Matrix Analysis for Continuous-Time Markov Chains
Autor: Le Hung V., a další
Vydáno: (2021-12-01)

Algorithmic minimization of uncertain continuous-time Markov chains
Autor: Cardelli, L, a další
Vydáno: (2023)

Data-efficient Bayesian verification of parametric Markov chains
Autor: Polgreen, E, a další
Vydáno: (2016)

Adaptive formal approximations of Markov chains
Autor: Abate, A, a další
Vydáno: (2021)

Uniqueness criteria for continuous-time Markov chains with general transition structures
Autor: Chen, A, a další
Vydáno: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
Autor: Barbot, B, a další
Vydáno: (2015)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Autor: Kwiatkowska, M, a další
Vydáno: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
Autor: Tkachev, I, a další
Vydáno: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
Autor: Esmaeil Zadeh Soudjani, S, a další
Vydáno: (2016)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
Autor: Ahmad Hani El Fawal, a další
Vydáno: (2024-10-01)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
Autor: Hahn, E, a další
Vydáno: (2009)

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
Autor: Andreas C. Georgiou, a další
Vydáno: (2021-07-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
Autor: Alexander Zeifman, a další
Vydáno: (2020-02-01)

Interactive verification of Markov chains: Two distributed protocol case studies
Autor: Johannes Hölzl, a další
Vydáno: (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?
Autor: Mustafa Al-Zoughool, a další
Vydáno: (2022-01-01)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
Autor: Zhang, Chao, a další
Vydáno: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
Autor: Cerrato, Mario, a další
Vydáno: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
Autor: Alexander Y. Mitrophanov
Vydáno: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
Autor: Chiara Brambilla, a další
Vydáno: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
Autor: Lyndsey F. Meyer, a další
Vydáno: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
Autor: Zeifman Alexander, a další
Vydáno: (2020-06-01)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Autor: Abate, A, a další
Vydáno: (2015)

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

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Autor: Cucuringu, M, a další
Vydáno: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Autor: Cucuringu, M, a další
Vydáno: (2015)

Homogeneous row-continuous bivariate Markov chains with boundaries
Vydáno: (2002)

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
Autor: V. E. Vekslerchik, a další
Vydáno: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
Autor: Peng, Richard, a další
Vydáno: (2018)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
Autor: Kazi Mehedi Mohammad, a další
Vydáno: (2025-01-01)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
Autor: Changxiao Zhao, a další
Vydáno: (2018-01-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
Autor: Manuel L. Esquível, a další
Vydáno: (2024-02-01)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
Autor: Tataru Paula, a další
Vydáno: (2011-12-01)