Hans-Michael Hanisch

Publication Activity (10 Years)

Years Active: 1993-2015
Publications (10 Years): 1

Top Venues

IEEE Trans. Ind. Informatics

IEEE Trans. Syst. Man Cybern. Syst.

TrustCom/BigDataSE/ISPA (3)

Merseburg University of Applied Sciences, Germany (PHD)

Education History

Merseburg University of Applied Sciences, Germany

PHD

Publications

Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) (2015)
Hans-Christian Lapp, Hans-Michael Hanisch
A New DES Control Synthesis Approach Based on Structural Model Properties. IEEE Trans. Ind. Informatics 9 (4) (2013)
ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43 (2) (2013)
Hans-Christian Lapp, Hans-Michael Hanisch
Process Control Synthesis Improved by Structural Model Properties. PECCS (2012)
Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch
Closed-loop system modeling, validation, and verification. ETFA (2012)
ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 42 (1) (2012)
Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch
Virtual start-up of plants using formal methods. Int. J. Comput. Appl. Technol. 42 (2/3) (2011)
Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60 (4) (2011)
Mohamed Khalgui, Hans-Michael Hanisch
Reconfiguration Protocol for Multi-Agent Control Software Architectures. IEEE Trans. Syst. Man Cybern. Part C 41 (1) (2011)
Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li
A Component-Based Approach for the Development of Automated Systems. IEEE Trans. Syst. Man Cybern. Part A 41 (5) (2011)
Mohamed Khalgui, Hans-Michael Hanisch
Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. Int. J. Model. Identif. Control. 12 (3) (2011)
Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch
A complete framework for controller verification in manufacturing. ETFA (2010)
Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch
Design Approaches for IEC 61499 Control Applications. GI Jahrestagung (1) (2010)
Hans-Christian Lapp, Christian Gerber, Hans-Michael Hanisch
Improving verification and reliability of distributed control systems design according to IEC 61499. ETFA (2010)
Valeriy Vyatkin, Hans-Michael Hanisch, Cheng Pang, Chia-Han Yang
Closed-Loop Modeling in Future Automation System Engineering and Validation. IEEE Trans. Syst. Man Cybern. Part C 39 (1) (2009)
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
Implementation of agent-based reconfigurable embedded control systems. INDIN (2009)
Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. ETFA (2009)
Sebastian Preuße, Hans-Michael Hanisch
Specification of technical plant behavior with a safety-oriented technical language. INDIN (2009)
Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch
A formal approach to check and schedule reconfigurable embedded control systems. ETFA (2008)
Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch
An optimised simulation of component-based embedded systems in manufacturing industry. Int. J. Simul. Process. Model. 4 (2) (2008)
Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch
Reconfiguration of Embedded Systems. ICINCO-ICSO (2008)
Mohamed Khalgui, Hans-Michael Hanisch
Automatic specification of feasible Control Tasks in Benchmark Production Systems. ETFA (2008)
Mohamed Khalgui, Hans-Michael Hanisch
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. SIES (2008)
Christian Gerber, Hans-Michael Hanisch, Sven Ebbinghaus
From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study. EURASIP J. Embed. Syst. 2008 (2008)
Dirk Missal, Hans-Michael Hanisch
Modular plant modelling for distributed control. SMC (2007)
Dirk Missal, Martin Hirsch, Hans-Michael Hanisch
Hierarchical distributed controllers - design and verification. ETFA (2007)
Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin
Formal validation of intelligent-automated production systems: towards industrial applications. Int. J. Manuf. Technol. Manag. 8 (1/2/3) (2006)
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA (2006)
Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch
Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA (2006)
Dirk Missal, Hans-Michael Hanisch
Synthesis of Distributed Controllers by Means of a Monolithic Approach. ETFA (2006)
Valeriy Vyatkin, Hans-Michael Hanisch, Sirko Karras, Thomas Pfeiffer, Victor Dubinin
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification. Int. J. Manuf. Res. 1 (4) (2006)
D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch
Translation validation for model-based code-generators for PLCs. ETFA (2005)
Valeriy Vyatkin, Hans-Michael Hanisch
Reuse of components in formal modeling and verification of distributed control systems. ETFA (2005)
Luz E. Pinzon, Mohsen A. Jafari, Ardavan Amini, Hans-Michael Hanisch
Modeling Admissible Behavior Using Event Signals. ICRA (2005)
Hans-Michael Hanisch
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. Abstract State Machines (2004)
Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report (2004)
Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch, Peng Zhao
Modeling admissible behavior using event signals. IEEE Trans. Syst. Man Cybern. Part B 34 (3) (2004)
Mohsen A. Jafari, Thomas O. Boucher, Hans-Michael Hanisch
Plug & play methodologies for inter-level, enterprise logistics and control. ETFA (2) (2003)
Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch
Design and implementation of a prototype control system according to IEC 61499. ETFA (2) (2003)
Oliver Gutzeit, Hans-Michael Hanisch
Modular modeling of roll-based calender manufacturing environments. ETFA (2) (2003)
Valeriy Vyatkin, Hans-Michael Hanisch
Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. 14 (1) (2003)
Valeriy Vyatkin, Hans-Michael Hanisch
Component Design and Formal Validation of SFA Systems: A Case Study. BASYS (2002)
Haoxun Chen, Hans-Michael Hanisch
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. Discret. Event Dyn. Syst. 11 (1-2) (2001)
T. Both, Hans-Michael Hanisch, J. Jorn
Fault treatment with net condition/event systems: a first approach. ETFA (2) (2001)
Valeriy Vyatkin, Hans-Michael Hanisch
Application of visual specifications for verification of distributed controllers. SMC (2001)
Valeriy Vyatkin, Hans-Michael Hanisch
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. ETFA (2) (2001)
Hans-Michael Hanisch, Arndt Lüder
A Signal Extension for Petri Nets and its Use in Controller Design. Fundam. Informaticae 41 (4) (2000)
Haoxun Chen, Hans-Michael Hanisch
Control synthesis of timed discrete event systems based on predicate invariance. IEEE Trans. Syst. Man Cybern. Part B 30 (5) (2000)
Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch
Modeling Admissible Behavior with Net Condition/Event Systems. ICRA (2000)
Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, Thomas O. Boucher
A Comparative Study of Synthesis Methods for Discrete Event Controllers. Formal Methods Syst. Des. 15 (2) (1999)
Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch
Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. FBT (1998)
Hans-Michael Hanisch, Arndt Lüder, Jan Thieme
A modular plant modeling technique and related controller synthesis problems. SMC (1998)
Ulrich Christmann, Hans-Michael Hanisch
BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants. SMC (1998)
Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon
Timestamp nets in technical applications. SMC (1998)
Hans-Michael Hanisch, Arndt Lüder, Mathias P. Rausch
Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation. Eur. J. Control 3 (4) (1997)
Hans-Michael Hanisch, Jan Thieme, Arndt Lüder
Towards a synthesis method for distributed safety controllers based on net condition/event systems. J. Intell. Manuf. 8 (5) (1997)
Haoxun Chen, Hans-Michael Hanisch
Control Synthesis of Hybrid Systems Based on Predicate Invariance. Hybrid Systems (1997)
Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. Application and Theory of Petri Nets (1994)
Hans-Michael Hanisch
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. Application and Theory of Petri Nets (1993)

Hans-Michael Hanisch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hans-Michael Hanisch