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

Volltext

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

Volltext

“Here we are together, at home you are alone”–social interactions and personal engagement during a group-based rehabilitation program for young adults with disability von Miklos, Mette, Jahnsen, Reidun, Nyquist, Astrid, Hanisch, Halvor Melbye, Girdler, Sonya

Volltext

Toxicological and ecotoxicological assessment of water tracers von Behrens, H, Beims, U, Dieter, H, Dietze, G, Eikmann, T, Grummt, T, Hanisch, H, Henseling, H, Käß, W, Kerndorff, H, Leibundgut, C, Müller-Wegener, U, Rönnefahrt, I, Scharenberg, B, Schleyer, R, Schloz, W, Tilkes, F

Volltext

Modeling admissible behavior using event signals von Pinzon, L., Jafari, M.A., Hanisch, H.-M., Peng Zhao

Volltext

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

Volltext

Control synthesis of timed discrete event systems based on predicate invariance von Haoxun Chen, Hanisch, H.-M.

Volltext

Propionispora vibrioides, nov. gen., nov. sp., a new gram-negative, spore-forming anaerobe that ferments sugar alcohols von BIEBL, Hanno, SCHWAB-HANISCH, Hildegard, SPRÖER, Cathrin, LÜNSDORF, Heinrich

Volltext

Coordination Control Modelling in Batch Production Systems by Means of Petri Nets von Hanisch, H.-M.

Volltext

Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems von Vyatkin, V., Hanisch, H.-M., Pfeiffer, T.

Volltext bestellen

Incremental modeling based on pneumatic equipment plans and sequential function charts von Both, T., Hanisch, H.-M.

Volltext

Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation von Hanisch, H.-M., Lüder, A., Rausch, M.

Volltext

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

Volltext

Modular modeling of roll-based calender manufacturing environments von Gutzeit, O., Hanisch, H.-M.

Volltext bestellen

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems [Jan 12 178-191] von Li, Z. W., Liu, G. Y., Michael, H. M., Zhou, M. C.

Volltext

A modular plant modeling technique and related controller synthesis problems von Hanisch, H.-M., Luder, A., Thieme, J.

Volltext

Towards a synthesis method for distributed safety controllers based on net condition/event systems von Hanisch, H-m, Thieme, J, Lu¨der, A

Volltext

Hierarchical modelling of recipe controllers — A practical approach von Brettschneider, H., Christmann, U., Fleck, S., Hamann, S., Hanisch, H.-M.

Volltext

Verification of distributed control systems in intelligent manufacturing von Vyatkin, Valeriy, Hanisch, Hans Michael

Volltext

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

Volltext