A Study of Complex Property Counterexample Generation Method for Markov Model

Autor:	Yanmei Li, Zhiyuan Chen, Mingyu Ji
Rok vydání:	2014
Předmět:	Model checking TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Control and Systems Engineering Witsenhausen's counterexample Computation Probabilistic CTL Probabilistic logic Statistical model Markov model Algorithm Counterexample Mathematics
Zdroj:	International Journal of Control and Automation. 7:251-262
ISSN:	2005-4297
DOI:	10.14257/ijca.2014.7.2.24
Popis:	With the wide application of probabilistic systems, the research of counterexample generation for probabilistic system with model checking has attracted wide attention. For counterexample of complex parametric system, proposes a counterexample generation algorithm for multiple until constraint formulae of probabilistic computation tree logic act on continuous time probabilistic model and gives another counterexample computation method based on automaton theory. At last, the example analysis is given. The theoretical analysis and example result show that the feasibility and validity of the method.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::baecedf47190716749b812224c853c06 https://doi.org/10.14257/ijca.2014.7.2.24 Zobrazit plný text záznamu