Paper Title:
Enhancement of a Fault Measure for AMSs Using Probabilistic Timed Automata
  Abstract

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.

  Info
Periodical
Advanced Materials Research (Volumes 317-319)
Chapter
Industrial Robotics and Automation
Edited by
Xin Chen
Pages
681-684
DOI
10.4028/www.scientific.net/AMR.317-319.681
Citation
Y. S. Huang, H. S. Chiang, "Enhancement of a Fault Measure for AMSs Using Probabilistic Timed Automata", Advanced Materials Research, Vols. 317-319, pp. 681-684, 2011
Online since
August 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Ping Yi
Abstract:In a reliability-based design optimization (RBDO) problem, most of the computations are used for probabilistic constraints assessment, i.e.,...
5717
Authors: Sanguan Vongchavalitkul, Swein Kumpangta
Chapter 5: Seismic Engineering
Abstract:Deterministic safety factor are introduced by Z. CAO et al (2008) according to seismic Chinese code. The approach was deterministic method...
2248
Authors: Chang Hong Liu, X.C. Qing, F.Z. Xuan, S.T. Tu
Chapter 1: Machinery and Engineering Applications
Abstract:According to the non-probabilistic finite element algorithms, the random finite element equations are translated into the interval finite...
272
Authors: Ai Rong Zhang, Xiao Liu
Chapter 4: Reliability and Durability of Structures
Abstract:Due to the dependence of the sample data for a probabilistic reliability model and the fuzzy model, the interval model was used to describe...
1908