Tord Alenljung

According to our database, Tord Alenljung authored at least 6 papers between 2004 and 2012.

Collaborative distances:

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

2012

Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs.

Tord Alenljung, Bengt Lennartson, Mona Noori Hosseini

IEEE Trans. Control. Syst. Technol., 2012

2009

Formal verification of PLC controlled systems using Sensor Graphs.

Tord Alenljung, Bengt Lennartson

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

2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.

Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson

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

2006

Semantics of Sensor Activation Graphs.

Tord Alenljung, Bengt Lennartson

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005

Simplified modeling of manufacturing systems: an introduction to sensor activation graphs.

Tord Alenljung, Bengt Lennartson

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2004

Using Autonomous Modular Material Handling Equipment for Manufacturing Flexibility.

Björn Johansson, Edward J. Williams, Tord Alenljung

Proceedings of the 36th conference on Winter simulation, 2004