Hans-Michael Hanisch

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

A complete framework for controller verification in manufacturing.

[BibT_eX]

[DOI]

Christian Gerber

Sebastian Preuße

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Closed-Loop Modeling in Future Automation System Engineering and Validation.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2009

Specification of technical plant behavior with a safety-oriented technical language.

[BibT_eX]

[DOI]

Sebastian Preuße

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Implementation of agent-based reconfigurable embedded control systems.

[BibT_eX]

[DOI]

Olfa Mosbahi

Proceedings of the 7th IEEE International Conference on Industrial Informatics, 2009

Model-checking for the Functional Safety of Control Component-based Heterogeneous Embedded Systems.

[BibT_eX]

[DOI]

Atef Gharbi

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

An optimised simulation of component-based embedded systems in manufacturing industry.

[BibT_eX]

[DOI]

Emanuele Carpanzano

Int. J. Simul. Process. Model., 2008

From IEC 61131 to IEC 61499 for Distributed Systems: A Case Study.

[BibT_eX]

[DOI]

Christian Gerber

Sven Ebbinghaus

EURASIP J. Embed. Syst., 2008

NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Reconfiguration of Embedded Systems.

[BibT_eX]

Proceedings of the ICINCO 2008, 2008

A formal approach to check and schedule reconfigurable embedded control systems.

[BibT_eX]

[DOI]

Olfa Mosbahi

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Automatic specification of feasible Control Tasks in Benchmark Production Systems.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007

Modular plant modelling for distributed control.

[BibT_eX]

[DOI]

Dirk Missal

Proceedings of the IEEE International Conference on Systems, 2007

Hierarchical distributed controllers - design and verification.

[BibT_eX]

[DOI]

Dirk Missal

Martin Hirsch

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Formal validation of intelligent-automated production systems: towards industrial applications.

[BibT_eX]

[DOI]

Andrei Lobov

Jose L. Martinez Lastra

Reijo Tuokko

Int. J. Manuf. Technol. Manag., 2006

Rapid engineering and re-configuration of automation objects aided by formal modelling and verification.

[BibT_eX]

[DOI]

Int. J. Manuf. Res., 2006

Systematic Design and Implementation of Distributed Controllers in Industrial Automation.

[BibT_eX]

[DOI]

Martin Hirsch

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Synthesis of Distributed Controllers by Means of a Monolithic Approach.

[BibT_eX]

[DOI]

Dirk Missal

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Modelling and Verification of IEC 61499 Applications using Prolog.

[BibT_eX]

[DOI]

Victor Dubinin

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Modeling Admissible Behavior Using Event Signals.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

Reuse of components in formal modeling and verification of distributed control systems.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Translation validation for model-based code-generators for PLCs.

[BibT_eX]

[DOI]

D. Pollmacher

Wolf Zimmermann

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View.

[BibT_eX]

Proceedings of the Industrial Information Technology Handbook, 2005

2004

Modeling admissible behavior using event signals.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2004

A Guide to Modelling and Control with Modules of Signal Nets.

[BibT_eX]

[DOI]

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Verification of distributed control systems in intelligent manufacturing.

[BibT_eX]

[DOI]

J. Intell. Manuf., 2003

Plug & play methodologies for inter-level, enterprise logistics and control.

[BibT_eX]

[DOI]

Mohsen A. Jafari

Thomas O. Boucher

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Modular modeling of roll-based calender manufacturing environments.

[BibT_eX]

[DOI]

Oliver Gutzeit

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Design and implementation of a prototype control system according to IEC 61499.

[BibT_eX]

[DOI]

Xiujun Cai

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Component Design and Formal Validation of SFA Systems: A Case Study.

[BibT_eX]

Proceedings of the Knowledge and Technology Integration in Production and Services: Balancing Knowledge in Product and Service Life Cycle, 2002

2001

Analysis of Hybrid Systems Based on Hybrid Net Condition/Event System Model.

[BibT_eX]

[DOI]

Haoxun Chen

Discret. Event Dyn. Syst., 2001

Application of visual specifications for verification of distributed controllers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2001

Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Fault treatment with net condition/event systems: a first approach.

[BibT_eX]

[DOI]

T. Both

J. Jorn

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

Control synthesis of timed discrete event systems based on predicate invariance.

[BibT_eX]

[DOI]

Haoxun Chen

IEEE Trans. Syst. Man Cybern. Part B, 2000

A Signal Extension for Petri Nets and its Use in Controller Design.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Modeling Admissible Behavior with Net Condition/Event Systems.

[BibT_eX]

[DOI]

Luz E. Pinzon

Mohsen A. Jafari

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999

A Comparative Study of Synthesis Methods for Discrete Event Controllers.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1999

1998

Timestamp nets in technical applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A modular plant modeling technique and related controller synthesis problems.

[BibT_eX]

[DOI]

Jan Thieme

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants.

[BibT_eX]

[DOI]

Ulrich Christmann

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen.

[BibT_eX]

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

Towards a synthesis method for distributed safety controllers based on net condition/event systems.

[BibT_eX]

[DOI]

Jan Thieme

J. Intell. Manuf., 1997

Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Observation.

[BibT_eX]

[DOI]

Mathias P. Rausch

Eur. J. Control, 1997

Control Synthesis of Hybrid Systems Based on Predicate Invariance.

[BibT_eX]

[DOI]

Haoxun Chen

Proceedings of the Hybrid Systems V, 1997

1994

Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets.

[BibT_eX]

[DOI]

Hartmann J. Genrich

Konrad Wöllhaf

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1993

Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1987

Mathematische Modellierung diskreter Steuerungsaufgaben in diskontinuierlichen verfahrenstechnischen Systemen.

[BibT_eX]

[DOI]