| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Christian Lapp, Hans-Michael Hanisch |
Process Control Synthesis Improved by Structural Model Properties. |
PECCS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch |
Virtual start-up of plants using formal methods. |
IJCAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Zhiwu Li, Hans-Michael Hanisch |
Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
Reconfiguration Protocol for Multi-Agent Control Software Architectures. |
IEEE Transactions on Systems, Man, and Cybernetics, Part C |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch |
Design Approaches for IEC 61499 Control Applications. |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hans-Christian Lapp, Christian Gerber, Hans-Michael Hanisch |
Improving verification and reliability of distributed control systems design according to IEC 61499. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch |
A complete framework for controller verification in manufacturing. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi |
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Gerber, Hans-Michael Hanisch, Sven Ebbinghaus |
From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Hans-Michael Hanisch |
Automatic specification of feasible Control Tasks in Benchmark Production Systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch |
A formal approach to check and schedule reconfigurable embedded control systems. |
ETFA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Khalgui, Martin Hirsch 0002, Dirk Missal, Hans-Michael Hanisch |
Reconfiguration of Embedded Systems. |
ICINCO-ICSO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dirk Missal, Hans-Michael Hanisch |
Modular plant modelling for distributed control. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin |
Formal validation of intelligent-automated production systems: towards industrial applications. |
IJMTM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch |
Modelling and Verification of IEC 61499 Applications using Prolog. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Missal, Hans-Michael Hanisch |
Synthesis of Distributed Controllers by Means of a Monolithic Approach. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeriy Vyatkin, Martin Hirsch 0002, Hans-Michael Hanisch |
Systematic Design and Implementation of Distributed Controllers in Industrial Automation. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Luz E. Pinzon, Mohsen A. Jafari, Ardavan Amini, Hans-Michael Hanisch |
Modeling Admissible Behavior Using Event Signals. |
ICRA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Valeriy Vyatkin, Hans-Michael Hanisch |
Reuse of components in formal modeling and verification of distributed control systems. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Pollmacher, W. Zimmermann, Hans-Michael Hanisch |
Translation validation for model-based code-generators for PLCs. |
ETFA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Michael Hanisch |
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Valeriy Vyatkin, Hans-Michael Hanisch |
Component Design and Formal Validation of SFA Systems: A Case Study. |
BASYS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Haoxun Chen, Hans-Michael Hanisch |
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. |
Discrete Event Dynamic Systems |
2001 |
DBLP DOI BibTeX RDF |
condition /event systems, state reachability analysis, Petri nets, hybrid systems, modular modeling |
| 1 | Hans-Michael Hanisch, Arndt Lüder |
A Signal Extension for Petri Nets and its Use in Controller Design. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch |
Modeling Admissible Behavior with Net Condition/Event Systems. |
ICRA |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch |
Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. |
FBT |
1998 |
DBLP BibTeX RDF |
|
| 1 | Haoxun Chen, Hans-Michael Hanisch |
Control Synthesis of Hybrid Systems Based on Predicate Invariance. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
batch process control, performance evaluation, analysis, system design, Timed Petri nets |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")