Hans-Michael Hanisch

ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou: Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(1): 178-191 (2012)

Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch: Closed-loop system modeling, validation, and verification. ETFA 2012: 1-8

Hans-Christian Lapp, Hans-Michael Hanisch: Process Control Synthesis Improved by Structural Model Properties. PECCS 2012: 343-351

Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch: Virtual start-up of plants using formal methods. IJCAT 42(2/3): 108-126 (2011)

Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch: Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. IEEE Trans. Computers 60(4): 538-551 (2011)

Mohamed Khalgui, Hans-Michael Hanisch: Reconfiguration Protocol for Multi-Agent Control Software Architectures. IEEE Transactions on Systems, Man, and Cybernetics, Part C 41(1): 70-80 (2011)

Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li: A Component-Based Approach for the Development of Automated Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(5): 1026-1031 (2011)

Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch: A complete framework for controller verification in manufacturing. ETFA 2010: 1-9

Hans-Christian Lapp, Christian Gerber, Hans-Michael Hanisch: Improving verification and reliability of distributed control systems design according to IEC 61499. ETFA 2010: 1-8

Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch: Design Approaches for IEC 61499 Control Applications. GI Jahrestagung (1) 2010: 429-434

Valeriy Vyatkin, Hans-Michael Hanisch, Cheng Pang, Chia-Han Yang: Closed-Loop Modeling in Future Automation System Engineering and Validation. IEEE Transactions on Systems, Man, and Cybernetics, Part C 39(1): 17-28 (2009)

Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi: Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. ETFA 2009: 1-10

Christian Gerber, Hans-Michael Hanisch, Sven Ebbinghaus: From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study. EURASIP J. Emb. Sys. 2008 (2008)

Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch: A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391

Mohamed Khalgui, Hans-Michael Hanisch: Automatic specification of feasible Control Tasks in Benchmark Production Systems. ETFA 2008: 789-798

Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch: Reconfiguration of Embedded Systems. ICINCO-ICSO 2008: 157-162

Mohamed Khalgui, Hans-Michael Hanisch: NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. SIES 2008: 1-10

Dirk Missal, Martin Hirsch, Hans-Michael Hanisch: Hierarchical distributed controllers - design and verification. ETFA 2007: 657-664

Dirk Missal, Hans-Michael Hanisch: Modular plant modelling for distributed control. SMC 2007: 3475-3480

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. IJMR 1(4): 382-404 (2006)

Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin: Formal validation of intelligent-automated production systems: towards industrial applications. IJMTM 8(1/2/3): 75-106 (2006)

Dirk Missal, Hans-Michael Hanisch: Synthesis of Distributed Controllers by Means of a Monolithic Approach. ETFA 2006: 356-363

Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch: Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA 2006: 633-640

Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch: Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781

D. Pollmacher, W. 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: 284-291

Hans-Michael Hanisch, Valeriy Vyatkin: Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View. The Industrial Information Technology Handbook 2005: 1-20

Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch, Peng Zhao: Modeling admissible behavior using event signals. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(3): 1435-1448 (2004)

Hans-Michael Hanisch: Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. Abstract State Machines 2004: 6-19

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: 270-300

Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch: Design and implementation of a prototype control system according to IEC 61499. ETFA (2) 2003: 269-276

Oliver Gutzeit, Hans-Michael Hanisch: Modular modeling of roll-based calender manufacturing environments. ETFA (2) 2003: 321-328

Mohsen A. Jafari, Thomas O. Boucher, Hans-Michael Hanisch: Plug & play methodologies for inter-level, enterprise logistics and control. ETFA (2) 2003: 501-507

Valeriy Vyatkin, Hans-Michael Hanisch: Component Design and Formal Validation of SFA Systems: A Case Study. BASYS 2002: 313-322

Haoxun Chen, Hans-Michael Hanisch: Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. Discrete Event Dynamic Systems 11(1-2): 163-185 (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: 113-118

T. Both, Hans-Michael Hanisch, J. Jorn: Fault treatment with net condition/event systems: a first approach. ETFA (2) 2001: 429-432

Hans-Michael Hanisch, Arndt Lüder: A Signal Extension for Petri Nets and its Use in Controller Design. Fundam. Inform. 41(4): 415-431 (2000)

Haoxun Chen, Hans-Michael Hanisch: Control synthesis of timed discrete event systems based on predicate invariance. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 713-724 (2000)

Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch: Modeling Admissible Behavior with Net Condition/Event Systems. ICRA 2000: 2865-2870

Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, Thomas O. Boucher: A Comparative Study of Synthesis Methods for Discrete Event Controllers. Formal Methods in System Design 15(2): 123-167 (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: 100-111

Haoxun Chen, Hans-Michael Hanisch: Control Synthesis of Hybrid Systems Based on Predicate Invariance. Hybrid Systems 1997: 1-15

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: 278-297

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: 282-299