Factory-level control consolidation using Event-Condition-Action: Case study on the reconfigurable factory testbed. - Lindsay V. Allen; Jing Zhang; James R. Moyne; Dawn M. Tilbury (ACC, 2008)

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers. - Lindsay V. Allen; Kiah Mok Goh; Dawn M. Tilbury (CASE, 2009)

Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice. - Lindsay V. Allen; Dawn M. Tilbury (CASE, 2010)

Necessary condition for a Petri net model that incorporates resources to produce an event stream from an unknown initial state. - Lindsay V. Allen; Dawn M. Tilbury (ACC, 2011)

Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system. - John A. Broderick; Lindsay V. Allen; Dawn M. Tilbury (CASE, 2011)

Input Order Robustness: Definition, Verification Procedure, and Examples. - Lindsay V. Allen; Kiah Mok Goh; Dawn M. Tilbury (IEEE Trans Autom. Sci. Eng., 2012)

Anomaly Detection Using Model Generation for Event-Based Systems Without a Preexisting Formal Model. - Lindsay V. Allen; Dawn M. Tilbury (IEEE Trans. Syst. Man Cybern. Part A, 2012)