Dan Lawesson

According to our database, Dan Lawesson authored at least 3 papers between 2003 and 2005.

Collaborative distances:

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

2005

An Approach to Diagnosability Analysis for Interacting Finite State Systems.

Dan Lawesson

PhD thesis, 2005

An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems.

Dan Lawesson, Ulf Nilsson, Inger Klein

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

2003

Fault isolation in discrete event systems by observational abstraction.

Dan Lawesson, Ulf Nilsson, Inger Klein

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003