Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Toon andere (1) versies

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

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Formaat:	Conference item
Gepubliceerd in:	2012

Gelijkaardige items

Verification of Linear Duration Properties over Continuous Time Markov Chains
door: Chen, T, et al.
Gepubliceerd in: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
door: Chen, T, et al.
Gepubliceerd in: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
door: Chen, T, et al.
Gepubliceerd in: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
door: Chen, T, et al.
Gepubliceerd in: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
door: Diciolla, M, et al.
Gepubliceerd in: (2014)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
door: Taolue Chen, et al.
Gepubliceerd in: (2011-03-01)

Quantitative verification of real-time properties with application to medical devices
door: Marco Diciolla, M, et al.
Gepubliceerd in: (2014)

Lumpability for uncertain continuous-time Markov chains
door: Cardelli, L, et al.
Gepubliceerd in: (2021)

Matrix Analysis for Continuous-Time Markov Chains
door: Le Hung V., et al.
Gepubliceerd in: (2021-12-01)

Algorithmic minimization of uncertain continuous-time Markov chains
door: Cardelli, L, et al.
Gepubliceerd in: (2023)

Data-efficient Bayesian verification of parametric Markov chains
door: Polgreen, E, et al.
Gepubliceerd in: (2016)

Adaptive formal approximations of Markov chains
door: Abate, A, et al.
Gepubliceerd in: (2021)

Uniqueness criteria for continuous-time Markov chains with general transition structures
door: Chen, A, et al.
Gepubliceerd in: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
door: Barbot, B, et al.
Gepubliceerd in: (2015)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
door: Kwiatkowska, M, et al.
Gepubliceerd in: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
door: Tkachev, I, et al.
Gepubliceerd in: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
door: Esmaeil Zadeh Soudjani, S, et al.
Gepubliceerd in: (2016)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
door: Ahmad Hani El Fawal, et al.
Gepubliceerd in: (2024-10-01)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
door: Hahn, E, et al.
Gepubliceerd in: (2009)

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
door: Andreas C. Georgiou, et al.
Gepubliceerd in: (2021-07-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
door: Alexander Zeifman, et al.
Gepubliceerd in: (2020-02-01)

Interactive verification of Markov chains: Two distributed protocol case studies
door: Johannes Hölzl, et al.
Gepubliceerd in: (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?
door: Mustafa Al-Zoughool, et al.
Gepubliceerd in: (2022-01-01)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
door: Zhang, Chao, et al.
Gepubliceerd in: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
door: Cerrato, Mario, et al.
Gepubliceerd in: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
door: Alexander Y. Mitrophanov
Gepubliceerd in: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
door: Chiara Brambilla, et al.
Gepubliceerd in: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
door: Lyndsey F. Meyer, et al.
Gepubliceerd in: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
door: Zeifman Alexander, et al.
Gepubliceerd in: (2020-06-01)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
door: Abate, A, et al.
Gepubliceerd in: (2015)

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

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
door: Cucuringu, M, et al.
Gepubliceerd in: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
door: Cucuringu, M, et al.
Gepubliceerd in: (2015)

Homogeneous row-continuous bivariate Markov chains with boundaries
Gepubliceerd in: (2002)

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
door: V. E. Vekslerchik, et al.
Gepubliceerd in: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
door: Peng, Richard, et al.
Gepubliceerd in: (2018)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
door: Kazi Mehedi Mohammad, et al.
Gepubliceerd in: (2025-01-01)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
door: Changxiao Zhao, et al.
Gepubliceerd in: (2018-01-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
door: Manuel L. Esquível, et al.
Gepubliceerd in: (2024-02-01)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
door: Tataru Paula, et al.
Gepubliceerd in: (2011-12-01)