User: Guest  Login
Author(s):
Aicher, Thomas; Rehberger, Sebastian; Vogel-Heuser, Birgit 
Title:
Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation 
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...    »
 
Book / Congress title:
10th IEEE International Conference on Automation Science and Engineering (CASE) 
Publisher address:
Gothenburg, Sweden 
Year:
2015 
Month:
August