default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHans-Michael Hanisch
Person information
- affiliation: Martin Luther University of Halle-Wittenberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
[c38]Victor Dubinin
, Valeriy Vyatkin, Hans-Michael Hanisch:
Synthesis of Safety Controllers for Distributed Automation Systems on the Basis of Reverse Safe Net Condition/Event Systems. TrustCom/BigDataSE/ISPA (3) 2015: 287-292- 2013
- [j21]Hans-Christian Lapp, Hans-Michael Hanisch:
A New DES Control Synthesis Approach Based on Structural Model Properties. IEEE Trans. Ind. Informatics 9(4): 2340-2348 (2013) - [j20]ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou:
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 474 (2013) - 2012
- [j19]ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou:
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 42(1): 178-191 (2012) - [c37]Sebastian Preuße, Hans-Christian Lapp, Hans-Michael Hanisch:
Closed-loop system modeling, validation, and verification. ETFA 2012: 1-8 - [c36]Hans-Christian Lapp, Hans-Michael Hanisch:
Process Control Synthesis Improved by Structural Model Properties. PECCS 2012: 343-351 - 2011
- [j18]Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch:
Virtual start-up of plants using formal methods. Int. J. Comput. Appl. Technol. 42(2/3): 108-126 (2011) - [j17]Mohamed Khalgui, Hans-Michael Hanisch:
Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. Int. J. Model. Identif. Control. 12(3): 223-243 (2011) - [j16]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) - [j15]Mohamed Khalgui, Hans-Michael Hanisch:
Reconfiguration Protocol for Multi-Agent Control Software Architectures. IEEE Trans. Syst. Man Cybern. Part C 41(1): 70-80 (2011) - [j14]Olfa Mosbahi, Mohamed Khalgui, Hans-Michael Hanisch, Zhiwu Li:
A Component-Based Approach for the Development of Automated Systems. IEEE Trans. Syst. Man Cybern. Part A 41(5): 1026-1031 (2011) - 2010
- [c35]Christian Gerber, Sebastian Preuße, Hans-Michael Hanisch:
A complete framework for controller verification in manufacturing. ETFA 2010: 1-9 - [c34]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 - [c33]Sebastian Preuße, Christian Gerber, Hans-Michael Hanisch:
Design Approaches for IEC 61499 Control Applications. GI Jahrestagung (1) 2010: 429-434
2000 – 2009
- 2009
- [j13]Valeriy Vyatkin, Hans-Michael Hanisch, Cheng Pang, Chia-Han Yang:
Closed-Loop Modeling in Future Automation System Engineering and Validation. IEEE Trans. Syst. Man Cybern. Part C 39(1): 17-28 (2009) - [c32]Mohamed Khalgui, Hans-Michael Hanisch, Atef Gharbi:
Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems. ETFA 2009: 1-10 - [c31]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
Implementation of agent-based reconfigurable embedded control systems. INDIN 2009: 428-433 - [c30]Sebastian Preuße, Hans-Michael Hanisch:
Specification of technical plant behavior with a safety-oriented technical language. INDIN 2009: 632-637 - 2008
- [j12]Christian Gerber, Hans-Michael Hanisch, Sven Ebbinghaus:
From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study. EURASIP J. Embed. Syst. 2008 (2008) - [j11]Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch:
An optimised simulation of component-based embedded systems in manufacturing industry. Int. J. Simul. Process. Model. 4(2): 148-162 (2008) - [c29]Mohamed Khalgui, Olfa Mosbahi, Hans-Michael Hanisch:
A formal approach to check and schedule reconfigurable embedded control systems. ETFA 2008: 383-391 - [c28]Mohamed Khalgui, Hans-Michael Hanisch:
Automatic specification of feasible Control Tasks in Benchmark Production Systems. ETFA 2008: 789-798 - [c27]Mohamed Khalgui, Martin Hirsch, Dirk Missal, Hans-Michael Hanisch:
Reconfiguration of Embedded Systems. ICINCO-ICSO 2008: 157-162 - [c26]Mohamed Khalgui, Hans-Michael Hanisch:
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems. SIES 2008: 1-10 - 2007
- [c25]Dirk Missal, Martin Hirsch, Hans-Michael Hanisch:
Hierarchical distributed controllers - design and verification. ETFA 2007: 657-664 - [c24]Dirk Missal, Hans-Michael Hanisch:
Modular plant modelling for distributed control. SMC 2007: 3475-3480 - 2006
- [j10]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. Int. J. Manuf. Res. 1(4): 382-404 (2006) - [j9]Hans-Michael Hanisch, Andrei Lobov, Jose L. Martinez Lastra, Reijo Tuokko, Valeriy Vyatkin:
Formal validation of intelligent-automated production systems: towards industrial applications. Int. J. Manuf. Technol. Manag. 8(1/2/3): 75-106 (2006) - [c23]Dirk Missal, Hans-Michael Hanisch:
Synthesis of Distributed Controllers by Means of a Monolithic Approach. ETFA 2006: 356-363 - [c22]Valeriy Vyatkin, Martin Hirsch, Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation. ETFA 2006: 633-640 - [c21]Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hanisch:
Modelling and Verification of IEC 61499 Applications using Prolog. ETFA 2006: 774-781 - 2005
- [c20]D. Pollmacher, Wolf Zimmermann, Hans-Michael Hanisch:
Translation validation for model-based code-generators for PLCs. ETFA 2005 - [c19]Valeriy Vyatkin, Hans-Michael Hanisch:
Reuse of components in formal modeling and verification of distributed control systems. ETFA 2005 - [c18]Luz E. Pinzon, Mohsen A. Jafari, Ardavan Amini, Hans-Michael Hanisch:
Modeling Admissible Behavior Using Event Signals. ICRA 2005: 284-291 - [p1]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
- [j8]Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch, Peng Zhao:
Modeling admissible behavior using event signals. IEEE Trans. Syst. Man Cybern. Part B 34(3): 1435-1448 (2004) - [c17]Hans-Michael Hanisch:
Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering. Abstract State Machines 2004: 6-19 - [c16]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 - 2003
- [j7]Valeriy Vyatkin, Hans-Michael Hanisch:
Verification of distributed control systems in intelligent manufacturing. J. Intell. Manuf. 14(1): 123-136 (2003) - [c15]Xiujun Cai, Valeriy Vyatkin, Hans-Michael Hanisch:
Design and implementation of a prototype control system according to IEC 61499. ETFA (2) 2003: 269-276 - [c14]Oliver Gutzeit, Hans-Michael Hanisch:
Modular modeling of roll-based calender manufacturing environments. ETFA (2) 2003: 321-328 - [c13]Mohsen A. Jafari, Thomas O. Boucher, Hans-Michael Hanisch:
Plug & play methodologies for inter-level, enterprise logistics and control. ETFA (2) 2003: 501-507 - 2002
- [c12]Valeriy Vyatkin, Hans-Michael Hanisch:
Component Design and Formal Validation of SFA Systems: A Case Study. BASYS 2002: 313-322 - 2001
- [j6]Haoxun Chen, Hans-Michael Hanisch:
Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model. Discret. Event Dyn. Syst. 11(1-2): 163-185 (2001) - [c11]Valeriy Vyatkin, Hans-Michael Hanisch:
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems. ETFA (2) 2001: 113-118 - [c10]T. Both, Hans-Michael Hanisch, J. Jorn:
Fault treatment with net condition/event systems: a first approach. ETFA (2) 2001: 429-432 - [c9]Valeriy Vyatkin, Hans-Michael Hanisch:
Application of visual specifications for verification of distributed controllers. SMC 2001: 646-651 - 2000
- [j5]Hans-Michael Hanisch, Arndt Lüder:
A Signal Extension for Petri Nets and its Use in Controller Design. Fundam. Informaticae 41(4): 415-431 (2000) - [j4]Haoxun Chen, Hans-Michael Hanisch:
Control synthesis of timed discrete event systems based on predicate invariance. IEEE Trans. Syst. Man Cybern. Part B 30(5): 713-724 (2000) - [c8]Luz E. Pinzon, Mohsen A. Jafari, Hans-Michael Hanisch:
Modeling Admissible Behavior with Net Condition/Event Systems. ICRA 2000: 2865-2870
1990 – 1999
- 1999
- [j3]Luz E. Pinzon, Hans-Michael Hanisch, Mohsen A. Jafari, Thomas O. Boucher:
A Comparative Study of Synthesis Methods for Discrete Event Controllers. Formal Methods Syst. Des. 15(2): 123-167 (1999) - 1998
- [c7]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 - [c6]Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon:
Timestamp nets in technical applications. SMC 1998: 119-124 - [c5]Ulrich Christmann, Hans-Michael Hanisch:
BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants. SMC 1998: 481-486 - [c4]Hans-Michael Hanisch, Arndt Lüder, Jan Thieme:
A modular plant modeling technique and related controller synthesis problems. SMC 1998: 686-691 - 1997
- [j2]Hans-Michael Hanisch, Arndt Lüder, Mathias P. Rausch:
Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation. Eur. J. Control 3(4): 280-291 (1997) - [j1]Hans-Michael Hanisch, Jan Thieme, Arndt Lüder:
Towards a synthesis method for distributed safety controllers based on net condition/event systems. J. Intell. Manuf. 8(5): 357-368 (1997) - [c3]Haoxun Chen, Hans-Michael Hanisch:
Control Synthesis of Hybrid Systems Based on Predicate Invariance. Hybrid Systems 1997: 1-15 - 1994
- [c2]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
- [c1]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
1980 – 1989
- 1987
- [b1]Hans-Michael Hanisch:
Mathematische Modellierung diskreter Steuerungsaufgaben in diskontinuierlichen verfahrenstechnischen Systemen. Merseburg University of Applied Sciences, Germany, 1987
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
