Dirk Missal

According to our database, Dirk Missal authored at least 5 papers between 2006 and 2012.

Collaborative distances:

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

2012

Formal synthesis of safety controller code for distributed controllers.

Dirk Missal

PhD thesis, 2012

2008

Reconfiguration of Embedded Systems.

Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch

Proceedings of the ICINCO 2008, 2008

2007

Modular plant modelling for distributed control.

Dirk Missal, Hans-Michael Hanisch

Proceedings of the IEEE International Conference on Systems, 2007

Hierarchical distributed controllers - design and verification.

Dirk Missal, Martin Hirsch, Hans-Michael Hanisch

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Synthesis of Distributed Controllers by Means of a Monolithic Approach.

Dirk Missal, Hans-Michael Hanisch

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006