Martin-Luther-Universität Halle-Wittenberg

Weitere Einstellungen

Login für Redakteure





Dipl.-Ing. Dirk Missal

Übersicht

Wissenschaftlicher Mitarbeiter

Telefon: 0345-55-25975

E-Mail:

Forschungsschwerpunkte

  • Formale Synthese von (verteilten) Steuerungen
  • Modellierung und Verifikation mittels Net Condition/Event Systemen (NCES)
  • Entwurf verteilter Steuerungen nach IEC 61499

Veröffentlichungen

  • Missal, D. and Hanisch, H.-M.:  “A modular synthesis approach for distributed safety controllers, part a: Modelling and specification,” In: 17th IFAC World Congress, proceedings. Seoul, Korea: IFAC, July 2008, pp. 14 473–14 478.
  • Missal, D. and Hanisch, H.-M.:  “A modular synthesis approach for distributed safety controllers, part b: Modular control synthesis,” In: 17th IFAC World Congress, proceedings, Seoul, Korea, July 2008, pp. 14 479–14 484.
  • M. Khalgui, M. Hirsch, D. Missal and H.-M. Hanisch: "Reconfiguration of Embedded Systems",In: International Conference on Informatics in Control, Automation and Robotics (ICINCO´2008) proceedings pp.157-162, Funchal, Madeira-Portugal 2008.
  • Dubinin, V. and Missal, D.: "Reverse partially-marked save net condition/event systems and its interpretation",In: Proceedings of the 6th All-Russian scientific -practical Conference  with the international participation "Contemporary Information Technologies in Science, Education and Practice", November 27-28, 2007, Orenburg, Russia, pp.168-191.
  • Missal, D. and Hanisch, H.-M.: "Modular Plant Modelling for Distributed Control". In: Proceedings of 2007 IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, October 2007, pp. 3475-3480.
  • Missal, D.; Hirsch, H. and Hanisch, H.-M.: "Hierarchical Distributed Controllers - Design and Verification", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2007) proceedings, Patras 2007, pp.657-664.
  • Dubinin, V. and Missal, D.: "Reverse partially-marked save net condition/event systems and its interpretation",In:  Proceedings of the 6th All-Russian scientific -practical Conference  with the international participation "Contemporary Information Technologies in Science, Education and Practice", November 27-28, 2007, Orenburg, Russia, pp.168-191.  
  • Missal, D. and Hanisch, H.-M.: "Safe net condition/event system models for synthesis of distributed controllers". In: Proceedings of the 7th  international Conference of Science and Technology ”New Information Technologies and Systems” (NITiS2006), Part 1, Penza, Russia, November 2006, pp. 186–198.
  • Dubinin, V.N.; Hanisch, H.-M. and Missal, D.: "Event graph-based approach to interpretation of NCES models". In: Proceedings of the 7th  international Conference of Science and Technology ”New Information Technologies and Systems” (NITiS2006), Part 1, Penza, Russia, November 2006, pp. 172–186.
  • Missal, D. and Hanisch,H.-M.:  “Synthesis of distributed controllers by means of a monolithic approach”, In: Proceedings of the 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA’2006), Praque, September 2006, pp. 356–363.

Zum Seitenanfang