Lindsay V. Allen

According to our database, Lindsay V. Allen authored at least 7 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Input Order Robustness: Definition, Verification Procedure, and Examples.

Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury

IEEE Trans Autom. Sci. Eng., 2012

2011

Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system.

John A. Broderick, Lindsay V. Allen, Dawn M. Tilbury

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

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

Proceedings of the American Control Conference, 2011

2010

Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice.

Lindsay V. Allen, Dawn M. Tilbury

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers.

Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

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

Proceedings of the American Control Conference, 2008