Travelled to:1 × Canada
1 × India
1 × Italy
Collaborated with:D.M.Tilbury J.A.Broderick K.M.Goh
Talks about:manufactur (2) industri (2) detect (2) determinist (1) inconsist (1) determin (1) without (1) practic (1) environ (1) control (1)
Person: Lindsay V. Allen
DBLP: Allen:Lindsay_V=
Contributed to:
201120102009Wrote 3 papers:
- CASE-2011-BroderickAT #detection #formal method #industrial
- Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system (JAB, LVA, DMT), pp. 169–174.
- CASE-2010-AllenT #consistency #detection #fault #industrial #nondeterminism
- Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
- CASE-2009-AllenGT #logic #nondeterminism #verification
- Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.