Martin-Luther-Universität Halle-Wittenberg

EnAS - JackStation + Drucksensoren

Weiteres

Login für Redakteure

Aktuelle Veröffentlichungen

2012

  • S. Preuße, H.-C. Lapp, H.-M. Hanisch: "Closed-loop Modeling, Validation, and Verification", 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), proceedings pp.1-8, index 99, Kraków, Poland, September 2012.
  • H.-C. Lapp and H.-M. Hanisch: "A New DES Control Synthesis Approach based on Structural Model Properties", In IEEE Transactions on Industrial Informatics, 99:1-9, August 2012.
  • 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.

2011

  • S. Preuße, C. Gerber, H.-M. Hanisch: "Virtual Start-Up of Plants using Formal Methods", International Journal of Computer Applications in Technology (IJCAT), 42(2-3):108-126, December 2011.
  • 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.
  • S. Preuße and H.-M. Hanisch: "Verifying Functional and Non-Functional Properties of Manufacturing Control Systems", 3rd International Workshop on Dependable Control of Discrete Systems (DCDS), pp.41-46, Saarbrücken, Germany, June 2011.
  • S. Preuße, D. Missal, C. Gerber, M. Hirsch, H.-M. Hanisch: "On the Use of Model-Based IEC 61499 Controller Design", International Journal of Discrete Event Control Systems (IJDECS), 1(1):115–128, January 2011.

2010

  • S. Preuße, C. Gerber, H.-M. Hanisch: "Design  Approaches  for IEC 61499 Control Applications", INFORMATIK 2010 - 40.  Jahrestagung  der Gesellschaft für Informatik e.V. (GI), Lecture  Notes in Informatics  (LNI), pp. 469-479, Leipzig,  Germany, September 2010.
  • H.-C. Lapp, C. Gerber, H.-M. Hanisch: "Improving  Verification and Reliability of  Distributed Control Systems Design  according to IEC 61499", 15th IEEE International   Conference on  Emerging Technologies and Factory Automation (ETFA),   proceedings pp.1-8,  index MF-001694, Bilbao, Spain,  September  2010.
  • C.  Gerber, S. Preuße, H.-M. Hanisch: "A Complete  Framework for Controller Verification in Manufacturing", 15th IEEE  International Conference on Emerging Technologies and Factory Automation  (ETFA),  proceedings pp.1-9, index MF-001279, Bilbao, Spain,  September  2010.
  • C. Gerber and H.-M. Hanisch: "Does portability of IEC 61499 mean that once programmed control software runs everywhere?", 10th IFAC Workshop  on Intelligent Manufacturing Systems, pp. 29-34,  Lisbon, Portugal, 2010
  • C. Gerber, Ivanova-Vasileva, I. and H.-M. Hanisch: " Formal modelling of IEC 61499 function  blocks with integer-valued data types", Control and Cybernetics,  39(2010), No. 1, pp. 197 - 231, Warszawa, Poland, 2010 - [Link]   

2009

  • D. Missal and H.-M. Hanisch:"Synthesis of Distributed Safety Controllers with Incomplete State Observation" In: Annual Conference of the IEEE Industrial Electronics Society (IECON´2009), proceedings. Porto, Portugal 2009. - [LINK]   
  • H.-M. Hanisch, M. Hirsch, D. Missal, S. Preusse and C. Gerber: "One Decade of IEC 61499 Modeling and Verification - Results and Open Issues", IFAC Symposium on Information Control Problems in Manufacturing (INCOM'09) preprints pp.211-216, Moscow, Russia 2009. - [LINK]   
  • C. Gerber, M. Hirsch und H.-M. Hanisch: "Automatisierung einer energieautarken Fertigungsanlage nach IEC 61499", Automatisierungstechnische Praxis (atp 03/09), München 2009. - [LINK]   

2008

  • 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) proceedings pp.152-157, Orlando-Florida, USA 2008 - doi: 10.1109/IECON.2008.4757944   
  • Missal, D. and Hanisch, H.-M.: "Synthesis of Distributed  Forcing/Locking Safety Controllers", Annual Conference of the IEEE  Industrial Electronics Society (IECON´2008), proceedings.  Orlando-Florida, USA 2008, pp. 383-390 - doi: 10.1109/IECON.2008.4757984   
  • C. Gerber, I. Ivanova-Vasileva, H.-M.  Hanisch: "A Data processing Model of IEC 61499 Function Blocks with  Integer-Valued Data Types", 9th IFAC Workshop on Intelligent Manufacturing Systems, pp. 239-244, Szczecin, Poland, 2008 - doi: 10.3182/20081205-2-CL-4009.00032   
  • I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch: "Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types", 9th IFAC Workshop on Intelligent Manufacturing Systems, pp. 233-238,  Szczecin, Poland, 2008 - doi: 10.3182/20081205-2-CL-4009.00031   
  • 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, E. Carpanzano and H.-M. Hanisch: "An Optimized Simulation of Embedded Systems in Manufacturing Systems", International Conference on Embedded Systems & Critical Applications (ICESCA`2008) proceedings pp.47-57, Gammarth, Tunisia 2008.
  • 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 and 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.
  • C. Gerber, H.-M. Hanisch and S. Ebbinghaus: "From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study" EURASIP Journal on Embedded Systems, vol. 2008, Article ID 231630, 8 pages, 2008. - doi: 10.1155/2008/231630    - [Link]   

2007

  • O. Gutzeit, C. Gerber, H.-M. Hanisch: "Bedienerunterstützung bei der Koordinierung von Produktionslinien zur Folienherstellung", Automatisierungstechnische Praxis (atp 12/07), München 2007.
  • Missal, D.; 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.
  • I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch: "TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS", International Conference AUTOMATICS AND INFORMATICS’ (CAI`07) proceedings pp. V-5-V-10, Sofia 2007.
  • 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.

