Kontakt
Martin Hirsch
Telefon: 0345-55-25975
Telefax: 0345-55-27304
martin.hirsch@informatik.un...
Raum Universitäts-Rechenzentrum, Lehrstuhl Automatisierungstechnik
Kurt-Mothes-Straße 1
06120 Halle
Login für Redakteure
Dipl.-Ing. Martin Hirsch
Übersicht
Wissenschaftlicher Mitarbeiter
Telefon: 0345-55-25975
E-Mail: martin.hirsch@informatik.uni-halle.de
Schwerpunkte und Interessen
- Entwurf und Verifikation verteilter, eingebetteter Steuerungssysteme
- Systematische Streckenmodellierung und Entwurf verteilter Steuerungen nach IEC 61499
- Formale Verifikation eingebetteter Steuerungen mit Condition/Event-Nets
- Systemmodellierung mit UML/SysML
Lehrveranstaltungen
Aktuelle Themen für Projekt-/ Diplomarbeiten
Veröffentlichungen
- M. Hirsch, D. Missal and H.-M. Hanisch: "Design and Verification of Distributed Industrial Manufacturing Control Systems", Annual Conference of the IEEE Industrial Electronics Society (IECON´2008), Orlando-Florida, USA 2008 [ACCEPTED].
- M. Khalgui, M. Hirsch, D. Missal and H.-M. Hanisch: "Reconfiguration of Embedded Systems", International Conference on Informatics in Control, Automation and Robotics (ICINCO´2008) proceedings pp.157-162, Funchal, Madeira-Portugal 2008.
- M. Hirsch und H.-M. Hanisch: "Systemspezifikation mit SysML für eine Fertigungstechnische Laboranlage", Fachtagung zum Entwurf komplexer Automatisierungssysteme (EKA´2008) proceedings pp.23-34, Magdeburg, Germany 2008.
- D. Missal, M. Hirsch and H.-M. Hanisch: "Hierarchical Distributed Controllers - Design and Verification", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2007) proceedings pp.657-664, Patras, Greece 2007.
- M. Hirsch, C. Gerber, V. Vyatkin and H.-M. Hanisch: "Design and Implementation of Heterogeneous Distributed Controllers according to the IEC 61499 Standard - A Case Study", IEEE International Conference on Industrial Informatics (INDIN´2007) proceedings pp.829-834, Vienna, Austria 2007.
- V. Vyatkin, M. Hirsch and H.-M. Hanisch: "Systematic Design and Implementation of Distributed Controllers in Industrial Automation", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA´2006) proceedings pp.633-640, Prague, Czech Republic 2006.
- M. Hirsch, V. Vyatkin and H.-M. Hanisch: "IEC 61499 Function Blocks for Distributed Networked Embedded Applications", IEEE International Conference on Industrial Informatics (INDIN´2006) proceedings pp.670-675, Singapore 2006.