Travelled to:1 × Canada
1 × China
1 × India
1 × USA
Collaborated with:B.Lennartson M.Sköldstam K.Åkesson
Talks about:system (3) sensor (3) graph (3) activ (2) plc (2) manufactur (1) introduct (1) implement (1) simplifi (1) process (1)
Person: Tord Alenljung
DBLP: Alenljung:Tord
Contributed to:
2009200720062005Wrote 4 papers:
- CASE-2009-AlenljungL #graph #using #verification
- Formal verification of PLC controlled systems using Sensor Graphs (TA, BL), pp. 164–170.
- CASE-2007-AlenljungSLA #detection #fault #implementation #process
- PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.
- CASE-2006-AlenljungL #graph #semantics
- Semantics of Sensor Activation Graphs (TA, BL), pp. 419–424.
- CASE-2005-AlenljungL #graph #modelling
- Simplified modeling of manufacturing systems: an introduction to sensor activation graphs (TA, BL), pp. 261–266.