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)
Δημοφιλείς αναρτήσεις
-
A two-arm multicenter phase II trial of one cycle chemoselection split-dose docetaxel, cisplatin and 5-fluorouracil (TPF) induction che...
-
from #AlexandrosSfakianakis via Alexandros G.Sfakianakis on Inoreader http://ift.tt/2jCvX3K via IFTTT
-
Dental implants are now broadly used to replace missing teeth, and the presence of infectious complications is rising. Dental implant therap...
-
Indications and extent of central neck dissection for papillary thyroid cancer: An American Head and Neck Society Consensus Statement. ...
-
Abstract Purpose Accurate and real-time prediction of the lung and lung tumor deformation during respiration are important consideration...
-
Abstract Purpose of Review Our goal is to summarize the airway disease literature since September 11, 2001 (9/11), focusing on studies pub...
-
Treatment effectiveness holds considerable importance in the association between service quality and satisfaction in medical service studies...
-
Therapeutic agents designed to stimulate the immune system are now cornerstones in the treatment of metastatic melanoma. These drugs promote...
-
Coenzyme Q (CoQ) is a key component of the mitochondrial respiratory chain, but it also has several other functions in the cellular metaboli...
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου