Lindsay V. Allen

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Venues

IEEE Trans. Syst. Man Cybern. Part A

IEEE Trans Autom. Sci. Eng.

Publications

Lindsay V. Allen, Dawn M. Tilbury
Anomaly Detection Using Model Generation for Event-Based Systems Without a Preexisting Formal Model. IEEE Trans. Syst. Man Cybern. Part A 42 (3) (2012)
Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury
Input Order Robustness: Definition, Verification Procedure, and Examples. IEEE Trans Autom. Sci. Eng. 9 (1) (2012)
John A. Broderick, Lindsay V. Allen, Dawn M. Tilbury
Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system. CASE (2011)
Lindsay V. Allen, Dawn M. Tilbury
Necessary condition for a Petri net model that incorporates resources to produce an event stream from an unknown initial state. ACC (2011)
Lindsay V. Allen, Dawn M. Tilbury
Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice. CASE (2010)
Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers. CASE (2009)
Lindsay V. Allen, Jing Zhang, James R. Moyne, Dawn M. Tilbury
Factory-level control consolidation using Event-Condition-Action: Case study on the reconfigurable factory testbed. ACC (2008)