Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties

In this paper, we consider a subclass of Probabilistic Duration Calculus formula called Simple Probabilistic Duration Calculus (SPDC) as a language for specifying dependability requirements for real-time systems, and address the two problems: to decide if a probabilistic timed automaton satisfies...

Saved in:

書目詳細資料
Main Authors:	Dang, Van Hung, Miaomiao, Zhang, Pham, Dinh Chinh
格式:	Article
語言:	English
出版:	ĐHQGHN 2017
主題:	Probabilistic Duration Calculus Probabilistic Timed Automata Model-checking Markov Decision Process
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/56777
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
由: YAMILET ROSARIO SERRANO LLERENA
出版: (2018)

Analyzing multi-agent systems with probabilistic model checking approach
由: Song, S., et al.
出版: (2013)

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

SPORTS STRATEGY ANALYTICS USING PROBABILISTIC MODEL CHECKING AND MACHINE LEARNING
由: JIANG KAN
出版: (2023)

QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
由: RATUL SAHA
出版: (2017)

Analyzing multi-agent systems with probabilistic model checking approach
由: SONG, Songzheng, et al.
出版: (2012)

Probabilistic verification and analysis of biopathway dynamics
由: SUCHEENDRA KUMAR PALANIAPPAN
出版: (2013)

Learning probabilistic models for model checking: an evolutionary approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2018)

Should we learn probabilistic models for model checking? A new approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2017)

Towards interpreting recurrent neural networks through probabilistic abstraction
由: DONG, Guoliang, et al.
出版: (2020)

Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
由: Liu, Yang, et al.
出版: (2022)

Approximate verification of the symbolic dynamics of markov chains
由: Agrawal, M., et al.
出版: (2013)

Probabilistic modeling of data cache behavior
由: Puranik, V., et al.
出版: (2013)

Reliability Analysis of Non-deterministic Systems
由: GUI LIN
出版: (2014)

A systematic study on explicit-state non-zenoness checking for timed automata
由: WANG, Ting, et al.
出版: (2015)

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm
由: Ma, Y., et al.
出版: (2021)

Event exchangeability: Probabilistic sophistication without continuity or monotonicity
由: Hong, C.S., et al.
出版: (2011)

REGULARIZED PROBABILISTIC TOPIC MODELING
由: LEI HAO
出版: (2021)

Using algebraic combinatorics in evaluating discrete probabilistic measures
由: Nguyễn, Nhụy
出版: (2016)

Applying probabilistic model for ranking Webs in multi-context
由: Le, Trung Kien, et al.
出版: (2017)

View-based 3D model retrieval with probabilistic graph model
由: Gao, Y., et al.
出版: (2013)

On discretisable formulas in duration calculus
由: Pham, Hong Thai
出版: (2017)

On lexicographic proof rules for probabilistic termination
由: CHATTERJEE, Krishnendu, et al.
出版: (2025)

On lexicographic proof rules for probabilistic termination
由: CHATTERJEE, Krishnendu, et al.
出版: (2021)

A robust EM-SOCR localization method under probabilistic NLOS environments considering anchor node position uncertainties
由: Zhang, Zhibo, et al.
出版: (2024)

Absolute versus probabilistic classification in a logical setting
由: Jain, S., et al.
出版: (2013)

On the probabilistic foundations of probabilistic roadmap planning
由: Hsu, D., et al.
出版: (2013)

Leveraging sanitized data for probabilistic electricity market prediction: a Singapore case study
由: Xu, Ning Zhou, et al.
出版: (2024)

Schema-as-you-go: On probabilistic tagging and querying of wide tables
由: Lu, M., et al.
出版: (2013)

Model Checking Stochastic Systems in PAT
由: SONG SONGZHENG
出版: (2013)

Stochastic invariants for probabilistic termination
由: CHATTERJEE, Krishnendu, et al.
出版: (2017)

Probabilistic graphlet transfer for photo cropping
由: Zhang, L., et al.
出版: (2014)

Probabilistic seismic hazard assessment for offshore structures in Andaman Sea
由: T. Ornthammarath, et al.
出版: (2019)

Non-parametric probabilistic load flow using Gaussian process learning
由: Pareek, Parikshit, et al.
出版: (2021)

Hierarchical probabilistic fusion framework for matching and merging of 3-D occupancy maps
由: Yue, Yufeng, et al.
出版: (2019)

Structural design optimization based on hybrid time-variant reliability measure under non-probabilistic convex uncertainties
由: Wang, Lei, et al.
出版: (2021)

Feature-based evidential reasoning for probabilistic risk analysis and prediction
由: Wang, Ying, et al.
出版: (2022)

Probabilistic seismic hazard assessments for Myanmar and its metropolitan areas
由: Yang, Huan-Bin, et al.
出版: (2024)

Probabilistic combinatorial optimization: Moments, semidefinite programming, and asymptotic bounds
由: Bertsimas, D., et al.
出版: (2013)

Probabilistic assessment of time to cracking of concrete cover due to corrosion using semantic segmentation of imaging probe sensor data
由: Ramani, Vasantha, et al.
出版: (2022)