Hans-Michael Hanisch

发表

Formal modelling of IEC 61499 function blocks with integer-valued data types

Christian Gerber, Ioanna Ivanova-Vasileva, Hans-Michael Hanisch, 2010 .

Using Parameterized Timestamp Petri Nets in Automatic Control

Kurt Lautenbach, Hans-Michael Hanisch, Carlo Simon, 2002 .

Synthesis of Admissible Behavior of Petri Nets for Partial Order Specifications

Hans-Michael Hanisch, A. Lüder, A. Lüder, 2000 .

Analysis of timed place/transition nets using minimal state graphs

Hans-Michael Hanisch, 1994 .

Dynamik von Koordinierungssteuerungen in diskontinuierlichen verfahrenstechnischen Systemen / Dynamics of coordination control in batch chemical systems

Hans-Michael Hanisch, 1990 .

Model-based generation of modular PLC code using IEC61131 function blocks

Hans-Michael Hanisch, J. Thieme, 2002, Industrial Electronics, 2002. ISIE 2002. Proceedings of the 2002 IEEE International Symposium on.

One Decade of IEC 61499 Modeling and Verification - Results and Open Issues

Christian Gerber, Hans-Michael Hanisch, Sebastian Preuse, 2009 .

Supervisory Control of Parallel Processes in Batch Plants

Hans-Michael Hanisch, 1992 .

Control synthesis of timed discrete event systems: Part one

Hans-Michael Hanisch, Haoxun Chen, 1999 .

Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types

Christian Gerber, Ioanna Ivanova-Vasileva, Hans-Michael Hanisch, 2008 .

Discrete models of the dynamic behaviour of batch plants

Hans-Michael Hanisch, 1994 .

Berechnung optimaler diskreter Koordinierungssteuerungen auf der Grundlage zeitbewerteter Petri-Netze/ Computation of optimal coordination control based on timed Petri nets

Hans-Michael Hanisch, 1992 .

A Modular Synthesis Approach for Distributed Safety Controllers, Part B:⋆ Modular Control Synthesis

Hans-Michael Hanisch, Dirk Missal, 2008 .

A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types

Christian Gerber, Ioanna Ivanova-Vasileva, Hans-Michael Hanisch, 2008 .

Modeling and Validation of Hybrid Systems using Extended Timestamp Nets

Kurt Lautenbach, Hans-Michael Hanisch, J. Thieme, 2001 .

A Modular Synthesis Approach for Distributed Safety Controllers, Part A:⋆ Modelling and Specification

Hans-Michael Hanisch, Dirk Missal, 2008 .