This article concerns faults detection and isolation for timed stochastic discrete event systems modeled with partially observed timed Petri nets. Events occur according to arbitrary probability density functions. The models include the sensors used to measure events and markings and also the temporal constraints to be satisfied by the system operations. These temporal constraints are defined according to tolerance intervals specified for each transition. A fault is an operation that ends too early or too late. The set of trajectories consistent with a given timed measured trajectory is first computed. Then, the probability that the temporal specifications are unsatisfied is estimated for any sequence of measurements and the probability that a temporal fault has occurred is obtained as a consequence.
from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/2p6LSH3
via IFTTT
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δημοφιλείς αναρτήσεις
-
Abstract Recent updating of the World Health Organization (WHO) classification of central nervous system (CNS) tumors in 2016 demonstrates...
-
In our previous work, the dichloromethane-methanol (1:1 v/v) extract, fractions and isolated compounds from Polyscias fulva stem bark showed...
-
Anaphora is a rhetorical term for the repetition of a word or phrase at the beginning of successive clauses or verses. from #AlexandrosSfa...
-
Abstract We introduce a novel diagnostic Visual Voiding Device (VVD), which has the ability to visually document urinary voiding events an...
-
Nursing students' perceptions of a video-based serious game's educational value: A pilot study. Nurse Educ Today. 2017 Dec 28;...
-
Cincinnati.com No fooling; go get your head (and neck) examined for free Cincinnati.com Thursday, get your head examined. UC Health ...
-
Background Agricultural work can expose workers to increased risk of heat strain and volume depletion due to repeated exposures to high ambi...
-
There are various ways of creating an essay writing company. Our writing company was established by a team of skillful writers who wanted to...
-
After being taken down twice by Blogger within a single week, we got the message: It’s Time To Go. Gates of Vienna has moved to a new addres...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου