Sequence-Oriented Diagnosis of Discrete-Event Systems

Model-based diagnosis has always been conceived as set-oriented, meaning that a candidate is a set of faults, or faulty components, that explains a collection of observations. This perspective applies equally to both static and dynamical systems. Diagnosis of discrete-event systems (DESs) is no exception: a candidate is traditionally a set of faults, or faulty events, occurring in a trajectory of the DES that conforms with a given sequence of observations. As such, a candidate does not embed any temporal relationship among faults, nor does it account for multiple occurrences of the same fault. To improve diagnostic explanation and support decision making, a sequence-oriented perspective to diagnosis of DESs is presented, where a candidate is a sequence of faults occurring in a trajectory of the DES, called a fault sequence. Since a fault sequence is possibly unbounded, as the same fault may occur an unlimited number of times in the trajectory, the set of (output) candidates may be unbounded also, which contrasts with set-oriented diagnosis, where the set of candidates is bounded by the powerset of the domain of faults. Still, a possibly unbounded set of fault sequences is shown to be a regular language, which can be defined by a regular expression over the domain of faults, a property that makes sequence-oriented diagnosis feasible in practice. The task of monitoring-based diagnosis is considered, where a new candidate set is generated at the occurrence of each observation. The approach is based on three different techniques: (1) blind diagnosis, with no compiled knowledge, (2) greedy diagnosis, with total knowledge compilation, and (3) lazy diagnosis, with partial knowledge compilation. By knowledge we mean a data structure slightly similar to a classical DES diagnoser, which can be generated (compiled) either entirely offline (greedy diagnosis) or incrementally online (lazy diagnosis). Experimental evidence suggests that, among these techniques, only lazy diagnosis may be viable in non-trivial application domains

Trop-2 protein overexpression is an independent marker for predicting disease recurrence in endometrioid endometrial carcinoma

<p>Abstract</p> <p>Background</p> <p>Endometrial cancer is the most common gynecologic malignancy in developed countries. Trop-2 is a glycoprotein involved in cellular signal transduction and is differentially overexpressed relative to normal tissue in a variety of human adenocarcinomas, including endometrioid endometrial carcinomas (EEC). Trop-2 overexpression has been proposed as a marker for biologically aggressive tumor phenotypes.</p> <p>Methods</p> <p>Trop-2 protein expression was quantified using tissue microarrays consisting of formalin-fixed paraffin-embedded specimens from 118 patients who underwent surgical staging from 2001–9 by laparotomy for EEC. Clinicopathologic characteristics including age, stage, grade, lymphovascular space invasion, and medical comorbidities were correlated with immunostaining score. Univariate and multivariate analyses were performed for overall survival, disease-free survival, and progression-free survival in relation to clinical parameters and Trop-2 protein expression.</p> <p>Results</p> <p>Clinical outcome data were available for 103 patients. Strong Trop-2 immunostaining was significantly associated with higher tumor grade (p=0.02) and cervical involvement (p<0.01). Univariate analyses showed a significant association with reduced disease-free survival (DFS) (p=0.01), and a trend towards significance for overall and progression-free survival (p=0.06 and p=0.05, respectively). Multivariate analyses revealed Trop-2 overexpression and advanced FIGO stage to be independent prognostic factors for poor DFS (p=0.04 and p <0.001, respectively).</p> <p>Conclusions</p> <p>Trop-2 protein overexpression is significantly associated with higher tumor grade and serves as an independent prognostic factor for DFS in endometrioid endometrial cancer.</p