Benutzer: Gast  Login
Titel:

Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation

Autor(en):
Aicher, Thomas; Rehberger, Sebastian; Vogel-Heuser, Birgit
Abstract:
Developing complex automated production systems (aPS) by integrating different engineering disciplines, e.g. electrical/electronic, mechanical or software engineering, is a rising challenge for plant manufacturing. Hence, different approaches for virtual commissioning and validating aPS have been developed in the past. Among other approaches, concepts for model verification based on discrete event systems (DES) and formal verification techniques, e.g. model checking, of aPS are commonly investig...     »
Kongress- / Buchtitel:
10th IEEE International Conference on Automation Science and Engineering (CASE)
Verlagsort:
Gothenburg, Sweden
Jahr:
2015
Monat:
August
 BibTeX