2006

  • V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer and V. Dubinin: Rapid engineering and re-configuration of automation objects aided by formal modelling and verfication, Int. J. Manufacturing Research, Vol. 1, No. 4, 2006, pp 382 – 404.
  • H.-M. Hanisch, A. Lobov, J. L. Martinez Lastra, R. Tuokko and V, Vyatkin: Formal validation of intelligent-automated production systems: Towards industrial applications, Int. J. Manufacturing Technology and Management, Vol. 8, Nos.1/2/3, 2006, pp 75 – 106.
  • D. Missal and H.-M. Hanisch: Safe Net Condition/Event System Models for Synthesis of Distributed Controllers. New Information Technologies and Systems (NITis` 2006), Seventh International Conference of Science and Technology, Penza, Russia, November 29. – 30. 2006, Proceedings, pp 186 – 199.
  • V.N. Dubinin, H.-M. Hanisch and D. Missal: Event Graph - Based Approch to interpretation of NCES Models. New Information Technologies and Systems (NITis` 2006), Seventh International Conference of Science and Technology, Penza, Russia, November 29. – 30. 2006, Proceedings, pp 1172 – 186.
  • V.N. Dubinin, H.-M. Hanisch and S. Karras: Building of reachability graph extractions using a graph rewriting system. New Information Technologies and Systems (NITis` 2006), Seventh International Conference of Science and Technology, Penza, Russia, November 29. – 30. 2006, Proceedings, pp 160 – 171.
  • S. Karras, T. Pfeiffer, H.-M. Hanisch and V, Vyatkin: Integration mechatronischer Objekte in die VAIAS - Systemarchitektur. New Information Technologies and Systems (NITis` 2006), Seventh International Conference of Science and Technology, Penza, Russia, November 29. – 30. 2006, Proceedings, pp 123 – 132.
  • V.Vyatkin and H.-M. Hanisch: Design of Controllers for Plug-And-Play Composition of Automated Systems from Smart Mechatronic Components. 2006 ANIPLA International Congress on Methodologies for Emerging Technologies in Automation, Roma, November 13. – 15. 2006. Proceedings, CD ROM.
  • V. Dubinin, V. Vyatkin and H.-M. Hanisch: Modelling and Verification of IEC 61499 Applications using Prolog. 11 th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague - Czech, September 20 - 22, 2006, Proceedings, pp. 774 - 781.
  • 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.
  • D. Missal and H.-M. Hanisch: Synthesis of Distributed Controllers by Means of a Monolithic Approach. 11 th IEEE International Conference on Emerging Technologies and Factory Automation, (ETFA 2006), Prague - Czech, September 20 - 22, 2006, Proceedings, pp. 356 - 363.
  • 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.

