Track Chairs
Tobias Kleinert RWTH Aachen University, Germany Martin Wollschlaeger TU Dresden, Germany

Download Call for Papers

Focus

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