| 2008 |
|---|
| 25 | EE | Mohamed Khalgui,
Olfa Mosbahi,
Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems.
ETFA 2008: 383-391 |
| 24 | EE | Mohamed Khalgui,
Hans-Michael Hanisch:
Automatic specification of feasible Control Tasks in Benchmark Production Systems.
ETFA 2008: 789-798 |
| 2007 |
|---|
| 23 | EE | Dirk Missal,
Hans-Michael Hanisch:
Modular plant modelling for distributed control.
SMC 2007: 3475-3480 |
| 2006 |
|---|
| 22 | EE | Dirk Missal,
Hans-Michael Hanisch:
Synthesis of Distributed Controllers by Means of a Monolithic Approach.
ETFA 2006: 356-363 |
| 21 | EE | Valeriy Vyatkin,
Martin Hirsch,
Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation.
ETFA 2006: 633-640 |
| 20 | EE | Victor Dubinin,
Valeriy Vyatkin,
Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog.
ETFA 2006: 774-781 |
| 19 | EE | 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 | EE | 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 | EE | Valeriy Vyatkin,
Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems.
ETFA 2005 |
| 16 | EE | 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 | EE | Hans-Michael Hanisch:
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.
Abstract State Machines 2004: 6-19 |
| 12 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