2005

  • T. Both, H.-M. Hanisch and G. Kieser: Incremental Modeling Based on Pneumatic Equipment Plans and Sequential Function Charts. 10 th IEEE International Conference on Emerging Technologies and Factory Automation, (ETFA 2005), Catania - Italy, September 19 - 22, 2005, Proceedings, pp. 765 - 770.
  • V.Vyatkin and H.-M. Hanisch: Reuse of Components in Formal Modeling and Verification of Distributed Control Systems. 10 th IEEE International Conference on Emerging Technologies and Factory Automation, (ETFA 2005),  Catania - Italy, September 19 - 22, 2005, Proceedings, pp. 129 - 134.
  • D. Pollmächer, W. Zimmermann and H.-M. Hanisch: Translation Validation for Model- Based Code- Generators for PLCs. 10 th IEEE International Conference on Emerging Technologies and Factory Automation, (ETFA 2005), Catania - Italy, September 19 - 22, 2005, Proceedings, pp. 113 - 120.
  • G. Bouzon, V. Vyatkin and H.-M. Hanisch: Timing Diagram Specifications in Modular Modeling of Industrial Automation Systems. 16 th IFAC World Congress, Prag, Juli 4, 2005, Proceedings, CD ROM.
  • V.Vyatkin, S. Karras, T. Pfeiffer and H.-M. Hanisch: On Integration of Model- based Validation in Software Engineering of Industrial Automation Systems. Proceedings of the Second IASTED International Multi- Conference on Automation, Control, and Information Technology, Novosibirsk, June 20. – 24. 2005. ACTA Press, Proceedings, pp. 129 – 134.
  • L. E. Pinzon, M. A. Jafari, A. Amini and H.-M. Hanisch: Modeling Admissible Behavior Using Event Signals. 2005 IEEE International Conference on Robotics and Automation, Barcelona, April 18. – 22. 2005. Proceedings, pp. 285 – 292.
  • H.-M. Hanisch and V.Vyatkin: Modeling and Verification of Distributed Control Systems. Design, Analysis, and Simulation of Distributed Systems Symposium, DASD`05, San Diego, California, USA, April 3 – 7, 2005, Proceedings, pp. 79 – 85.

2004

  • H.-M. Hanisch and V. Vyatkin: Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Deverloper`s View, The Industrial Information Technology Handbook, pp. 66-1 – 66-20, CRC PRESS, 2004.
  • J. Desel, H.-M. Hanisch, G. Juhas, R. Lorenz and C. Neumair: A Guide to Modelling and Control with Modules of Signal Nets, Lecture Notes in Computer Science, Vol.3147, pp. 270 – 300, Springer, 2004.
  • V. Vyatkin; H.-M. Hanisch and V. Dubinin: Projektirovanie raspredeljonnykh system upravleniya proizwodstwennymiprozessami s ispolzovaniem UML-FB.IEEE AIS`04 CAD- 2004, Divnomorskoe – Russia, September 3 – 10. 2004. Proceedings, pp. 193 – 199.
  • V. Vyatkin; H.-M. Hanisch and G. Ivanov: A Dual-Level Condition/Event Pattern for Modelling of Flexible Automated Manufacturing and Social Objects and Agents. IEEE AIS`04 CAD- 2004, Divnomorskoe – Russia, September 3 – 10. 2004. Proceedings, pp. 33 – 38.
  • L.E. Pinzon; M.A.Jafari; H.-M. Hanisch and P. Zhao: Modeling Admissible Behavior Using Event Signals. IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS – PART B: CYBERNETICS, Volume 34, Number 3, June 2004, pp. 1435 – 1448.
  • H.-M. Hanisch: Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24 – 28, 2004. Lecture Notes in Computer Science, Vol. 3052, pp. 6 – 19, Springer, 2004.
  • V. Vyatkin, H.-M. Hanisch and G. Bouzon: Open Object-Orient Modelling and Validation Framework for modular industrial Automation Systems. 11th IFAC Symposium on Information Control Problems in Manufacturing, Salvador da Bahia-Brazil, April 5-7 2004, CD-ROM.
  • H.Lehnich; H.-M. Hanisch und H.-D. Pauer: Inkrementell iterative Entwicklung von Virtuellen Instrumenten, dargestellt am Beispiel biomedizinischer Messeinrichtungen. Kongress VIP 2004, Fürstenfeldbruck, März 24.- 25. 2004, Proceedings, pp. 378 – 382.

2003

  • M. A. Jafari, Th. O. Boucher and H.-M. Hanisch: Plug & Play Methodologies for Inter-Level, Enterprise Logistics and Control. 9 th IEEE Conference on Emerging Technologies and Factory Automation, (ETFA 2003), Lisbon, Portugal, September 16. – 19. 2003. Proceedings, pp. 501 – 507.
  • O. Gutzeit and H.-M. Hanisch: Modular Modeling of Roll-based Calender Manufacturing Environments. 9 th IEEE Conference on Emerging Technologies and Factory Automation, (ETFA 2003), Lisbon, Portugal, September 16.–19. 2003, Proceedings, pp. 321 – 328.
  • X.Cai, V. Vyatkin and H.-M. Hanisch: Design and Implementation of a Prototype Control System According to IEC 61499. 9 th IEEE Conference on Emerging Technologies and Factory Automation, (ETFA 2003), Lisbon, Portugal, September 16. – 19.2003, Proceedings, pp. 269 – 276.
  • V.Vyatkin, H.-M. Hanisch and Th. Pfeiffer: Object - oriented modular Place/ Transition Formalism for Systematic Modeling and Validation of Industrial Automation Systems. IEEE International Conference on Industrial Informatics INDIN 2003. Banff, Alberta, Canada, August 21. - 24. 2003 (CD- ROM).
  • V.Vyatkin and H.–M.Hanisch.: Verification of distributed control systems in intelligent manufacturing. Journal of Intelligent Manufacturing 1/2003. February 2003, pp. 123 - 136.

Zum Seitenanfang