Tord Alenljung

Publication Activity (10 Years)

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

Top Topics

Formal Verification

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini
Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs. IEEE Trans. Control. Syst. Technol. 20 (6) (2012)
Tord Alenljung, Bengt Lennartson
Formal verification of PLC controlled systems using Sensor Graphs. CASE (2009)
Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. CASE (2007)
Tord Alenljung, Bengt Lennartson
Semantics of Sensor Activation Graphs. CASE (2006)
Tord Alenljung, Bengt Lennartson
Simplified modeling of manufacturing systems: an introduction to sensor activation graphs. CASE (2005)
Björn Johansson, Edward J. Williams, Tord Alenljung
Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility. WSC (2004)