 | 2012 |
|---|
| 39 |       | Hans-Christian Lapp,
Hans-Michael Hanisch:
Process Control Synthesis Improved by Structural Model Properties.
PECCS 2012: 343-351 |
| 38 |  | ZhiWu Li,
GaiYun Liu,
Hans-Michael Hanisch,
MengChu Zhou:
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 42(1): 178-191 (2012) |
| 2011 |
|---|
| 37 | | Mohamed Khalgui,
Olfa Mosbahi,
Zhiwu Li,
Hans-Michael Hanisch:
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation.
IEEE Trans. Computers 60(4): 538-551 (2011) |
| 36 | | Olfa Mosbahi,
Mohamed Khalgui,
Hans-Michael Hanisch,
Zhiwu Li:
A Component-Based Approach for the Development of Automated Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(5): 1026-1031 (2011) |
| 35 | | Mohamed Khalgui,
Hans-Michael Hanisch:
Reconfiguration Protocol for Multi-Agent Control Software Architectures.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 41(1): 70-80 (2011) |
| 34 | | Sebastian Preuße,
Christian Gerber,
Hans-Michael Hanisch:
Virtual start-up of plants using formal methods.
IJCAT 42(2/3): 108-126 (2011) |
| 2010 |
|---|
| 33 | | Hans-Christian Lapp,
Christian Gerber,
Hans-Michael Hanisch:
Improving verification and reliability of distributed control systems design according to IEC 61499.
ETFA 2010: 1-8 |
| 32 | | Christian Gerber,
Sebastian Preuße,
Hans-Michael Hanisch:
A complete framework for controller verification in manufacturing.
ETFA 2010: 1-9 |
| 31 | | Sebastian Preuße,
Christian Gerber,
Hans-Michael Hanisch:
Design Approaches for IEC 61499 Control Applications.
GI Jahrestagung (1) 2010: 429-434 |
| 2009 |
|---|
| 30 | | Mohamed Khalgui,
Hans-Michael Hanisch,
Atef Gharbi:
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.
ETFA 2009: 1-10 |
| 29 | | Valeriy Vyatkin,
Hans-Michael Hanisch,
Cheng Pang,
Chia-Han Yang:
Closed-Loop Modeling in Future Automation System Engineering and Validation.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 39(1): 17-28 (2009) |
| 2008 |
|---|
| 28 | | Mohamed Khalgui,
Olfa Mosbahi,
Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA 2008: 383-391 |
| 27 | | Mohamed Khalgui,
Hans-Michael Hanisch:
Automatic specification of feasible Control Tasks in Benchmark Production Systems.
ETFA 2008: 789-798 |
| 26 | | Mohamed Khalgui,
Martin Hirsch,
Dirk Missal,
Hans-Michael Hanisch:
Reconfiguration of Embedded Systems.
ICINCO-ICSO 2008: 157-162 |
| 25 | | Mohamed Khalgui,
Hans-Michael Hanisch:
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.
SIES 2008: 1-10 |
| 24 | | Christian Gerber,
Hans-Michael Hanisch,
Sven Ebbinghaus:
From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study.
EURASIP J. Emb. Sys. 2008: (2008) |
| 2007 |
|---|
| 23 | | Dirk Missal,
Hans-Michael Hanisch:
Modular plant modelling for distributed control.
SMC 2007: 3475-3480 |
| 2006 |
|---|
| 22 | | Dirk Missal,
Hans-Michael Hanisch:
Synthesis of Distributed Controllers by Means of a Monolithic Approach.
ETFA 2006: 356-363 |
| 21 | | Valeriy Vyatkin,
Martin Hirsch,
Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation.
ETFA 2006: 633-640 |
| 20 | | Victor Dubinin,
Valeriy Vyatkin,
Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog.
ETFA 2006: 774-781 |
| 19 | | Valeriy Vyatkin,
Hans-Michael Hanisch,
Sirko Karras,
Thomas Pfeiffer,
Victor Dubinin:
Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.
IJMR 1(4): 382-404 (2006) |
| 18 | | Hans-Michael Hanisch,
Andrei Lobov,
Jose L. Martinez Lastra,
Reijo Tuokko,
Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications.
IJMTM 8(1/2/3): 75-106 (2006) |
| 2005 |
|---|
| 17 | | Valeriy Vyatkin,
Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems.
ETFA 2005 |
| 16 | | D. Pollmacher,
W. Zimmermann,
Hans-Michael Hanisch:
Translation validation for model-based code-generators for PLCs.
ETFA 2005 |
| 15 | | Luz E. Pinzon,
Mohsen A. Jafari,
Ardavan Amini,
Hans-Michael Hanisch:
Modeling Admissible Behavior Using Event Signals.
ICRA 2005: 284-291 |
| 14 | | Hans-Michael Hanisch,
Valeriy Vyatkin:
Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View.
The Industrial Information Technology Handbook 2005: 1-20 |
| 2004 |
|---|
| 13 | | Hans-Michael Hanisch:
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.
Abstract State Machines 2004: 6-19 |
| 12 | | Jörg Desel,
Hans-Michael Hanisch,
Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
A Guide to Modelling and Control with Modules of Signal Nets.
SoftSpez Final Report 2004: 270-300 |
| 11 | | Luz E. Pinzon,
Mohsen A. Jafari,
Hans-Michael Hanisch,
Peng Zhao:
Modeling admissible behavior using event signals.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(3): 1435-1448 (2004) |
| 2002 |
|---|
| 10 | | Valeriy Vyatkin,
Hans-Michael Hanisch:
Component Design and Formal Validation of SFA Systems: A Case Study.
BASYS 2002: 313-322 |
| 2001 |
|---|
| 9 | | Haoxun Chen,
Hans-Michael Hanisch:
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model.
Discrete Event Dynamic Systems 11(1-2): 163-185 (2001) |
| 2000 |
|---|
| 8 | | Luz E. Pinzon,
Mohsen A. Jafari,
Hans-Michael Hanisch:
Modeling Admissible Behavior with Net Condition/Event Systems.
ICRA 2000: 2865-2870 |
| 7 | | Hans-Michael Hanisch,
Arndt Lüder:
A Signal Extension for Petri Nets and its Use in Controller Design.
Fundam. Inform. 41(4): 415-431 (2000) |
| 6 | | Haoxun Chen,
Hans-Michael Hanisch:
Control synthesis of timed discrete event systems based on predicate invariance.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 713-724 (2000) |
| 1999 |
|---|
| 5 | | Luz E. Pinzon,
Hans-Michael Hanisch,
Mohsen A. Jafari,
T. Boucher:
A Comparative Study of Synthesis Methods for Discrete Event Controllers.
Formal Methods in System Design 15(2): 123-167 (1999) |
| 1998 |
|---|
| 4 | | Arndt Lüder,
E. Hintze,
A. Pöschmann,
Hans-Michael Hanisch:
Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.
FBT 1998: 100-111 |
| 1997 |
|---|
| 3 | | Haoxun Chen,
Hans-Michael Hanisch:
Control Synthesis of Hybrid Systems Based on Predicate Invariance.
Hybrid Systems 1997: 1-15 |
| 1994 |
|---|
| 2 | | Hartmann J. Genrich,
Hans-Michael Hanisch,
Konrad Wöllhaf:
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.
Application and Theory of Petri Nets 1994: 278-297 |
| 1993 |
|---|
| 1 | | Hans-Michael Hanisch:
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control.
Application and Theory of Petri Nets 1993: 282-299 |
Data released under the ODC-BY 1.0 license — See also our legal information page