Ensemble Coordination for Discrete Event Control

An ensemble is a collection of independent processes, each tasked with drawing potentially differing conclusions about the same data. Using Petri nets, this paper formally describes how ensembles are organized and their behavior coordinated to effect distributed discrete event control of an ocean turbine prototype. Compositions, duals, reverses, and cliques formed over known Petri net graphs comprise the building blocks of the proposed ensemble coordination strategy. The behavior of an ensemble of controllers tasked with fault triage are subject to constraints formulated herein. The controller tasked with prognosis and health management (PHM) itself uses an ensemble of classifiers to detect faults. This ensemble is subject to constraints imposed by stream processing, which require a non-blocking form of rendezvous synchronization. Furthermore, results from each classifier must be fused in a manner that rewards that classifier's ability to predict faults. We identify two competing merit schemes -- one based on individual classifier performance and the other on performance of the sub-ensembles to which that classifier participates. Finally, we model check these Petri nets and report their results.