Track 4 - Automated Manufacturing Systems

Track Chairs

Tobias Kleinert, RWTH Aachen University

Tobias Kleinert

RWTH Aachen University, Germany
Martin Wollschlaeger, TU Dresden

Martin Wollschlaeger

TU Dresden, Germany

Download Call for Papers

Click here to download the track cfp.


The track is focused on the use of techniques and technologies for modeling, analysis, intelligent control, and enterprise integration of automated manufacturing systems.

Topics under this track include (but not limited to)

  • Automated Manufacturing Systems and Enterprise Integration
  • Industry 4.0 Technologies and Applications
  • Best practices for Digital Twin modeling
  • Recent Developments in Standardization, Intelligent Cyber-Physical Production Systems
  • Optimization and flexible Management
  • Condition Monitoring and Predictive Maintenance
  • Fault Diagnosis, State-Estimation, and Identification in Formal Models
  • Networked Control of Manufacturing Systems
  • Planning and Distributed Control of Industrial Systems
  • Synthesis and Analysis Techniques
  • Performance Evaluation and Reliability
  • Formal Modeling and Analysis of Manufacturing Systems
  • Formal Methods and Verification Tools
  • Discrete and Continuous Industrial Automation Systems
  • Scheduling, Resource Allocation and Optimization
  • Discrete Event Systems in Manufacturing Systems
  • Application of Service-Oriented Technologies
  • Test Cases, Benchmarks and Tools
  • Applications and Experiences in Practice