Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems von ZhiWu Li, GaiYun Liu, Hanisch, H., MengChu Zhou

Volltext

Reconfiguration of Distributed Embedded-Control Systems von Khalgui, Mohamed, Mosbahi, Olfa, Zhiwu Li, Hanisch, Hans-Michael

Volltext

HEARING AID DEVICE von Hanisch, Michael

Volltext

Closed-Loop Modeling in Future Automation System Engineering and Validation von Vyatkin, V., Hanisch, H.-M., Cheng Pang, Chia-Han Yang

Volltext

Reconfiguration Protocol for Multi-Agent Control Software Architectures von Khalgui, M, Hanisch, H M

Volltext

From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study von Gerber, Christian, Hanisch, Hans-Michael, Ebbinghaus, Sven

Volltext

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation von Khalgui, M, Mosbahi, O, Zhiwu Li, Hanisch, Hans-Michael

Volltext

Execution models for reconfigurable embedded real-time systems von Khalgui, Mohamed, Hanisch, Hans-Michael

Volltext

A New DES Control Synthesis Approach Based on Structural Model Properties von Lapp, Hans-Christian, Hanisch, Hans-Michael

Volltext

Retraction Note: A multi-agent architectural solution for coherent distributed reconfigurations of function blocks von Khalgui, Mohamed, Mosbahi, Olfa, Hanisch, Hans-Michael, Li, Zhiwu

Volltext

A multi-agent architectural solution for coherent distributed reconfigurations of function blocks von Khalgui, Mohamed, Mosbahi, Olfa, Hanisch, Hans-michael, Li, Zhiwu

Volltext

Closed-loop system modeling, validation, and verification von Preuse, S., Lapp, H., Hanisch, H.

Volltext

Analysis of place/transition nets with timed arcs and its application to batch process control von Hanisch, Hans-Michael

Volltext

A complete framework for controller verification in manufacturing von Gerber, Christian, Preusse, Sebastian, Hanisch, Hans-Michael

Volltext

A new model structure based synthesis approach for distributed discrete process control von Winkler, T., Lapp, H., Hanisch, H.

Volltext

Specification of technical plant behavior with a safety-oriented technical language von Preusse, S., Hanisch, H.-M.

Volltext

Improving verification and reliability of distributed control systems design according to IEC 61499 von Lapp, Hans-Christian, Gerber, Christian, Hanisch, Hans-Michael

Volltext

Synthesis of distributed safety controllers with incomplete state observation von Missal, D., Hanisch, H.-M.

Volltext

Model-checking for the functional safety of Control Component-based heterogeneous embedded systems von Khalgui, M., Hanisch, H.-M., Gharbi, A.

Volltext

Hierarchical distributed controllers - design and verification von Missal, D., Hirsch, M., Hanisch, H.-M.

Volltext