---

Dipl.-Inf. Hans-Christian Lapp

Scientific Staff

Phone: +49-345-55-25974

Email: hans-christian.lapp@informatik.uni-halle.de

---

Research Interests

• Modelling of discrete event systems
• Control of sroduction systems
• Modelling and verification using Net Condition/Event Systems (NCES)
• Formal synthesis of distributed control systems

---

Publications

• H.-C. Lapp and H.-M. Hanisch. "Process Control Synthesis Improved by Structural Model Properties",  In Proceedings of 2nd International Conference on Pervasive and  Embedded Computing and Communication Systems (PECCS), pp. 343-351, Rome,  Italy, February 2012.
• T. Winkler, H.-C. Lapp, and H.-M. Hanisch. "A new Model Structure based Synthesis Approach for Distributed Discrete Process Control".  In Proceedings of the IEEE 9th International Conference on Industrial  Informatics (INDIN), pp. 527-532, Lisbon, Portugal, July 2011.
• H.-C. Lapp, C. Gerber, H.-M. Hanisch. "Improving Verification and Reliability of  Distributed Control Systems Design according to IEC 61499",  In Proceedings of the 15th IEEE International  Conference on Emerging Technologies and  Factory Automation (ETFA),  proceedings pp.1-8,  index MF-001694,  Bilbao, Spain, September  2010.
• H.-C. Lapp, D. Missal and H.-M. Hanisch. "Formal Synthesis Approach for Distributed Process Control", In Proceedings of 9th International Conference on New Information Technologies and Systems (NITiS), Part 1, pp. 32-48, Penza, Russia, 2010.

Up