BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Allen:Lindsay_V=

Contributed to:

CASE 20112011
CASE 20102010
CASE 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.