MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)

2018 ◽  
pp. 597-603
Author(s):  
Simon Wimmer ◽  
Johannes Hölzl
Keyword(s):  
Timed Automata ◽  
Short Paper ◽  
Probabilistic Timed Automata

Tweaking the Odds in Probabilistic Timed Automata

2021 ◽  
pp. 39-58
Author(s):  
Arnd Hartmanns ◽  
Joost-Pieter Katoen ◽  
Bram Kohlen ◽  
Jip Spel
Keyword(s):  
Timed Automata ◽  
Probabilistic Timed Automata

Enhancement of a Fault Measure for AMSs Using Probabilistic Timed Automata

2011 ◽  
Vol 317-319 ◽  
pp. 681-684
Author(s):  
Yi Sheng Huang ◽  
Ho Shan Chiang
Keyword(s):  
Probability Distribution ◽  
Working Conditions ◽  
Timed Automata ◽  
Probabilistic Automata ◽  
Discrete Probability ◽  
Novel Approach ◽  
Reasoning Strategy ◽  
Real Value ◽  
Target States ◽  
Probabilistic Timed Automata

A novel approach for probabilistic timed structure that is based on combining the formalisms of timed automata and probabilistic automata representation of the system is proposed. Due to their real-valued clocks can measure the passage of time and transitions can be probabilistic such that it can be expressed as a discrete probability distribution on the set of target states. The usage of clock variables and the specification of state space are illustrated with real value time applications. The transitions between states are probabilistic by events which describe either the occurrence of faults or normal working conditions. Additionally, the passage of discrete time and transitions can be probabilistic by mean of the theory of expectation sets to obtain a unified measure reasoning strategy.

scholarly journals Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

2016 ◽  
pp. 99-114 ◽  
Author(s):  
Pedro R. D’Argenio ◽  
Arnd Hartmanns ◽  
Axel Legay ◽  
Sean Sedwards
Keyword(s):  
Timed Automata ◽  
Statistical Approximation ◽  
Probabilistic Timed Automata

scholarly journals Verifying Quantitative Properties of Continuous Probabilistic Timed Automata

2000 ◽  
pp. 123-137 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
Roberto Segala ◽  
Jeremy Sproston
Keyword(s):  
Timed Automata ◽  
Quantitative Properties ◽  
Probabilistic Timed Automata

scholarly journals Stochastic Games for Verification of Probabilistic Timed Automata

2009 ◽  
pp. 212-227 ◽  
Author(s):  
Marta Kwiatkowska ◽  
Gethin Norman ◽  
David Parker
Keyword(s):  
Stochastic Games ◽  
Timed Automata ◽  
Probabilistic Timed Automata
Sign in / Sign up

Export Citation Format

Share Document