Hans‐Michael Hanisch

Statistics

Publications

Citations

679

H-Index

Active since

2001

Affiliations

Martin Luther University Halle-Wittenberg(Current)

University of Auckland

Xidian University

Hans‐Michael Hanisch is an author at Martin Luther University Halle-Wittenberg specializing in computer engineering, engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringIndustrial InformaticsAutomationFormal MethodsComputer ScienceFormal VerificationVerificationDistributed Systems

Publications per year

2001–2012

Publications

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

Zhiwu Li, Gaiyun Liu, Hans‐Michael Hanisch et al. · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2011 · 156 citations

Mathematical Programming, Petri Net, Engineering +21

Verification of distributed control systems in intelligent manufacturing

Valeriy Vyatkin, Hans‐Michael Hanisch · Journal of Intelligent Manufacturing · 2003 · 110 citations

Reconfiguration of Distributed Embedded-Control Systems

Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li et al. · IEEE/ASME Transactions on Mechatronics · 2010 · 56 citations

Event-driven Architecture, Engineering, Computer Architecture +21

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation

Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li et al. · IEEE Transactions on Computers · 2010 · 42 citations

Petri Net, Engineering, Verification +21

From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study

Christian Gerber, Hans‐Michael Hanisch, Sven Ebbinghaus · EURASIP Journal on Embedded Systems · 2008 · 38 citations

Electrical Engineering, Iec 61499, Engineering +13

1–5 of 19