Verification of Linear Duration Properties over Continuous−Time Markov Chains

Verification of Linear Duration Properties over Continuous−Time Markov Chains

Diğer sürümleri göster (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...

Detaylı Bibliyografya
Asıl Yazarlar:	Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2012

Benzer Materyaller

Verification of Linear Duration Properties over Continuous Time Markov Chains
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Time−Bounded Verification of CTMCs Against Real−Time Specifications
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Quantitative Verification of Implantable Cardiac Pacemakers
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Yazar:: Chen, T, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Synthesising Optimal Timing Delays for Timed I/O Automata
Yazar:: Diciolla, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Yazar:: Taolue Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2011-03-01)

Quantitative verification of real-time properties with application to medical devices
Yazar:: Marco Diciolla, M, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Lumpability for uncertain continuous-time Markov chains
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Matrix Analysis for Continuous-Time Markov Chains
Yazar:: Le Hung V., ve diğerleri
Baskı/Yayın Bilgisi: (2021-12-01)

Algorithmic minimization of uncertain continuous-time Markov chains
Yazar:: Cardelli, L, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Data-efficient Bayesian verification of parametric Markov chains
Yazar:: Polgreen, E, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Adaptive formal approximations of Markov chains
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Uniqueness criteria for continuous-time Markov chains with general transition structures
Yazar:: Chen, A, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Importance Sampling for Model Checking of Continuous Time Markov Chains
Yazar:: Barbot, B, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
Yazar:: Kwiatkowska, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

Quantitative model-checking of controlled discrete-time Markov processes
Yazar:: Tkachev, I, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Safety Verification of Continuous-Space Pure Jump Markov Processes
Yazar:: Esmaeil Zadeh Soudjani, S, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Modeling Emergency Traffic Using a Continuous-Time Markov Chain
Yazar:: Ahmad Hani El Fawal, ve diğerleri
Baskı/Yayın Bilgisi: (2024-10-01)

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
Yazar:: Hahn, E, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

On State Occupancies, First Passage Times and Duration in Non-Homogeneous Semi-Markov Chains
Yazar:: Andreas C. Georgiou, ve diğerleri
Baskı/Yayın Bilgisi: (2021-07-01)

Two Approaches to the Construction of Perturbation Bounds for Continuous-Time Markov Chains
Yazar:: Alexander Zeifman, ve diğerleri
Baskı/Yayın Bilgisi: (2020-02-01)

Interactive verification of Markov chains: Two distributed protocol case studies
Yazar:: Johannes Hölzl, ve diğerleri
Baskı/Yayın Bilgisi: (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?
Yazar:: Mustafa Al-Zoughool, ve diğerleri
Baskı/Yayın Bilgisi: (2022-01-01)

Generalization bounds of ERM-based learning processes for continuous-time Markov chains
Yazar:: Zhang, Chao, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Adaptive Continuous time Markov Chain Approximation Model to General Jump-Diffusions
Yazar:: Cerrato, Mario, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

The Arsenal of Perturbation Bounds for Finite Continuous-Time Markov Chains: A Perspective
Yazar:: Alexander Y. Mitrophanov
Baskı/Yayın Bilgisi: (2024-05-01)

A Binary-State Continuous-Time Markov Chain Model for Offshoring and Reshoring
Yazar:: Chiara Brambilla, ve diğerleri
Baskı/Yayın Bilgisi: (2024-05-01)

A continuous-time Markov chain model of fibrosis progression in NAFLD and NASH
Yazar:: Lyndsey F. Meyer, ve diğerleri
Baskı/Yayın Bilgisi: (2023-05-01)

On three methods for bounding the rate of convergence for some continuous–time Markov chains
Yazar:: Zeifman Alexander, ve diğerleri
Baskı/Yayın Bilgisi: (2020-06-01)

Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
Yazar:: Abate, A, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

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

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Yazar:: Cucuringu, M, ve diğerleri
Baskı/Yayın Bilgisi: (2017)

ADM-CLE approach for detecting slow variables in continuous time Markov chains and dynamic data
Yazar:: Cucuringu, M, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Homogeneous row-continuous bivariate Markov chains with boundaries
Baskı/Yayın Bilgisi: (2002)

CORRELATION FUNCTIONS FOR LINEAR ADDITIVE MARKOV CHAINS OF HIGHER ORDERS
Yazar:: V. E. Vekslerchik, ve diğerleri
Baskı/Yayın Bilgisi: (2019-03-01)

Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphs
Yazar:: Peng, Richard, ve diğerleri
Baskı/Yayın Bilgisi: (2018)

Stochastic differential equations to model influenza transmission with continuous and discrete-time Markov chains
Yazar:: Kazi Mehedi Mohammad, ve diğerleri
Baskı/Yayın Bilgisi: (2025-01-01)

Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
Yazar:: Changxiao Zhao, ve diğerleri
Baskı/Yayın Bilgisi: (2018-01-01)

Estimation–Calibration of Continuous-Time Non-Homogeneous Markov Chains with Finite State Space
Yazar:: Manuel L. Esquível, ve diğerleri
Baskı/Yayın Bilgisi: (2024-02-01)

Comparison of methods for calculating conditional expectations of sufficient statistics for continuous time Markov chains
Yazar:: Tataru Paula, ve diğerleri
Baskı/Yayın Bilgisi: (2011-12-01)