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)