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)