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)
Δημοφιλείς αναρτήσεις
-
Objectives To optimise medical students’ early clerkship is a complex task since it is conducted in a context primarily organised to take ca...
-
Abstract Purpose Overcoming the flaws of current data management conditions in head and neck oncology could enable integrated informatio...
-
1 abqls-210rm.html Read the latest Journal of Clinical Neurophysiology - Vol. 37, No. 1, January 2020.eml 2 agx3v-nxz96.html Read the late...
-
by Yanwei Li, Haifeng Liu, Wei Zeng, Jing Wei An increase in the osmolarity of tears induced by excessive evaporation of the aqueous tear p...
-
http://ift.tt/2p41efZ
-
Abstract Bromodomain proteins function as epigenetic readers that recognize acetylated histone tails to facilitate the transcription of t...
-
Abstract In present work, the electronic structure and optical properties of the FeX 2 (X = S, Se, Te) compounds have been evaluated by t...
-
by Rocio Acuna-Hidalgo, Pelagia Deriziotis, Marloes Steehouwer, Christian Gilissen, Sarah A. Graham, Sipko van Dam, Julie Hoover-Fong, Aida...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου