Hans-Michael Hanisch

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