Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties

• المؤلفون الرئيسيون: Dang, Van Hung, Miaomiao, Zhang, Pham, Dinh Chinh
• التنسيق: مقال
• اللغة: English
• منشور في: ĐHQGHN 2017
• الموضوعات: Probabilistic Duration Calculus; Probabilistic Timed Automata; Model-checking; Markov Decision Process
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/56777
• المؤسسة: Vietnam National University, Hanoi

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...